#mathematics

OpenAI 研究人员 Sebastian Bubeck 和 Ernest Ryu 认为，数学已经成为 AI 的关键基准，因为它要求长链条的正确推理、错误纠正以及可验证的结果。

一项新开发的数学工具或许能让研究人员更实用地区分复杂的结，这一直是拓扑学及相关科学中的长期难题。

After a breakout year of progress, artificial intelligence is moving from math competitions into frontline research, helping mathematicians generate conjectures, test ideas, and prove new results faster.

研究人员报告了一种受魔方解题逻辑启发的 AI 方法，能够简化粒子物理方程，将一种熟悉的谜题策略与高能理论中的棘手数学问题联系起来

在数十年停滞不前之后，研究人员认为新的数学工具正开始解释，维系原子核的那种力如何产生构成可见物质的巨大粒子。

Axiom Math是一家由24岁的斯坦福大学辍学生领导、获得6400万美元融资的初创公司，已发布Axplorer——一款免费AI工具，能在Mac Pro上实现之前需要超级计算机运行三周才能完成的计算。

Artificial intelligence is reshaping how mathematicians discover proofs and explore conjectures, triggering what experts call the biggest shift in the field's history.