OpenAI未发布Astra模型解决10道数十年未解数学难题
rohanpaul_ai · x · 2026-08-01
OpenAI尚未正式发布的 Astra 模型在数学领域取得重大突破，成功解决了10道悬而未决数十年的数学难题。
这些问题涵盖了高维几何、编码理论、算子代数、量子复杂度和格密码学等多个前沿领域。求解过程通过 Sol API 调用，总成本约为2000美元（平均每题200美元）。
为确保严谨性，AI生成的所有证明步骤均使用 Lean 定理证明器进行了逐步重建与验证，只有在每一步都完全合理时才会最终确认。
所属事件:曝OpenAI下一代模型Astra连破十大数学难题(44 条相关)→
「模型」频道最新
- antirez 实测多款国产 AI 模型编程能力 — antirez · 2026-08-01
- DeepSeek开启斩杀模式，能力差价格贵的模型面临淘汰 — rickasaurus · 2026-08-01
- 传 OpenAI 新模型 Astra 解决数学难题,打脸多位 AI 大佬 — Imaginary_Dinner2710 · 2026-08-01
- 用户吐槽 Gemini 安全过滤极度过敏,正常对话频频被拦 — BigLead8814 · 2026-08-01
- Gemini辟谣:AI并未解决10大数学难题 — Dr_Singularity · 2026-08-01
- 谷歌下一代 Astra 模型内测：耗资 2000 美元解决十大数学难题 — yacineMTB · 2026-08-01