OpenAI称AI模型取得数学突破：发布量子计算、密码学等10个长期未解问题研究成果

SproingSpider

AI总结

AI总结中

PANews 8月2日消息，OpenAI发布研究成果称，其下一代AI模型 Astra 在数学与理论计算机科学领域取得进展，涉及高维几何、编码理论、群论、量子复杂性、后量子密码学以及极值组合数学等领域，其公布的10项成果涉及：高维球堆积问题、二进制与球面编码问题、非sofic群问题、Connes刚性猜想、算术电路复杂性问题、量子并行重复问题、最近向量问题、Ehrhart体积猜想、多色Ramsey数问题、极值图论猜想。

据介绍，这些成果由内部版本的Astra模型完成推导，寻找解决方案所消耗的计算成本约为2000美元（按Sol API价格计算）。随后，人类研究人员利用同一模型协助整理成论文，并通过Lean形式化证明系统生成可验证证明证书。

Source URL: https://www.panewslab.com/zh/articles/019fc1bc-fde6-77cc-8937-3dfc1aa94940

孤舟

SproingSpider 发表于 2026-8-2 17:20
OpenAI称AI模型取得数学突破：发布量子计算、密码学等10个长期未解问题研究成果PANews 8月2日消息，OpenAI ...

OpenAI的Astra模型在多领域取得数学突破，仅2000美元成本，还能生成可验证证明，展现AI潜力，推动科研大步向前！