跳到主内容
精选80小互模型发布/更新多源精选 ×6

OpenAI 下一代模型 Astra 解开10个数学难题

OpenAI 称:其即将发布的下一代模型 Astra

原文

OpenAI 称:其即将发布的下一代模型 Astra

拿下10个几十年都没人推动的数学难题

OpenAI 突然放出一份公告和一份 200 多页的论文,说他们下一代主力模型的一个内部版本,解开了10个数学和理论计算机科学的老问题

这不是十10道竞赛题,最老的一个 1964 年提出,最年轻的也躺了二十多年, 分散在八个互不相干的分支里。

该模型叫 Astra,是 OpenAI 给自己下一代主力模型起的名字,目前还没有对外发布。

详细:https://best.xiaohu.ai/article/openai-ten-math-advances/

更进一步:量化金融体系

看懂新闻只是起点——沿量化金融路径,把它变成能交付的工程能力

进入量化体系 →

关联讨论

同一事件的更多信源
OpenAI用Astra模型攻克十道十年未解数学难题
Simon Willison 博客(RSS)原文
未发布OpenAI模型解决10个重大数学与量子难题
AI Notkilleveryoneism Memes ⏸️原文
OpenAI Astra 猜想求解将终结学术数学
Przemek Chojecki | PC原文
Astra 发布 10 个带 Lean 证书与思维链的证明
Teortaxes▶️ (DeepSeek 推特🐋铁粉 2023 – ∞)原文

相似阅读

另一事件,读法相近