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

简介: 【6月更文挑战第1天】AI在数学领域的突破正在改写数学研究规则。伦敦数学科学研究所的AI预测椭圆曲线秩,与克雷研究所的千禧年问题相关,显示AI在高风险数学问题上的潜力。AI还发现了纽结理论中的新关系,并能生成数学公式的猜想。尽管AI有助于发现模式和猜想,但它仍依赖于数学家的直觉来判断猜想的重要性。未来,AI将成为数学家的工具,加速研究进程,但人类的创造力和洞察力仍是关键。

数学,作为人类智慧的结晶,一直以来都被认为是人类创造力和直觉的领域。然而,近年来人工智能(AI)的发展正在挑战这一观念,尤其是在数学领域。本文将探讨AI如何改变数学研究的格局,以及未来数学家将如何应对这一变革。

2017年,伦敦数学科学研究所的研究人员开始将机器学习应用于数学数据,这在当时可能只被视为一种业余爱好。然而,在COVID-19疫情期间,他们取得了一项重大突破:他们发现简单的AI分类器可以预测椭圆曲线的秩,这是衡量其复杂性的重要指标。椭圆曲线是数论的基本概念,理解它们的统计特性是解决克雷研究所提出的七个千禧年问题之一的关键步骤,这些问题每个都带有100万美元的奖金。

这一发现震惊了数学界,因为很少有人预料到AI会在如此高风险的领域取得进展。然而,这只是AI在数学领域取得的众多成就之一。几年前,一个名为拉马努金机器的计算机程序通过搜索连分数族,生成了基本常数(如π和e)的新公式。其中一些猜想已经被证明,而另一些仍然开放。

另一个例子是纽结理论,这是拓扑学的一个分支,研究的是假设的弦在两端粘合之前是如何纠缠的。伦敦谷歌DeepMind的研究人员通过训练神经网络处理大量不同纽结的数据,发现了纽结的代数结构和几何结构之间的意外关系。

那么,AI是如何在那些被认为需要人类创造力的数学领域产生影响的呢?首先,数学中没有巧合。在现实世界的实验中,假阴性和假阳性很常见,但在数学中,一个反例就足以推翻一个猜想。例如,波利亚猜想认为,在任何给定整数以下,大多数整数的素因子数量为奇数。然而,1960年发现该猜想不适用于906,180,359这个数,从而推翻了该猜想。

其次,AI可以训练的数学数据很便宜。素数、纽结和其他许多类型的数学对象非常丰富。在线整数序列百科全书(OEIS)包含了近375,000个序列,从熟悉的斐波那契序列(1, 1, 2, 3, 5, 8, 13...)到令人生畏的忙碌海狸序列(0, 1, 4, 6, 13...),后者的增长速度超过了任何可计算函数。科学家已经在使用机器学习工具搜索OEIS数据库,以发现意想不到的关系。

AI可以帮助我们发现模式并提出猜想,但并非所有猜想都是平等的。它们还需要推动我们对数学的理解。在1940年的论文《一个数学家的道歉》中,G.H.哈代解释说,一个好的定理应该是许多数学构造的组成部分,用于证明许多不同类型的定理。换句话说,最好的定理增加了发现新定理的可能性。帮助我们开拓新的数学前沿的猜想比那些提供较少见解的猜想更好。然而,区分它们需要对领域本身的发展方向有直觉。这种对更广泛背景的把握在很长一段时间内都将超出AI的能力范围,因此技术将难以发现重要的猜想。

然而,尽管存在这些限制,AI工具在数学界更广泛的应用也有很多好处。AI可以提供决定性的优势,开辟新的研究领域。主流数学期刊也应该发表更多的猜想。数学中的一些最重要的问题,如费马大定理、黎曼假设、希尔伯特的23个问题和拉马努金的许多恒等式,以及无数不太著名的猜想,都塑造了该领域的发展方向。猜想通过为我们指明正确的方向来加快研究速度。关于猜想的期刊文章,由数据或启发式论证支持,将加速发现。

去年,谷歌DeepMind的研究人员预测了220万个新的晶体结构。然而,目前尚不清楚这些潜在的新材料中有多少是稳定的,可以被合成,并且具有实际应用。目前,这主要是人类研究人员的任务,他们对材料科学的更广泛背景有很好的理解。同样,数学家的想象力和直觉将被需要,以理解AI工具的输出。因此,AI只会作为人类创造力的催化剂,而不是替代品。

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

目录
相关文章
|
2月前
|
机器学习/深度学习 人工智能
打开AI黑匣子,三段式AI用于化学研究,优化分子同时产生新化学知识,登Nature
【10月更文挑战第11天】《自然》杂志发表了一项突破性的化学研究,介绍了一种名为“Closed-loop transfer”的AI技术。该技术通过数据生成、模型训练和实验验证三个阶段,不仅优化了分子结构,提高了光稳定性等性质,还发现了新的化学现象,为化学研究提供了新思路。此技术的应用加速了新材料的开发,展示了AI在解决复杂科学问题上的巨大潜力。
33 1
|
21天前
|
人工智能 知识图谱
成熟的AI要学会自己搞研究!MIT推出科研特工
MIT推出科研特工SciAgents,结合生成式AI、本体表示和多代理建模,实现科学发现的自动化。通过大规模知识图谱和多代理系统,SciAgents能探索新领域、识别复杂模式,加速新材料发现,展现跨学科创新潜力。
38 12
|
20天前
|
机器学习/深度学习 人工智能 算法
基于AI的性能优化技术研究
基于AI的性能优化技术研究
|
2月前
|
人工智能 开发框架 Java
总计 30 万奖金,Spring AI Alibaba 应用框架挑战赛开赛
Spring AI Alibaba 应用框架挑战赛邀请广大开发者参与开源项目的共建,助力项目快速发展,掌握 AI 应用开发模式。大赛分为《支持 Spring AI Alibaba 应用可视化调试与追踪本地工具》和《基于 Flow 的 AI 编排机制设计与实现》两个赛道,总计 30 万奖金。
|
2月前
|
人工智能 自然语言处理
召唤100多位学者打分,斯坦福新研究:AI科学家创新确实强
【10月更文挑战第6天】斯坦福大学最新研究评估了大型语言模型(LLMs)在生成新颖研究想法方面的能力,通过100多位NLP专家盲评LLMs与人类研究人员提出的想法。结果显示,LLMs在新颖性方面超越人类(p < 0.05),但在可行性上略逊一筹。研究揭示了LLMs作为科研工具的潜力与挑战,并提出了进一步验证其实际效果的设计。论文详见:https://arxiv.org/abs/2409.04109。
40 6
|
2月前
|
人工智能 自然语言处理 机器人
MIT新研究揭秘AI洗脑术!AI聊天诱导人类编造记忆,真假难辨
麻省理工学院的一项新研究《基于大型语言模型的对话式AI在证人访谈中加剧虚假记忆》显示,使用生成式聊天机器人进行犯罪证人访谈会显著增加参与者的虚假记忆,且影响持久。研究设置了对照组、问卷访谈、预设脚本及生成式聊天机器人四种条件,结果显示生成式聊天机器人诱导的虚假记忆数量远超其他方法。尽管AI技术在效率和准确性方面潜力巨大,但在敏感领域需谨慎应用,并需进一步评估风险,制定伦理准则和监管措施。论文详细内容见[这里](https://arxiv.org/abs/2408.04681)。
49 2
|
3月前
|
存储 人工智能 JavaScript
根据Accenture的研究,CEO和CFO谈论AI和GenAI是有原因的
数字化转型与当前GenAI领导者之间的关键区别在于,CEO和CFO(而非CIO)似乎参与了指导AI投资的过程。例如,Accenture在2024年1月报告称,到2023年底,在财报电话会议中提到AI的次数几乎达到4万次,因为C级领导层正在为“重大技术变革”做好准备
42 1
|
3月前
|
机器学习/深度学习 人工智能 开发框架
智能ai量化高频策略交易软件、现货合约跟单模式开发技术规则
该项目涵盖智能AI量化高频策略交易软件及现货合约跟单模式开发,融合人工智能、量化交易与软件工程。软件开发包括需求分析、技术选型、系统构建、测试部署及运维;跟单模式则涉及功能定义、策略开发、交易执行、终端设计与市场推广,确保系统高效稳定运行。
|
4月前
|
边缘计算 人工智能 监控
边缘计算与AI结合的场景案例研究
【8月更文第17天】随着物联网(IoT)设备数量的爆炸性增长,对实时数据处理的需求也随之增加。传统的云计算模型在处理这些数据时可能会遇到延迟问题,尤其是在需要即时响应的应用中。边缘计算作为一种新兴的技术趋势,旨在通过将计算资源更靠近数据源来解决这个问题。本文将探讨如何将人工智能(AI)技术与边缘计算结合,以实现高效的实时数据分析和决策制定。
269 1
|
6月前
|
人工智能 缓存 安全
22.5 万奖金池丨Higress AI 网关编程挑战赛启动
2024 天池云原生编程挑战赛 6 月 12 日正式启动,8 月 28 日线下决赛,9 月公布最终参赛结果,奖金池合计 22.5 万,共计三个赛道,面向全社会开放。
630 17