19岁时，她用3年时间完成了麻省理工物理与数学双学位，还拿下了 北美数学领域本科生最高荣誉“摩根奖”。这个奖项被誉为 ...

这项由腾讯BAC研究院与清华大学深圳国际研究生院、北京大学电子与计算机工程学院、格拉斯哥大学数学统计学院联合开展的突破性研究，发表于2025年1月的arXiv预印本平台（论文编号：arXiv:2601.14750v1），为人工智能推理效率的提升开辟了全新道路。 当你在思考复杂数学题时，大脑会经历一系列推理步骤——从理解题意到分析条件，再到推导答案。现在的AI系统也是如此，它们需要产生大量的文字来表 ...

不久前，57岁的美国弗吉尼亚大学数学系讲席教授小野健（Ken Ono）辞去教职，加入了一家成立仅4个月的人工智能（AI）创业公司Axiom Math。 公司的创始人是他曾经的学生洪乐潼，24岁。