菲尔兹奖得主 Tsimerman：数学将建立在无人能懂的证明之上
TOEwithCurt · x · 2026-10-11
今年菲尔兹奖得主 Jacob Tsimerman 认为，数学很快将建立在无人能理解的证明之上。他表示这对他自己的许多定理来说已经成立——这些定理建立在已被接受、但他本人并不了解其证明的结果之上。
该观点出自一档播客的完整访谈。
「漫话AGI」频道最新
- Reddit热议：说AI有意识，等于说一段程序能产生意识？ — VegetableArea · 2026-10-11
- Nick Bostrom 警告「心智罪」:造出意识机器却不察或酿大规模伤害 — cccalum · 2026-10-11
- 招聘新常态：AI 模型筛选另一 AI 写出的简历 — victor_explore · 2026-10-11
- 英国学者撰文:加速采用 AI 才是对英国最安全的选择 — HaydnBelfield · 2026-10-11
- 中国在建 38 座核反应堆约 39.8GW，能源被视为 AI 最大瓶颈 — kimmonismus · 2026-10-11
- AI 让业余博客式畅想难以为继：会当场被指出文献矛盾 — xuenay · 2026-10-11