主要来源歸藏(guizang.ai)
查看原文事件专题 · 官方一手
OpenAI预热新模型Astra，攻克10个十年未解数学难题
OpenAI在X平台预热下一代模型Astra，称其解决了10个存在至少十年的数学问题。OpenAI研究负责人Sebastien Bubeck确认，Astra完成了多项成果，包括推翻Connes刚性猜想、改进高维球堆积和电路复杂性的界。这些证明将附带Lean证书和思维链（CoT）逐步讲解，并以论文形式发布。据称整个求解过程的算力成本仅约2000美元，OpenAI CEO Sam Altman已赴华盛顿与美政府沟通发布事宜。
当前结论
OpenAI说新模型Astra用2000美元算力解了10个老数学难题，连数学家都难搞定，还附Lean证明，感觉是真翻身了。
11 个信源82° AI 热度最后更新 2026/8/1 15:44:06
证据链
相关来源 1elvis
查看原文相关来源 2Greg Brockman
查看原文相关来源 3IT之家
查看原文相关来源 4Gary Marcus
查看原文相关来源 5Kevin Weil
查看原文相关来源 6小互
查看原文相关来源 7Decoder
查看原文相关来源 8The Rundown AI
查看原文相关来源 9OpenAI
查看原文相关来源 10Sam Altman
查看原文冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。