Scott Aaronson：OpenAI 一次公开 370 道数学题解法，数学界集体放下手头研究
burny_tech · x · 2026-10-20
- Scott Aaronson 表示自己从未见过数学界出现这样的时刻：全球数学研究者纷纷放下手头工作，去理解 OpenAI 一周前发布到 GitHub 的重大开放问题解法。
- OpenAI 宣布解决了 370 个问题，其中包括 Aaronson 与 Greg Kuperberg 20 年前提出的幺正合成问题（unitary synthesis problem）。哥伦比亚大学昨日已举办 workshop 专门研读这一证明。
所属事件:OpenAI 公布 370 个数学证明，数学界陷入震动(3 条相关)→
「研究」频道最新
- MIT 团队获 Laude 资助重建数据系统,WaggleHaus 面向 agent 化数据湖查询 — lateinteraction · 2026-10-21
- UC Berkeley 团队开源 SkyDiscover:用 AI 自动发现算法并组装系统 — CShorten30 · 2026-10-21
- 天又发现一颗行星候选,并复盘它此前为何被漏检 — IgorCarron · 2026-10-21
- 给 AI 一万美元做开放研究：GPT-6 Astra 与 Claude Fable 5.1 论文仍被专家拒稿 — sayashk · 2026-10-21
- 斯坦福团队推 ScholarCatalyst:专测 AI 检索可启发科研的早期文献 — lateinteraction · 2026-10-21
- 借助 AI 沟通发现 17/19/23 曲线简单对称 Venn 图，经 Lean 4 形式化验证 — pickover · 2026-10-21