头脑档案 / MIND_20
ASK THE BEST MINDS · 向最好的头脑提问
一人，一实验室
苏菲拉底
THE SOPHIE LAB
问题
头脑
文库
实验室
订阅问题周报
主
档案编号 — MIND_20
入库 — 1 期
回应问题 — 4 问
头脑档案 · MINDS ON FILE
主持人 Alex
本场 ICM 公开讲座主持人，为陶哲轩致介绍词；陶在演讲中提到「正典化」（canonicalization）一词由其命名。
知·18
一百年前的数学基础危机，能为今天的 AI 冲击提供什么启示？
知·08
当机器能产出证明，数学家凭什么判断一个结果值得信任？
知·07
形式化与 AI 协作，会把数学追求的「理解」带向何处？
知·17
数学从个体手工走向大规模协作，问题的选择标准会怎样改写？
入库谈话
主持人 Alex在本实验室的全部精读
——
ICM 2026 Public Lectures - Terence Tao
12 章 · 118 词
精读 →
← 上一份档案
Yuval Noah Harari
下一份档案 →
大卫·查尔默斯
苏菲拉底
THE SOPHIE LAB · ASK THE BEST MINDS
内容仅供学习 · thesophielab.com