OpenAI破解10大数学难题,算力成本仅约2000美元
johnseach · x · 2026-08-01
OpenAI宣布在数学和理论计算机科学领域取得10项重大突破。借助下一代模型(Astra)的内部版本，AI成功解决了多个停滞十年以上的开放性问题，包括推翻Connes刚性猜想、解决Erdős相关猜想等。
研究过程中，AI生成了核心论证思路，随后由人类研究人员撰写论文并使用Lean语言进行形式化验证。整个过程的计算成本仅约为2000美元。这标志着前沿模型正在成为纯数学研究领域中真正有价值的科研协作者。
所属事件:OpenAI内部模型Astra连破10大数学难题(99 条相关)→
「模型」频道最新
- Ternary Bonsai 2 27B 发布:9 倍压缩仍保留 98.2% 性能 — TheZachMueller · 2026-09-18
- Anthropic 隐形模型遭质疑:据称 A-1 任务硬编码路由至 Opus 5 — teortaxesTex · 2026-09-18
- GPT-6 Astra 两天通关 Factorio 太空时代 — ResultBackground2450 · 2026-09-18
- 自称 ChatGPT 联合发明者推出新模型 Jev：号称快 20-200 倍、便宜 40-400 倍 — multiply_matrix · 2026-09-18
- Jev 团队放话：按现价可持续供应，「智能价格地板即将崩塌」 — charles_irl · 2026-09-18
- 曝 GPT-6 Astra 登顶 FrontierSWE,600MB 音频压缩至 20KB — soumitrashukla9 · 2026-09-18