Hacker News 首页· practal·2026-10-16 22:01· 5 小时前AI 评分10

如何把全部数学形式化：AI 证明定理热潮下的担忧与主张

How to Formalize All of Mathematics

AI 导读

数学家 Jeremy Avigad、Kevin Buzzard 等人联合发文，回应上周 OpenAI 大模型发布后“尽快形式化全部数学”的呼声，主张形式化必须做好而非求快。

来源：Hacker News 首页 · xenaproject.wordpress.com