🔍 如果这是真的，AI解数学题的能力可能又升级了！有消息传出，OpenAI内部一款代号"Astra"的模型，解出了10个数学和计算机科学领域的重大未解难题。

这些"未解难题"通常是学界研究多年、公认很难突破的题目，如果真的被AI解开，代表AI在抽象推理、逻辑证明这类「不是靠背资料、而是靠思考」的任务上，可能又进步了一大截。

目前这消息是透过社媒的个人爆料流出，OpenAI官方还没有正式发布完整细节，所以具体是哪些问题、怎么验证的，都还有待官方证实。

对关注科技趋势的人来说，这是个值得持续追踪的方向。因为如果AI真的能自主解开人类多年没解决的数学难题，那接下来它能做的事，可能超乎我们现在的想象。