OpenAI 感觉翻身了啊，已经在预热他们的下一代模型Astra。

他们用这个模型解决了 10 个至少存在了十年的数学问题。

这些问题如果是数学家解决的话，感觉这数学家已经相当牛逼了；

而解决这一堆非常难的问题，算力成本居然只有 2000 美元。

Sam 亲自飞到华盛顿去跟美国政府沟通这个模型的发布，感觉这玩意儿会很顶，不知道是 GPT-6 还是 GPT-5.7

详情：openai.com/index/ten-advances-in-mathematics/