克雷研究所100万美元奖金要归AI了数学界规则大改，未来数学家如何应对「海量猜想」

---

在数学的世界里，想要对“一个未经证实的猜想”进行完整的证明，往往需要天赋、直觉和经验的结合，即使是数学家也很难解释自己的发现过程。

然而，随着近几年大模型的崛起，我们共同见证了一种新的变革力量，AI不仅在预测椭圆曲线的复杂度上超越了人类，还在探索基本常数的新公式上取得了突破。

最近，伦敦数学科学研究所所长托马斯·芬克（Thomas Fink）在Nature的world view栏目发表了一篇文章，探讨了AI如何在数学领域中发挥其独特的作用，以及如何帮助数学家从猜想走向证明。在这篇文章中，芬克提到了AI在数学推理和证明中的潜力，以及它对数学领域的进展所带来的影响。 芬克指出，AI可以通过对大量数学问题的分析和推理，发现隐藏在其中的模式和规律。例如，通过机器学习算法，AI可以从数百万个数学问题中学

☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 免费无限量使用 DeepSeek R1 模型☜☜☜

图片

文章链接：https://www.nature.com/articles/d41586-024-01413-w

数学数据的丰富性和独特性为AI的训练提供了肥沃的土壤：从素数到结理论，AI正在帮助我们发现数学对象之间的新联系。

例如，通过在线整数序列百科全书(OEIS)，可以利用AI工具搜索近375,000个序列，寻找那些意想不到的关系，文中揭示了AI如何在数学数据的海洋中航行，发现那些人类尚未触及的宝藏。

不过，虽然AI在数学领域的应用前景广阔，但它并非万能。

正如G. H. Hardy在其1940年的论文《一个数学家的辩护》（A Mathematician’s Apology）中所言，一个好的定理应当是构成诸多数学结构的组成部分。

AI可以帮助我们发现模式和形成猜想，但区分这些猜想的重要性则需要数学家的直觉和对领域发展的深刻理解。

作者探讨了AI如何作为数学家创造力的催化剂，而非替代品，二者可以共同推动、扩展数学的边界。

托马斯·芬克 (Thomas Fink) 是伦敦数学科学研究所的研究员，该研究所是一家从事物理和数学研究的非营利机构。他正在与 BHI 合作研究可修复性和重组创新等主题，其研究兴趣主要包括离散动力学、复杂网络和生物学基本定律。

数学+AI

在2017年，伦敦数学科学研究所的研究人员，其中包括我，作为所长，开始将机器学习技术作为一种探索尝试应用于数学数据分析，也标志着人工智能（AI）开始在数学领域的应用展开初步探索。

在COVID-19大流行期间，我们取得了一个意外的发现：简单的AI分类器能够预测椭圆曲线的秩（衡量椭圆曲线复杂性的一种方式）。

椭圆曲线是数论的基础，克雷数学研究所曾经在千禧年选出了七大数学难题，并为每个问题提供了100万美元的奖金，预测椭圆曲线就是解决这些问题的关键步骤，但在当时几乎没人看好AI能在数学领域发挥作用。

2025年，研究人员设计的拉马努金机为基本常数生成了新的公式，例如 π 和 e，模型通过详尽地搜索连分数族（families of continued fractions）来实现该算法，其中连分数是一种特殊的分数表示法，由无限多个分数层叠构成，每个分数的分母本身也是一个分数，形成了一个分母链。

图片

论文链接：https://www.nature.com/articles/s41586-021-03229-4

拉马努金机生成的一些公式已经被数学家证明是正确的，为数学领域增添了新的知识点，但并非所有的公式都得到了证明，一些公式仍然是数学界面临的未解决问题，等待着未来的数学家和AI技术去探索和解决。

结理论（knot theory）是拓扑学的一个领域，主要研究的是线条或绳子在空间中如何被扭曲和打结。在这个领域中，我们通常考虑一个理想化的绳子，它在两端被粘接起来，形成一个封闭的环。

最近，谷歌DeepMind的研究人员利用神经网络技术，对各种不同的结进行了数据分析，通过训练神经网络来识别和理解结的模式。

图片

论文链接：https://www.nature.com/articles/s41586-021-04086-x

最令人惊讶的是，模型发现了结的代数性质和几何形状之间存在一种之前尚不了解的联系，也就意味着，通过数学的代数和几何方法，我们能够更深入地理解结的结构及其性质，对于数学和物理学等领域的研究具有重要意义。

AI对数学领域的影响

数学是一门精确的科学，不接受任何偶然性（concidence），与现实世界中的实验不同，数学中的一个反例就足以推翻一个猜想。

例如，Pólya猜想曾认为，任何给定整数以下的大多数整数都有奇数个质因数，但这个猜想在1960年被证明是错误的，因为数字906,180,359并不满足这个条件，只需一个反例就被证伪了。

除此之外，数学领域的数据获取成本相对较低，因为数学对象如质数和结等是普遍存在的，例如，在线整数序列百科全书（OEIS）就收录了近375,000个序列，从广为人知的斐波那契序列到增长速度极快的Busy Beaver序列，科学家们已经开始使用机器学习工具来搜索OEIS数据库，寻找新的数学关系。

人工智能还可以帮助我们发现数学中的模式，并提出新的猜想。

但并非所有的猜想都同等重要，一个好的猜想应该能够推动我们对数学的理解，帮助我们构建更多的数学结构，并在证明不同类型的定理中发挥作用。

然而，要区分哪些猜想更有价值，需要对数学领域本身的发展有深刻的直觉和理解，对数学发展大局的把握，对于人工智能来说，可能在很长一段时间内都是难以实现的。

因此，尽管人工智能可以帮助我们发现模式和猜想，但在识别哪些猜想真正重要方面，它可能还有很长的路要走。

尽管对人工智能在数学领域应用的担忧存在，但AI的引入无疑为数学界带来了积极的影响，不仅能为数学研究提供关键的优势，还能开辟新的研究途径，激发创新思维。

数学期刊应当增加对数学猜想的发表量。历史上，许多重大的数学问题，如费马的最后定理、黎曼猜想等，以及许多不太为人所知的猜想，都极大地推动了数学领域的发展，这些猜想通过为研究者提供正确的研究方向，加速了数学研究的进程。

因此，发表有关猜想的期刊文章，尤其是那些有数据支持或启发性论证的文章，对于推动科学发现具有重要意义。

以谷歌DeepMind的研究为例，去年他们预测了220万种可能的新型晶体结构，但这些新材料的稳定性、合成可能性以及实际应用价值仍有待进一步的验证和研究，目前该工作还主要依赖于人类研究人员的专业知识和对材料科学广泛背景的理解。

此外，数学家们的想象力和直觉对于理解和解释AI工具产生的结果至关重要。

AI在这一过程中起到的是促进和激发人类创造力的作用，而不是取代人类，它更像是一个工具，帮助数学家们更快地探索未知领域，发现新的数学真理。

参考资料：

https://www.nature.com/articles/d41586-024-01413-w

# 伦敦  # 家们  # 发挥作用  # 重要意义  # 可以帮助  # 很长  # 能在  # 但在  # 托马斯  # 人工智能  # 的是  # https  # 数据分析  # 数据库  # 算法  # 对象  # 质数  # ai 

相关栏目： 【 Google疑问12 】 【 Facebook疑问10 】 【 网络优化91478 】 【 技术知识72672 】 【 云计算0 】 【 GEO优化84317 】 【 优选文章0 】 【 营销推广36048 】 【 网络运营41350 】 【 案例网站102563 】 【 AI智能45237 】

相关推荐： Motion 教程：AI 驱动的智能日程安排，提高工作效率  教你用AI快速制作思维导图，3步理清所有工作思路  清洁扫地机器人传感器：解决导航和充电难题  Gemini怎么用新功能实时问答_Gemini实时问答使用【步骤】  深度学习姿态估计：技术、应用与未来趋势全解析  百度ai助手悬浮球怎么关 百度ai助手悬浮窗去除方法  Vivo V50e 5G AI功能：最佳AI特性深度解析  Midjourney怎么用一键生成漫画_Midjourney漫画生成方法【攻略】  豆包 AI 辅助进行精简版个人周报撰写技巧  Venggage AI Pitch Deck生成器：快速创建投资者演示文稿  构建卓越的AI驱动测试自动化框架：QA工程师指南  3步教你用AI自动分类文件，整理电脑告别杂乱  百度输入法ai面板怎么关 百度输入法ai面板隐藏技巧  智谱AI智能绘图怎么用_智谱AI智能绘图使用方法详细指南【教程】  Claude如何导出对话记录_Claude对话导出方法【方法】  Azure AI 文本分类指南：自定义模型，提高文本分析精度  n8n教程：如何用AI自动生成个性化简历  AI视频生成终极指南：免费为店铺打造引流爆款  自动化AI汽车生成挑战赛1966 Gasmea回顾与评分  ChatGPT图像生成器完全指南：文化影响、伦理挑战与商业变革  3步教你用AI将文字转换成语音，实现配音自由  DeepSeek 辅助进行 Linux 内核参数调优教程  开源AI Agent项目精选：赋能智能自动化  AI图像生成平台深度对比：Midjourney vs. Stable Diffusion  2025年43英寸电视选购指南：最佳品牌与型号推荐  Ocfotech AI 房地产工具：提升房地产投资效率的终极指南  文心一言怎么一键生成会议纪要_文心一言纪要生成与重点提取【指南】  Semrush AI标题生成器：免费提升SEO和内容创作效率  Gemini怎样连接Google账号_Gemini账号连接方法【方法】  找不到百度AI助手入口 最新官网登录入口  ATS优化：Euron ResumeAI打造高效求职简历  夸克AI能否查快递物流_夸克AI快递查询入口与单号输入【步骤】  ChatGPT怎样用提示词分步骤提问_ChatGPT分步提问技巧【方法】  Midjourney怎样生成网页图标_Midjourney图标生成教程【方法】  Tenorshare PDNob：免费AI图像翻译器，即时转换图像为文本  QRCODE.AI深度评测：AI驱动的二维码生成器优缺点分析  CanvaAI抠图怎么批量处理_CanvaAI批量抠图与团队协作功能【指南】  Vizeo AI视频生成器：无需技术，轻松打造营销利器  CanvaAI抠图怎样调整色彩_CanvaAI色彩校正与滤镜叠加方法【攻略】  ChatGPT助力Instagram Reels脚本创作：提升内容质量  利用 DeepSeek 提高敏捷开发中的 Sprint 规划效率  普通人如何用DeepSeek月入过万？2026最新赚钱路径全解析！  ChatGPT写论文大纲教程 辅助学术构思与资料检索操作方法  ChatGPT打造AI助手：10倍提升效率，掌控你的生活  如何利用AI优化简历关键词？轻松通过ATS筛选系统  AI内容检测与优化：免费工具助你提升内容质量  千问如何切换回答风格_千问风格选择正式口语等【实操】  怎么用AI帮你设计一套个性化的手机App图标？  AI PPT生成工具有哪些_一键生成演示文稿的AI工具推荐  Excel Copilot：AI驱动的强大新功能与实用案例解析 

 2024-05-23