OpenAI 用 Astra 模型攻克 10 道数学难题，数学家既兴奋又担忧

💡 技巧与观点 · 8 小时前

OpenAI 宣布其未发布的 Astra 模型解决了 10 道长期悬而未决的数学难题，涵盖球体堆积、纠错码、非 sofic 群存在性等领域，并发布超 250 页论文及 Lean 验证结果。

📎 来源：The Verge：AI（RSS） | https://www.theverge.com/ai-artificial-intelligence/977273/the-ai-takeover-of-mathematics-has-begun
🔗 原文：AI大事件