搜索结果
当人工智能解出“千禧年难题”，人类还需要亲自做数学吗？
【编者案】什么是信息，什么是知识？在 AI 时代，两者有怎样的差别，又有哪些知识是仍然值得拥有的？人工智能发展正对许多学科带来冲击，尤其是在信息丰富，但需投入海量计算资源的领域，例如预测新的蛋白质 3D 结构，解决数学问题，描绘生物演化关系等。前所未有的效率工具让学科进步提速，但变化日新月异，想要辨明当下的发展方向也变得更加困难。端传媒推出“未来怎么学”系列，关心 AI 时代的学习问题，大到“还要
你不需要懂任何数学，也能理解为什么千禧年大奖的突破如此重要
。这证明了人工智能正在加速且令人恐惧的进步。阅读 🔗
《新科学家》：数学难题证明不再稀缺 AI让数学进入混乱时代
人工智能正在进入数学最核心的领地。过去，人们习惯把计算机视为高速计算器或证明检查器，如今，新一代模型已经能够提出证明思路、搜索反例、形式化复杂论证，甚至直接参与开放问题研究，如果机器也能“做数学”，人类数学家的价值将转移到哪里？ 《新科学家》把这种变化称为数学史上最好也最糟糕的事情，并不夸张。AI正在拆除研究中的一些古老瓶颈，但也可能把数学推入一个答案过剩、理解不足的新阶段。 从解题工具到研究伙伴
AI时代，数学为何要警惕“只会做题”
最近，数学可能要被AI“玩坏了”。难题解决得更快，为什么还值得担心？关键在于我们如何评价、组织和延续数学研究。 AI模型的能力很难用一句话概括，基准测试（benchmark）因此成为比较模型的常用工具。但成绩一旦与融资、声誉和研发投入挂钩，测试便不再只是被动记录能力，也开始引导能力向哪些方向发展。经济学家陈斌（Alex C当公开分数能够吸引投资，针对测试进行定向优化就可能有利可图，而分数对于广泛能
“不成熟的操场吹嘘”：数学家对 OpenAI 的最新战果感到不安
随着 OpenAI 的模型攻克了困扰专家数十年的千禧年大奖难题，许多人对变革的速度感到震惊。这让数学家们感到晕头转向。在人工智能不断推动该领域发展的多起案例之后，OpenAI 宣布其最新的 AI 模型攻克了一个千禧年大奖难题——一个悬赏 100 万美元、数十年里一直难倒人类大脑的谜题。 这一成就与数学问题的常规解决方式几乎没有相似之处。一家价值近万亿美元的私营公司向该问题部署了 10,000 个智
黄仁勋认为AI时代所需技能会发生变化 连乘法表都可能淡忘
NVIDIA首席执行官黄仁勋认为，随着人工智能普及，人们逐渐淡忘部分基础技能，未必需要视为问题。他在与记者埃兹拉·克莱因的对谈中表示，人们所需的技能可能随技术发展而改变。 两人谈到一项有关学生使用AI的研究。对谈中提及的结果显示，AI能帮助学生更快完成任务，但随着时间推移，他们对所学技能的掌握不够牢固，独立考试的成绩也有所下降。黄仁勋承认，一些基础知识已经开始被淡忘。他举出笔算除法、乘法表和平方根
AI解决了一个数学上最棘手的问题。人类(目前)什么也没学到
特里斯坦·巴克马斯特是纽约大学的一位数学家。2026年9月11日，他在曼哈顿的办公室里为肖像摄影摆姿势。巴克马斯特和他的合作者莱文特·阿尔普格一直在研究纳维-斯托克斯方程。他们与OpenAI发生冲突，后者声称已经破解了这些方程。 卡斯滕·莫兰/为《华盛顿邮报》/盖蒂图片社 拍摄 隐藏说明 切换说明本月早些时候，当OpenAI宣布其人工智能解决了世界上最棘手的数学问题之一时，其语气充满庆祝意味：“我
陶哲轩、邓煜等菲奖得主联合抗议：AI公司正毁掉整个数学圈
OpenAI，又开始对黎曼猜想和P与NP问题下手了？？最近，这些AI大公司仿佛疯了一般在冲刺“千禧年问题”的KPI。9月8日，NS方程被宣布解决；9月11日，第二道千禧年难题霍奇猜想被曝接近解决；据称，O/A两家正疯狂竞速，向BSD猜想发起冲锋。到了今天，OpenAI已经在用内部模型尝试解决黎曼猜想和P与NP问题。如果该模型证明了 P = NP，整个计算机科学领域都将被颠覆！然而，人类数学家们已经
25名菲尔兹奖得主批评AI解数学难题
被誉为“数学界诺贝尔奖”的菲尔兹奖得主中，有25名数学家于9月11日发表紧急声明，批评企业试图利用人工智能解决数学难题的做法。他们表示，今后还将继续征集更多数学家的签名。 这份声明被认为与美国OpenAI宣布利用AI解决名为“纳维-斯托克斯方程”的数学难题有关。纳维-斯托克斯方程是美国克雷数学研究所于2000年公布的“千禧年大奖难题”之一。这7道难题每道悬赏100万美元（约合人民币710万元）。
人工智能对数学的命运意味着什么？
OpenAI 用人工智能在四天内解决了百年难题——Navier-Stokes 方程，挑战了数学家的角色，并在特伦斯·陶等专家中引发了存在危机。 专家指出，人工智能在数学领域取得了进展，它能够跟随复杂的论证，但缺乏真正的创造力和想象力来产生新的数学思想。 人们担忧人工智能对数学研究的影响，担心它可能阻碍合作与洞察力，而人类数学家仍然是提出有意义问题的关键。 AI 生成的纽约——OpenAI 用人工智
OpenAI称已攻克数学‘千禧年难题’之一
突发消息：OpenAI表示已攻克数学领域最大的未解难题之一，这是人工智能将如何改变该领域的又一显著标志。 该公司的这一声明是迄今为止最引人注目的迹象，表明人工智能正在从根本上改变高等数学领域。
那个永远改变了数学的星期——播客
九月初，OpenAI宣布他们解决了一个困扰人类近一个世纪的重大数学问题。 这一消息让数学家们感到震惊，许多人担心随着AI在解决复杂问题方面变得越来越熟练，人类将失去什么。 现在，25位菲尔兹奖（常被称为数学界的诺贝尔奖）得主签署了一封公开信，表达了他们对AI公司与数学界之间可能存在“严重脱节”的担忧。 为了了解AI将如何颠覆数学领域以及数学家们可能会做出怎样的反应，Ian Sample采访了圣安德
人工智能圈的人似乎并不理解智能
作者：高塔姆·穆昆达。就在OpenAI宣称其模型擅长小学数学仅仅三年后，该公司宣布它们在88小时内解决了纳维-斯托克斯千年奖问题，而这个问题自20世纪30年代以来一直困扰着人类最伟大的数学头脑。将这一趋势向前推演，你就能理解为什么OpenAI首席执行官萨姆·奥尔特曼认为人工智能将治愈所有疾病——以及为什么人们担心失控的人工智能可能伤害人类。 圣塔菲研究所的科学家梅拉妮·米切尔和戴维·克拉考尔将人工
#观察 有什么可以“叫唤”的？
AI在所有科学和数学领域都将远远超越人类科学家，这是必然。适应一下。
OpenAI未发布内部AI模型据称攻克纳维-斯托克斯方程难题
OpenAI未发布内部AI模型据称攻克纳维–斯托克斯方程难题，相关结果已由机器验证。报道还称，该公司动用了约1万个并发自主代理完成推理与形式化验证，但这项成果目前仍未被克雷数学研究所正式认定为千禧年大奖难题的已解答案。 公司称已用机器验证方式给出纳维–斯托克斯方程解法，但距离正式获奖仍有数学界审查程序要走。 OpenAI称，这一内部模型在数学与理论计算机科学方向的多项长期难题上都取得了突破；在先前
俞敏洪谈AI教育乱象：题目一输入答案就有了 孩子们连脑子都不用动
在“2026崇礼论坛”上，新东方创始人俞敏洪谈到，“以人工智能纯粹创业来说，对于我来说我已经非常的远，就是我现在全力以赴的去弄，都是很难的。但是如何将人工智能应用到我个人的事业，运用到新东方的教育场景空间，应用到东东方甄选的卖货中间，应用到新东方文旅之中，我确实还是想得比较多的，也在不断的实施。” 他提到，自己个人平均每天使用AI的次数应该不下于50次左右。尤其借助各种大模型辅助工作，包括文案选择
OpenAI有望攻克另一项千禧年大奖数学难题
还记得本月早些时候，数学家指责OpenAI试图抢占先机、争夺一道超高难度数学难题的成果，令这家公司陷入舆论风波吗？据了解该研究进展的人士透露，事实是OpenAI距离攻克千禧年大奖难题中的另一道数学难题已近在咫尺。千禧年大奖难题一共包含七大著名数学挑战，此前引发争议的纳维–斯托克斯方程存在性与光滑性问题正是其中之一。 该消息人士称，公司内部员工预计，下一个目标——霍奇猜想，有望在较短时间内得到证明。
79岁诺奖得主爱看《三体》，每天向AI提数百个问题
79岁的迈克尔·莱维特在他的社交账号简介里写道：“以我这个年纪，代码写得还不错。”莱维特是美国斯坦福大学结构生物学教授，也是计算结构生物学的先驱之一。2013年，他与另外两名科学家因开发复杂化学体系的多尺度计算模型，共同获得当年的诺贝尔化学奖。如今，他是AI的深度使用者。“我每天可能会向AI提出数百个问题。”莱维特说。科学研究离不开怀疑和验证。虽然深度痴迷AI，但莱维特不会照单全收AI的所有答案。
OpenAI称AI模型解决了数学“千禧年大奖难题”之一
未发布的模型耗时88小时，动用了多达10,000个AI智能体来解决纳维-斯托克斯问题。
OpenAI 称其模型攻克数学最难难题之一，研究人员提出质疑
美国科技巨头 OpenAI 于周二表示，他们仅用了 88 小时和价值数百万美元的计算能力，就用一款未发布的人工智能模型解决了数学中最棘手的问题之一。 然而，一位美国数学家和竞争对手 Anthropic 的一名研究人员指控称，OpenAI 只有在获悉他们自己利用人工智能攻克该难题的努力后，才着手解决这一问题，而后者耗费了数月时间来构思一种截然不同的独特方法。
大西洋月刊：接连不断的危机表明，美国的高等教育毫无意义
本文刊发在大西洋月刊，作者伊恩·博戈斯特是《大西洋月刊》的特约撰稿人。他是圣路易斯华盛顿大学文理学院和山姆·福克斯设计与视觉艺术学院的芭芭拉和戴维·托马斯杰出教授，同时也是该校计算机科学与工程学教授。博戈斯特著有11本书，最新著作是《小事：如何过上更充实的生活》。他也是一位屡获殊荣的游戏设计师，其作品已被数百万玩家体验，并被包括史密森尼美国艺术博物馆在内的国际知名机构收藏。 人工智能刚进入大学校
当AI替你完成了工作，一个人要靠什么能力被市场付钱？
一个人还在学习的现场，工作却已经可以绕过他完成。在机器人手术室里，这件事有一个很具体的表现。主刀医生坐在控制台前，操纵病人身旁的四条机械臂。年轻的住院医师也在场，却可能只负责清除烟雾和积液，或者坐在另一台控制台前观看。 马特·贝恩是一位研究技术与工作的学者。他用两年多时间观察机器人手术和传统手术，注意到一个变化：传统手术往往需要两个人、四只手，年轻医生参与其中，也就有了练习的机会。机器人让专家可以
韦神主攻的千禧年难题 被Claude攻破了？
原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！昨日，我们报道了费马大定理的证明被 Claude 首次形式化，其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。出乎我们意料的是，丘成桐先生悬赏 10 万元，征集对佩雷尔曼的庞加莱猜想证明的形式化验证！ 庞加莱猜想是拓扑学中一个关于三维空间形状的著名数学定理，指出如果在一个封闭的三维空间里，每条封闭的曲线都
冷静点——人工智能短期内并不会终结人类。
末日预言正接踵而至。由人工智能引发的人类灭绝似乎迫在眉睫。据称，在十年之内，人工智能将以种种邪恶手段将人类彻底消灭。这是人工智能领域的天才们（甚至人工智能本身）所说的话——他们显然聪明得不会出错。但问题是，谁来修理空调？谁来修补屋顶的破洞、维护发电厂、修复被风吹断的电线、更换老化的服务器，等等？简而言之，没有人类的支持，人工智能既不会存在，也无法存在。人工智能需要电力，而任何发电厂若缺乏人类维护，