关键词: AlphaGeometry ,AI做数学题,AI数学

无需人类演示，即可自主应对复杂的几何学挑战。水平接近人类金牌选手，人工智能（AI）学会做国际数学奥林匹克竞赛难题了。

关键词: AI数学,陶哲轩,AI科研

著名数学家陶哲轩刚刚结束了一项持续了近两年之久的、重要又艰辛的工作——彻底解答高维空间里的单瓷砖平移周期性覆盖的问题——一个关联数理逻辑（图灵机）和高维离散几何的难题。

关键词: PalM2,AI数学,AGI

AI可以从自己生成的「合成数据」中学习，最重要的是，能够大幅提升数据问题解决和代码生成的能力。

关键词: LLM,AI数学

困扰数学家多年、让陶哲轩直呼喜欢的上限集问题数学难题，竟然被DeepMind的新算法破解了？这是史上首个用LLM发现的算法，堪称里程碑级研究，一经发布立马登Nature。

关键词: FunSearch,AI数学,AI推理

DeepMind的研究团队开发了一款基于大型语言模型的人工智能系统，名为FunSearch，可以在数学和计算机科学中生成新的解。通过迭代中的进化，FunSearch能够解决复杂的数学问题，并发现新的数学知识和算法。这种基于大型语言模型的人工智能系统不仅能超越人类数学家，而且比现有的方法更有效。

关键词: AI数学,AI工具辅,陶哲轩

历时三周，陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利用AI工具，网友惊呼：以后的数学论文不需要人类可读了？

关键词: AI奥林匹克数学奖,AI数学,大模型数学推理

专门为AI设立的IMO国际奥林匹克数学竞赛来了—