2026年8月1日，OpenAI公布其下一代模型Astra内部版本成功解决数学与理论计算机科学领域十项长期悬而未决难题。这些成果全部由AI系统自主生成证明，人类研究员仅负责论文撰写与Lean形式化验证。研究耗资约2000美元（约合13530元人民币）token成本。OpenAI强调署名应如实反映AI贡献，避免将纯AI成果归功于人类。所涉问题涵盖高维球体堆积、非柔性群存在性、康纳斯刚性猜想证伪、量子平行重复定理等，横跨群论、密码学、图论与复杂性理论。
OpenAI用Astra模型破解十大数学难题
生成海报
分享到:
扫码关注我们，了解最新AI资讯~
扫码关注我们，了解最新AI资讯~