OpenAI破解10大数学难题,算力成本仅约2000美元
johnseach · x · 2026-08-01
OpenAI宣布在数学和理论计算机科学领域取得10项重大突破。借助下一代模型(Astra)的内部版本，AI成功解决了多个停滞十年以上的开放性问题，包括推翻Connes刚性猜想、解决Erdős相关猜想等。
研究过程中，AI生成了核心论证思路，随后由人类研究人员撰写论文并使用Lean语言进行形式化验证。整个过程的计算成本仅约为2000美元。这标志着前沿模型正在成为纯数学研究领域中真正有价值的科研协作者。
所属事件:曝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