11位顶尖数学家发起AI实验，挑战AI独立解决10道研究级数学难题，探索“AI+数学”的能力。实验旨在检验AI的证明能力，问题来源于真实研究，答案将于2026年公布。

知名数学家小野肯辞去终身教职，加入学生洪乐潼创办的AI公司Axiom，专注于开发数学问题解决的AI。Axiom已解决多个数学难题，吸引了众多顶尖人才，师生合作有望推动数学与AI的结合。

清华大学的AI数学家系统成功解决均匀化理论难题，形成17页证明，标志着AI从解题工具转变为科研合作伙伴。这项研究通过人机协同，突破了AI在数学研究中的局限，为未来的数学发现开辟了新路径。

兰州大学耿俊教授与西湖大学申仲伟教授合作研究斯托克斯方程在非光滑区域的应用，填补了理论空白，提出新的速度和压力估计方法，为工程提供更精确的计算工具。

北大和南开大学的数学家解决了困扰数学和量子力学的“十杯马天尼”问题，提出了更统一优雅的证明。他们推广了“几乎Mathieu算子”的结论，证明了在更广泛的“准周期算子”下能谱为Cantor集，推动了相关研究的发展。

张益唐是著名数学家，以解决“孪生素数猜想”而闻名，近期回国担任中山大学首席科学家。他在美国默默无闻，58岁时才成名，经历展示了他对数学的热爱与坚持，尽管曾在餐厅工作多年，始终未放弃数学研究。

机器之心数据服务现已上线，提供高效稳定的数据获取，简化数据爬取流程。

数学家Boaz Klartag成功运用被遗弃的老方法破解高维空间球体堆积问题，将堆积效率提升至原来的d倍。这一成果为无线通信领域提供了新思路，可能改善信号排列和噪声干扰问题。

机器之心数据服务现已上线，提供高效稳定的数据获取，简化数据爬取流程。

四位数学家经过近十年的努力，将“数学大一统理论”中的模性从椭圆曲线扩展到阿贝尔曲面，取得重大突破。中国数学家潘略的研究为此提供了关键参考，推动了阿贝尔曲面研究的新方向。

AI在七个月内从仅能解答2%的数学题提升至22%，甚至超越人类团队。研究表明，AI依赖直觉而非死记硬背，但缺乏创造力和深度理解，推理时常出错。尽管表现优异，AI仍需改进以应对更复杂的数学问题。

清华AIM团队推出的AI数学家（AIM）能够独立解决复杂数学问题并构建高质量证明。AIM通过探索、验证和修正模块逐步生成猜想和证明，展现出基本的数学研究能力。尽管仍需人类调整，AIM已显著加速数学研究进展，未来将通过优化算法提升推理能力。

机器之心数据服务现已上线，提供高效稳定的数据获取，简化数据爬取流程。

机器之心数据服务现已上线，提供高效稳定的数据获取，简化数据爬取流程。