OpenAI砸2000美金让AI解数学题，下一代模型Astra来了

OpenAI憋了个大招。

8月2日凌晨，他们正式官宣了下一代模型Astra。没有花哨的发布会，直接甩出一份249页论文——Astra在10个数学难题上取得了突破。

这10个问题，全是学术界搁置了至少10年的硬骨头。最短的48年没人动过，最久的可以追溯到上世纪。

球体堆积指数、非sofic群、Connes刚性猜想……每一个都够数学博士喝一壶的。

更惊人的是成本。找这些解法，Astra只烧了2000美金的Token。

2000美金什么概念？一个算法工程师两天的工资。

这还不是重点。重点是Astra不光解题，还自己写论文、做形式化验证。整套流程从”发现”到”论证”到”验证”，AI一条龙包圆了。

OpenAI把话说得很清楚：数学论证是AI系统生成的，公司只负责整理和确认正确性。署名？不给AI署名也不给人署名，因为”会同时歪曲两方的贡献”。

这意味着什么？

过去两年我们一直在争论AI到底是工具还是噱头。Astra给出的答案是：都不是。它是协作者。

一个能发现人类数学家40多年都发现不了的规律、然后自己写论文论证、最后用Lean验证无误的系统，你很难再叫它”工具”。

当然，Astra离通用人工智能还远。它现在只是一个数学专长生。

但方向已经清晰了：AI的下一个战场，不是聊天，不是生成图片，而是真正的科学研究。

从”搜索引擎+”到”科研伙伴”，这一步迈得比想象中快。