形式化验证 · 科技与互联网

重磅！OpenAI之后，AI再破广义黎曼猜想

证明大爆炸，数学界变天！AI把陶哲轩逼出「数学 2.0」

当AI学会证明，数学家还剩什么

“数学之神”只降临一天就撤回三篇论文，人类放弃检验恐带来灾难

AI好比向数学界一下投放了几百个望月新一

陶哲轩在“害怕”什么？

当AI开始批量生产数学证明，人类凭什么确信这些证明是可靠的？

RustChinaConf 2026 倒计时 3 天 ！从 GPU 到软件工厂，从沙箱到可信协作

10 月 17 日，RustChinaConf 2026 从 Rust 的下一个十年聊起，沿着 GPU 与数据引擎、测量与验证、生产与协作三条路线，把 Rust × AI 推进到长期运行的真实问题

丘成桐弟子再立功，广义庞加莱猜想证明首次形式化验证！

数学证明的终审权正在交给机器

刚刚，陶哲轩加州理工演讲：数学2.0正式到来，证明稀缺性时代彻底结束

陶哲轩在“害怕”什么？

AI的可靠性。