Stanford Future of Mathematics Symposium 2026

カートのアイテムが多すぎます

ご購入は五十タイトルがカートに入っている場合のみです。

カートに追加できませんでした。

しばらく経ってから再度お試しください。

ウィッシュリストに追加できませんでした。

しばらく経ってから再度お試しください。

ほしい物リストの削除に失敗しました。

しばらく経ってから再度お試しください。

ポッドキャストのフォローに失敗しました

ポッドキャストのフォロー解除に失敗しました

Stanford Future of Mathematics Symposium 2026

無料で聴く

ポッドキャストの詳細を見る

今ならプレミアムプランが3カ月月額99円

2026年5月12日まで。4か月目以降は月額1,500円で自動更新します。

概要

At Stanford's Future of Mathematics Symposium (May 1–2, 2026), AI shifts from calculator to collaborator while formal methods guard every step of the proof. This episode unpacks frontier reasoning, human–AI partnerships, and the visions of leaders like Tao, Barrett, Luong, and Bubeck as we move toward AI-assisted mathematical discovery—and the translation of new insights into language our human brains can understand.

Note: This podcast was AI-generated, and sometimes AI can make mistakes. Please double-check any critical information.