OpenAI下一代模型Astra攻克十项数学难题

OpenAI于8月1日正式公布下一代主力模型Astra的内部版本，在数学与理论计算机科学领域取得十项重大突破。这些成果覆盖高维几何、编码理论、群论、算术电路复杂性、量子复杂性、格密码学和极值组合学等多个方向，相关问题已开放至少十年，多数问题的研究历史更为悠久。按照SolAPI费率计算，找到全部解法所消耗的Token总成本约为2000美元（约合人民币1.35万元）——平均每题仅200美元。

整个研究流程展示了全新的人机协作模式：Astra内部版本搜索解法并生成数学论证；人类研究人员使用同一模型将原始论证整理成249页论文；模型再将每项论证转化为Lean形式化证明证书，接受交互式定理证明器的逐步检查。

这些成果在数学界引发巨大震动。写出经典数学教材的数学家JayCummings直言“不可思议”；多伦多大学教授DanielLitt承认自己此前低估了AI的能力。曼彻斯特大学数学家ThomasBloom认为，此次十项结论的整体学术价值远超五个月前OpenAI证伪埃尔德什单位距离猜想的单次成果。