#数学
共 4 篇
1500 万美元，给数学界买一套验收标准
OpenAI、Anthropic 与西蒙斯基金会共同出资 1500 万美元，用来评估 AI 产出的数学结果。读完能看清这笔钱买的是什么，以及 719 份手稿风波里那些被忽略的数字。
Hales：Lean 查得出推导错，查不出你问错问题
2026 年夏天 Lean 内核连续爆出可靠性漏洞，有人借此"证明"了 Collatz 猜想的反例。读完能分清形式化验证保证了什么、没保证什么，以及为什么还要人工审计。
Erdős 问题网站关掉评论区：AI 证明太多，人没法讨论
收录 1221 道 Erdős 问题的网站暂停了评论和「已解决」标记。站长说绝大多数留言是 AI 生成的证明声明。读完能看清学术平台面对批量投稿时的四个应对动作。
OpenAI 公开 AI 做数学的结果，附 Lean 证明
OpenAI 把内部前沿模型做出的数学结果放到 GitHub，附上可机器验证的 Lean 证明，还公开了 10 份推理摘要。读完你能分清哪些是可以检查的成果，哪些只是新闻标题里的说法。