AI时代的数学危机 | 陶哲轩ICM 2026演讲 | 哥德尔不完备定理 | 古德哈特定律 | Lean | 形式化验证 | First Proof | 莱顿宣言 | 证明生成 | 同行评审



DOWNLOAD





Bagikan