人工智能的进步令数学家们感到担忧
特伦斯·陶,洛杉矶加州大学教授,2006年菲尔兹奖得主,于2026年9月8日在Mathstodon网络上发布了一则警告,引起了学术界的广泛关注。他表示,人工智能不仅仅是辅助研究人员,它威胁到人类理解和基础研究的本质。原因在于,人工智能正在枯竭“好问题”的来源。这些未解决的问题才是真正推动科学领域进步的动力。
简而言之
- 人工智能在几天内解决了千年难题,而人类则需要数年。
- 特伦斯·陶警告:人工智能正在耗尽数学中的“好问题”。
- 数学家们担心他们的角色和发现会贬值。
- 社区呼吁制定新的规则来规范人工智能在研究中的使用。
人工智能以创纪录的速度解决千年难题
自2026年5月以来,关于人工智能的消息层出不穷。OpenAI首先推翻了1946年就存在的厄尔多斯单位距离猜想。几周后,同一家公司声称已解决了克雷数学研究所的七个“千年难题”之一:纳维-斯托克斯方程的解的存在性和规律性。这些方程描述了流体的运动。
根据数学家特里斯坦·巴克马斯特的说法,OpenAI的人工智能在一个周末内完成了他和同事莱文特·阿尔波格(Anthropic的员工)几个月以来一直在努力完成的工作。
这还不是全部!在2026年8月,OpenAI还发布了通过其Astra模型获得的十个新的重要数学和计算机科学成果。这些成果涵盖了:
- 几何学;
- 密码学;
- 代码理论。
就其而言,Anthropic利用Claude在仅仅11天内形式化了费马最后定理的证明。这家人工智能公司刚刚宣布即将上市。
特伦斯·陶:人工智能正在耗尽数学中的“好问题”
在Mathstodon上发布的一篇文章中,特伦斯·陶,被认为是当今最杰出的数学家,发出了明确的警告。他表示,真正的危险不是人工智能解决问题,而是它解决问题的速度太快,以至于社区无法从中吸取教训。
他写道:
不加选择地使用强大的解决方案提取工具可能会实现解决问题的短期目标,但代价是削弱了下一波进步所需的生态系统。
对于陶来说,数学问题的价值不仅在于其解决方案,还在于为达到该解决方案所经历的过程。实际上,这一过程使得:
- 发现新方法;
- 在领域之间找到新的联系;
- (有时)重新表述问题本身。
然而,使用人工智能,这一过程被短路了。在这方面,陶警告道:
我们现在已经看到,即使是有人在研究某个问题的传闻,也会引发大量由人工智能驱动的努力,以便在原始研究项目有时间充分发挥其潜力之前将其压平。
解读:人工智能将数学从“稀缺证据”的学科转变为“证据丰富”的学科。这威胁到人类工作的价值。
-- 价格
数学家们面临与人工智能的身份危机?
除了陶的声明,整个行业都在反思。<< 如果数学的主要目标是证明定理,那么现在机器似乎可以几乎随心所欲地做到这一点,我们还有什么用呢? >> 哥伦比亚大学的数学家亨利·袁在接受《每日电讯报》采访时提出了这个问题。
在2026年6月,超过3000名数学家签署了莱顿宣言。该文件呼吁:
- 负责任地使用人工智能;
- 对结果进行严格验证;
- 适当地引用人类和人工的贡献。
特伦斯·陶提出了一个建议:将某些问题分类为需要分析。这意味着,只有当人工智能提供的原始答案伴随着可理解和有教育意义的推理时,才算数。
人工智能时代的数学未来如何?
一些人将人工智能视为生产力工具。事实是,它使人类摆脱繁琐的任务,从而能够专注于提出新问题。另一方面,另一些人则担心证明的工业化。他们认为,智力价值可能会因此被速度所掩盖。
然而,双方在一个问题上达成了一致:规则必须改变。因此,莱顿宣言强调透明度和对贡献的认可。但如何在一个模型不公开且证明在几小时内生成的竞赛中应用这些原则呢?
无论如何,人工智能在数学领域已经迈出了重要一步。现在,责任在于社区:制定新的规则,以确保人工智能仍然是工具,而不是替代品。
本内容仅供参考,不构成任何金融、投资、法律或税务建议。文中提及的任何活动、奖励、线上活动或相关信息,不应被视为对购买、出售或交易任何加密资产的推荐、招揽或邀请。加密资产具有高波动性,存在价值损失风险。WEEX服务、产品及相关活动的可用性可能因地区而异。用户在参与前有责任确保符合当地适用法律法规。
猜你喜欢

Geo-DePIN 项目 TINA 完成 300 万美元融资

华尔街早报:股债金三杀、AI交易回落!油价双破百+PPI偏热,加息预期飙升至72%

Codex暂停200美元Pro计划新订阅以保障Astra使用体验

OpenAI推出GPT-Live-1 API,支持全双工语音对话

OpenAI数学突破提升智能合约安全性

OpenAI推出金融专用ChatGPT,替代华尔街银行家工作

DeepSeek V4.1 Flash 得分 81.2,GPT-6 Astra 成本 1.4%

这个家伙把萨姆·阿尔特曼、埃隆·马斯克和扎克伯格克隆成了AI机器人。他们立刻开始争吵

ChatGPT Voice 可调用 GPT-5.6 Sol 和 GPT-6 Astra

OpenAI刚刚展示了为什么其一位前研究人员认为人工智能可能会杀死每一个人

美国司法部在泰达的帮助下限制5200万美元的加密货币

印度与俄罗斯讨论CBDC支付,双边贸易接近600亿美元

人工智能将比特币量子攻击成本降低86%

ESMA关于招股说明书的更新:咨询开放至11月9日

Robinhood八月加密货币交易量月增61%至175亿美元 旗下Bitstamp贡献101亿美元占过半

美国财政部回购超过50亿美元的10年期国债未能阻止其抛售

这轮行情,资本为什么对叙事不买账了?

计划中的金融危机:美元的新全球货币架构

加密货币从未关闭,但比特币、以太坊、XRP 和索拉纳现在遵循华尔街时间

在国外如何使用加密货币支付,以及为什么要这样做

比特币金融:新的机构托管者是代码

油价重返100美元、美国国债收益率上升,SPY走低

阿根廷不再因需求而采用稳定币:将其融入金融生活

伊朗放宽货币管制,扩大加密货币在贸易中的使用

Anchorage Digital 向机构开放 Frgmnt 的 fUSD 和 sfUSD 访问

BitMine的质押ETH几乎占以太坊活跃质押的12%,但谁在控制它?

Sensex与Nifty 50今日下跌:股市大跌背后的5大原因

甲骨文股价目标:正如瑞穗所预测,ORCL能否达到320美元?

甲骨文股价:云收入创纪录增长121%,财报后ORCL大涨




