OpenAI 称内部版 Astra 解决十道数学难题
Ten advances in mathematics and theoretical computer science
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
Simon Willison 报道，OpenAI 用内部版 Astra 模型找到了十道数学问题的解法，这些问题的主要结果至少十年没有进展，每题花费不到 2000 美元（按 GPT-5.6 Sol 的 token 价格计）。
来源：Simon Willison · simonwillison.net