OpenAI公布了Astra的最新研究成果：该模型在数学和理论计算机科学领域带来了10项新突
破。

目前新模型还没有正式发布，而这次公开的是它在科研任务中的表现。

官方研究人员表示，Astra涉及的研究范围覆盖数学推理、理论探索、复杂计算等多个方向。在这些研究任务中，它能够参与研究过程，提出解题思路，并生成完整、可验证的数学论证。

此前，菲尔兹奖得主陶哲轩也曾关注AI与数学研究的结合。他认为，未来AI可以承担部分技术性、重复性的数学工作，帮助研究人员处理大量计算、验证等任务，让数学家将更多精力投入到新的问题探索中。

当然，Astra公布的这些成果仍需要数学家进行进一步查验和验证。