陶哲轩：AI 使数学进入「证明过剩」时代

数学家陶哲轩近期在 Caltech 的「Math 2.0」讲座以及 Numberphile 访谈「No More Heroes」中，公开探讨 AI 对数学的冲击。他认为 AI 正在让数学进入「证明过剩」的新纪元，解题能力正被重新定价，引发广泛关注与转发讨论。

2026-10-19 ~ 2026-10-19 · 2 条相关

• 陶哲轩：AI 让数学进入「证明过剩」时代，解题能力正被重新定价 — lmoroney · 2026-10-19

另有 1 条近重复转述:lmoroney