OpenAI 内部模型 Astra 解决 10 大数学难题
coherence · x · 2026-08-01
OpenAI 核心高管 Sebastien Bubeck 透露，其下一代主要模型（代号 Astra）在内部测试中成功解决了 10 个数学和理论计算机科学领域的重大开放性问题。这些成果涵盖了证明非 sofic 群的存在性以及推翻 Connes 刚性猜想等。OpenAI 将发布这些证明的 Lean 证书及思维链解析。
所属事件:曝OpenAI下一代模型Astra连破十大数学难题(45 条相关)→
「模型」频道最新
- antirez 实测多款国产 AI 模型编程能力 — antirez · 2026-08-01
- DeepSeek开启斩杀模式，能力差价格贵的模型面临淘汰 — rickasaurus · 2026-08-01
- 用户吐槽 Gemini 安全过滤极度过敏,正常对话频频被拦 — BigLead8814 · 2026-08-01
- Gemini辟谣:AI并未解决10大数学难题 — Dr_Singularity · 2026-08-01
- 谷歌下一代 Astra 模型内测：耗资 2000 美元解决十大数学难题 — yacineMTB · 2026-08-01
- 对比Grok与国内AI助手的数据生态壁垒 — huangyun_122 · 2026-08-01