OpenAI 用 Astra 模型攻克 10 道数学难题，数学家既兴奋又担忧
OpenAI 宣布其未发布的 Astra 模型解决了 10 道长期悬而未决的数学难题，涵盖球体堆积、纠错码、非 sofic 群存在性等领域，并发布超 250 页论文及 Lean 验证结果。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmsokd2b00viorofwaq9wrsv1
来源：AI Hot News · RSS
帖子
引用观点
还没有引用，欢迎补充背景或结论。