数学家Timothy Gowers对AI在数学研究中的能力表示担忧，认为AI可能会取代博士生的研究工作。尽管AI能快速解决问题，但人类数学家的理解能力不可替代。陶哲轩强调，理解和探索数学的过程是人类独有的，AI无法完全替代。两位数学家对AI的影响看法不同，Gowers感到危机，而陶哲轩关注人类思维的深度。

谷歌DeepMind推出的「AI联合数学家」成功解决了Kourovka Notebook第21.10号问题，标志着数学研究的新突破。该系统通过人机协作，提升了解决数学难题的效率，强调持续互动与反馈，记录失败假设，帮助数学家更好地研究。在FrontierMath基准测试中，该系统取得了48%的准确率，超越了其他AI模型，展示了AI与数学家合作的潜力。

陶哲轩利用AI工具Claude Code提高论文修改效率，通过输入审稿反馈与论文文件，快速识别并修正问题，仅需15分钟。他强调AI应作为数学家的助手，帮助解决细节问题，而人类则专注于核心难题。这一趋势在数学界逐渐普及，AI辅助研究的潜力不断被挖掘。

北京大学的论文《AI for Mathematics》探讨了人工智能在数学研究中的进展与挑战，主要分为问题特定建模和通用建模两大方向。AI已成为数学家的重要合作伙伴，帮助发现新关系、构造反例和掌握形式化推理，开启了数学研究的新黄金时代。

马修·博兰等人发布了《方程理论项目：推进大规模协作数学研究》的预印本，系统探索了4684个代数法则，利用自动定理证明工具等方法揭示了许多法则间的蕴含关系，但部分复杂蕴含仍需深入研究。

埃尔德什问题1026最近通过文献、在线合作和AI工具得到解决，涉及寻找序列的最大单调子序列长度。研究者们通过讨论和计算，最终利用AI工具证明了相关的界限和定理，展示了现代技术在数学研究中的应用。

Thomas Bloom的erdosproblems.com网站汇集了近千个保罗·厄尔多斯提出的问题，约三分之一已解决。网站新增讨论论坛以促进问题解决。我们计划通过众包项目计算与厄尔多斯问题相关的整数序列，并与在线整数序列百科全书（OEIS）交叉验证，吸引更多数学爱好者参与研究。

AI在数学研究中的能力与宣传存在显著差距。尽管一些AI系统声称能解决复杂数学问题，但实际表现远低于预期，尤其在定义提取和推理方面。研究建议建立更严格的检查机制，并提醒数学家不要完全依赖AI。

一位数学研究学者感到无聊，想要从博士研究中解脱。他已掌握Python，正在尝试Node.js，希望获得阅读建议。

三名高中生在导师指导下成功证明所有扭结可嵌入门格海绵中，研究探讨了分形与扭结的关系，展示了数学研究的复杂性与乐趣。

传统上，数学研究由少数专家进行，难以大规模组织。证明助手语言如Lean提供了解决方案，允许专业数学家、公众和AI工具共同参与复杂项目。通过模块化分解，可以实现大规模协作。目前主要是人类参与，但也有自动化工具的尝试。项目如“Polymath”展示了这种协作的潜力。本文提出试点项目，探索简单代数理论的等式公理，利用证明助手和众包方法扩展研究规模。

数学家陶哲轩回顾了计算机和人工智能在数学研究中的应用，强调人类的洞察力和创造力的重要性。他介绍了计算工具的发展历史，包括计算机和机器学习的应用，以及形式化证明辅助和大型语言模型在数学中的应用。他指出，虽然AI在数学领域的作用越来越大，但仍需要人类的参与和创造力。