已过期50% 置信事件精确时间
OpenAI发布了名为Sol和Astra的新模型，其中包含与两位数学家几乎相同的解决方案
1
来源数
50%
置信度
短期 (~14 天)
时效性
2026/9/12
首次发现
有效期至：2026/9/26(已过期)
来源
涉及实体
相关事实
已验证Sol是旗舰版模型，OpenAI称其为目前最强的编程模型73% 相似待验证OpenAI代号为Astra的模型据传取得了o1级别的突破，核心创新是从文本化思维链转向潜空间推理66% 相似待验证OpenAI采用「Sol」（太阳）与「Luna」（月亮）语义化代号区分同一代模型的不同变体64% 相似待验证OpenAI宣布其AI系统找到了纳维-斯托克斯方程问题的解决方案64% 相似待验证Reports on Hacker News and other tech communities claim that an internal OpenAI model codenamed 'Astra' solved 10 major open problems in mathematics and computer science63% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/910917API
curl https://kongchang.com/api/v1/knowledge/claims/910917MCP
get_claim(id=910917)