6.7
深览指数
科技智东西·杨 京丽··AI 生成
OpenAI官宣下一代模型Astra！取得10大未解难题突破，附249页论文
OpenAI 披露下一代模型 Astra 在数学与理论计算机科学领域取得的 10 项新成果，涵盖高维球体堆积、群论、量子复杂性等方向，相关部分问题已开放至少 10 年。所有论证由模型生成，耗资约 2000 美元 Token 成本，并整理为 249 页论文。公司对结果正确性负责，但强调数学论证由 AI 完成而非人类署名。适合关注 AI 科研能力边界、AI for Science 的技术决策者阅读，以了解当前 AI 在探索前沿数学难题上的实际进展与局限。原文 ↗
核心观点
- ▍OpenAI 下一代模型 Astra 能在数学与理论计算机科学多个长期未解难题上取得新成果，展示出 AI 参与核心科研环节的潜力，但正确性仍需人类检验。
- 01Astra 在 10 个研究方向取得突破，包括 1978 年以来首次改进的球体堆积上界、推翻“所有可数群都是 sofic 群”的猜想、以及解决厄尔多什第 146、180、183 号问题等。
- 02所有论证由模型生成，随后人类研究人员将论证整理成 249 页论文，并转化为 Lean 形式化证明证书。
- 03按 Sol API 费率计算，模型探索解法消耗的 Token 总成本约 2000 美元（约合 13500 元人民币）。
- 04OpenAI 声称公司对结果正确性负责，但明确数学论证由 AI 系统生成，未署名为人类作者。
- 05Astra 已在美国白宫和国会议员层面被预览，表明其已进入政策制定者视野。
反方 / 局限
- — OpenAI 主动指出，这些成果仍有待数学界进一步检验和评价，模型能否稳定扩展至科学领域仍是未知。
6 分钟 · 3 卡片 · 8 资料
读原文 →