The Decoder· Matthias Bastian·· 9 天前
OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 在 GitHub 上发布了由内部前沿模型生成的 372 条数学结果，每条都声称解决了一个开放问题或取得实质进展，其中包含对主要计算机算法的改进以及与黎曼假设相关的推进。
入选记录
门槛 76媒体与个人第一次 78第二次 88
入选两次之和 166 ≥ 门槛的两倍 152
- 信源等级
- 媒体与个人，这一级的门槛是 76 分
- 预筛
- 通过：OpenAI发布AI模型生成的数学证明
- 推荐理由
- OpenAI 把 372 条 AI 生成的数学结果直接发到 GitHub，数学界对量产式证明的分歧由此展开。
- 同一件事
评分由模型按同一份标准独立打两次，满分 100；两次之和达到门槛的两倍才入选。门槛按信源等级设定。
来源：The Decoder · the-decoder.com