HAOMAIX INSIGHTS

形式化证明

2026.10.12

丘成桐牵头成立数学与 AI 实验室联盟：自主开发中国数学大模型

丘成桐数学与人工智能实验室联盟在清华成立，八家机构将联合千余名数学与科研工作者，研发数学专用模型、形式化证明工具和AI辅助研究基础设施。

$“数学末日”：OpenAI 生成数百项数学成果，但谁能理解这些证明？$

2026.10.09

OpenAI 发布数百份由内部模型生成的数学手稿，但撤稿、Lean 形式化与书面证明不一致等问题引发争议；AI 数学能力还将关于 ECDSA 安全性的长期风险推到台前。