OpenAI 在 GitHub 发布 372 个 AI 生成数学证明,数学界担忧
The Decoder · rss · 2026-10-07
OpenAI 在 GitHub 上公开了 372 个 AI 生成的数学结果,其中包含可机器验证的 Lean 形式化证明,并放话让学术界跟上节奏。每条结果平均消耗约 3 小时的 ChatGPT Pro 算力。
此举引发争议:25 位菲尔兹奖得主警告,大规模批量生产数学真理可能摧毁数学研究的沃土,而不是催生新思想。
「漫话AGI」频道最新
- AI 浪潮下的数学博士生：如挥镰迎战自动驾驶收割机群 — FlorianGallwitz · 2026-10-07
- 开发者观察:人机产出正退化为 agent 之间的数据包 — aloncarmel · 2026-10-07
- 诺奖得主 Acemoglu：让 100 人提效 5% 比裁掉 5% 划算得多 — cen6wkf · 2026-10-07
- NYT 特稿：从滴滴司机到 DoorDash，被算法与 AI 未来收割的普遍感受 — S_OhEigeartaigh · 2026-10-07
- Scott Alexander 回应 Pinker：谁预测 AI 更准一目了然 — deanwball · 2026-10-07
- AI 工具全面上马也没用？从工具到 Agent 化组织的七阶段路径 — alex_verem · 2026-10-07