OpenAI 用 Astra 模型攻克 10 道数学难题，数学家既兴奋又担忧
The AI takeover of mathematics has begun
AI 导读OpenAI 宣布其未发布的 Astra 模型解决了 10 道长期悬而未决的数学难题，涵盖球体堆积、纠错码、非 sofic 群存在性等领域，并发布超 250 页论文及 Lean 验证结果。
来源：The Verge：AI · theverge.com
The AI takeover of mathematics has begun
AI 导读OpenAI 宣布其未发布的 Astra 模型解决了 10 道长期悬而未决的数学难题，涵盖球体堆积、纠错码、非 sofic 群存在性等领域，并发布超 250 页论文及 Lean 验证结果。
来源：The Verge：AI · theverge.com
留下联系方式，我会亲自联系你；想先问问，也可以直接写在下面。消息会实时送到我手上，回复会显示在这里，关掉网页再回来也能看到。