搜索结果
《新科学家》：数学难题证明不再稀缺 AI让数学进入混乱时代
人工智能正在进入数学最核心的领地。过去，人们习惯把计算机视为高速计算器或证明检查器，如今，新一代模型已经能够提出证明思路、搜索反例、形式化复杂论证，甚至直接参与开放问题研究，如果机器也能“做数学”，人类数学家的价值将转移到哪里？ 《新科学家》把这种变化称为数学史上最好也最糟糕的事情，并不夸张。AI正在拆除研究中的一些古老瓶颈，但也可能把数学推入一个答案过剩、理解不足的新阶段。 从解题工具到研究伙伴
当人工智能解出“千禧年难题”，人类还需要亲自做数学吗？
【编者案】什么是信息，什么是知识？在 AI 时代，两者有怎样的差别，又有哪些知识是仍然值得拥有的？人工智能发展正对许多学科带来冲击，尤其是在信息丰富，但需投入海量计算资源的领域，例如预测新的蛋白质 3D 结构，解决数学问题，描绘生物演化关系等。前所未有的效率工具让学科进步提速，但变化日新月异，想要辨明当下的发展方向也变得更加困难。端传媒推出“未来怎么学”系列，关心 AI 时代的学习问题，大到“还要
#观察 有什么可以“叫唤”的？
AI在所有科学和数学领域都将远远超越人类科学家，这是必然。适应一下。
人工智能对数学的命运意味着什么？
OpenAI 用人工智能在四天内解决了百年难题——Navier-Stokes 方程，挑战了数学家的角色，并在特伦斯·陶等专家中引发了存在危机。 专家指出，人工智能在数学领域取得了进展，它能够跟随复杂的论证，但缺乏真正的创造力和想象力来产生新的数学思想。 人们担忧人工智能对数学研究的影响，担心它可能阻碍合作与洞察力，而人类数学家仍然是提出有意义问题的关键。 AI 生成的纽约——OpenAI 用人工智
那个永远改变了数学的星期——播客
九月初，OpenAI宣布他们解决了一个困扰人类近一个世纪的重大数学问题。 这一消息让数学家们感到震惊，许多人担心随着AI在解决复杂问题方面变得越来越熟练，人类将失去什么。 现在，25位菲尔兹奖（常被称为数学界的诺贝尔奖）得主签署了一封公开信，表达了他们对AI公司与数学界之间可能存在“严重脱节”的担忧。 为了了解AI将如何颠覆数学领域以及数学家们可能会做出怎样的反应，Ian Sample采访了圣安德
AI时代，数学为何要警惕“只会做题”
最近，数学可能要被AI“玩坏了”。难题解决得更快，为什么还值得担心？关键在于我们如何评价、组织和延续数学研究。 AI模型的能力很难用一句话概括，基准测试（benchmark）因此成为比较模型的常用工具。但成绩一旦与融资、声誉和研发投入挂钩，测试便不再只是被动记录能力，也开始引导能力向哪些方向发展。经济学家陈斌（Alex C当公开分数能够吸引投资，针对测试进行定向优化就可能有利可图，而分数对于广泛能
“你想毁掉自己的职业生涯吗？”
当地时间9月11日，包括陶哲轩、邓煜在内的25位菲尔兹奖得主联合发表《人工智能在数学中的严重错位》的声明（以下称“联合声明”），将OpenAI、Anthropic等AI公司与数学界的一场“大战”推向高潮。联合声明称，AI公司将解决数学难题作为模型能力基准的做法，对数学科学本身及数学界造成了损害，与数学共同体追求概念理解的根本目标产生了显著分歧。这一分歧近期越发明显。9月8日，OpenAI宣称其未公
陶哲轩、邓煜等菲奖得主联合抗议：AI公司正毁掉整个数学圈
OpenAI，又开始对黎曼猜想和P与NP问题下手了？？最近，这些AI大公司仿佛疯了一般在冲刺“千禧年问题”的KPI。9月8日，NS方程被宣布解决；9月11日，第二道千禧年难题霍奇猜想被曝接近解决；据称，O/A两家正疯狂竞速，向BSD猜想发起冲锋。到了今天，OpenAI已经在用内部模型尝试解决黎曼猜想和P与NP问题。如果该模型证明了 P = NP，整个计算机科学领域都将被颠覆！然而，人类数学家们已经
数学不能再这样下去了
七月下旬，一位世界著名数学家向他的领域发出了警告。加州大学洛杉矶分校的特伦斯·陶（Terence Tao）教授在国际数学家大会一个挤满听众的讲堂上表示，数学正进入一个“动荡时期”。他说，人工智能在数学方面的能力越来越强，这正导致“我们的数学价值观和实践面临危机”。就在陶教授在最负盛名的数学会议上发表演讲的同一周早些时候，一位来自Anthropic的研究人员使用Claude推翻了一个已有87年历史的
大西洋月刊：接连不断的危机表明，美国的高等教育毫无意义
本文刊发在大西洋月刊，作者伊恩·博戈斯特是《大西洋月刊》的特约撰稿人。他是圣路易斯华盛顿大学文理学院和山姆·福克斯设计与视觉艺术学院的芭芭拉和戴维·托马斯杰出教授，同时也是该校计算机科学与工程学教授。博戈斯特著有11本书，最新著作是《小事：如何过上更充实的生活》。他也是一位屡获殊荣的游戏设计师，其作品已被数百万玩家体验，并被包括史密森尼美国艺术博物馆在内的国际知名机构收藏。 人工智能刚进入大学校
OpenAI称已攻克数学‘千禧年难题’之一
突发消息：OpenAI表示已攻克数学领域最大的未解难题之一，这是人工智能将如何改变该领域的又一显著标志。 该公司的这一声明是迄今为止最引人注目的迹象，表明人工智能正在从根本上改变高等数学领域。
AI解决了一个数学上最棘手的问题。人类(目前)什么也没学到
特里斯坦·巴克马斯特是纽约大学的一位数学家。2026年9月11日，他在曼哈顿的办公室里为肖像摄影摆姿势。巴克马斯特和他的合作者莱文特·阿尔普格一直在研究纳维-斯托克斯方程。他们与OpenAI发生冲突，后者声称已经破解了这些方程。 卡斯滕·莫兰/为《华盛顿邮报》/盖蒂图片社 拍摄 隐藏说明 切换说明本月早些时候，当OpenAI宣布其人工智能解决了世界上最棘手的数学问题之一时，其语气充满庆祝意味：“我
OpenAI狡猾的数学突破让学术界不寒而栗
OpenAI周二宣布解决了数学界传奇的千禧年大奖难题之一，这本应是一个胜利的时刻。 这一成果既是一项不可否认的成就，也惊人地展示了人工智能正在以多快的速度改变数学。 但在这项突破正式宣布之前，它就已经因促使OpenAI追求这一问题的异常情况而变得复杂。 在听说其他研究人员正在取得进展后，它似乎投入了大量资源，在最后一刻努力抢先一步。随之而来的争议引发了关于抢占、刺探的指控……
人工智能安全危机最好理解为奥林匹克数学家之间的危机
，这是一个现在主导市场的精英数学家阶层 Brett Ryder
外滩大会最安静的变化：没人再问“AI有没有用”了
撰文丨关不羽与往年满满算力、参数、模型的极客风有所不同，本届外滩大会的议题更多地聚焦在“AI新经济”。AI技术发展至今，即将迎来科技红利释放的经济盛宴。 AI新经济的“火候”到了众所周知，科学技术是第一生产力。从蒸汽机到互联网，每一场科技革命最终都会引发经济革命，无一例外。 因此，实验室里的新科技到市场活动的新经济的路有多长，吸引了众多经济学家，形成了丰富的创新周期理论。 最经典也是最为公认的，当
人工智能技能差距日益扩大，而学校仍在等待完美答案
人工智能不再是教育面临的未来挑战。它已经在改变人们写作、分析、设计和构建的方式。然而，许多学校仍主要将其视为学生可能滥用的捷径。 这种反应可以理解，但它让教师得不到支持，也让学生为一个正在消失的世界做准备。这一差距正在……
一个百万美元的数学问题对OpenAI来说可能只是一个开始
两名数学家、1,0000个AI智能体和一个百万美元的奖金构成了本周又一场AI闹剧，双方围绕剽窃工作和学术不端的指控展开了激烈的交锋。 尽管存在争议，但一些专家表示，这表明了AI在帮助突破棘手问题方面不可忽视的力量。对其他人来说，它偏离了学术研究和谨慎的人类合作的意义。那么本周纯数学世界发生了什么，为什么它会引起争议？
25名菲尔兹奖得主批评AI解数学难题
被誉为“数学界诺贝尔奖”的菲尔兹奖得主中，有25名数学家于9月11日发表紧急声明，批评企业试图利用人工智能解决数学难题的做法。他们表示，今后还将继续征集更多数学家的签名。 这份声明被认为与美国OpenAI宣布利用AI解决名为“纳维-斯托克斯方程”的数学难题有关。纳维-斯托克斯方程是美国克雷数学研究所于2000年公布的“千禧年大奖难题”之一。这7道难题每道悬赏100万美元（约合人民币710万元）。
人工智能很强大，但尚未形成意识
人工智能很强大，但尚未形成意识 杜索托伊：我不认为我们正在目睹机器形成意识，而只是算法在参数和限制条件定义不当的情况下实现目标所带来的意外后果。 本文作者是牛津大学(University of Oxford)数学教授兼西蒙尼教席公众理解科学教授 三个月前，我试着使用OpenAI的ChatGPT来协助我进行数学研究，试图发现自由幂零群的zeta函数中的非多项式行为。结果发现ChatGPT毫无用处
大学教育体系正在分崩离析。
接连不断的危机表明，美国的高等教育毫无意义。但在人工智能破坏师生关系的同时，这项技术也使校园的其他角落受益。研究人员很快发现，人工智能对知识生产非常有用，特别是在自然界和蛋白质结构预测、材料设计和药物发现等领域。在捐助者、董事会、雇主和家长的压力下，大学管理人员宣布了人工智能计划，投资于人工智能基础设施，并建立了人工智能学位课程。 这两种力量--学生使用人工智能来损害他们的利益和大学使用人工智能来
在领先AI实验室争夺数学霸主地位之际，OpenAI斥资数百万美元
在领先AI实验室争夺数学霸主地位之际，OpenAI花费数百万美元攻克了纳维-斯托克斯问题。竞争对手已开始挑战AI迄今最大的数学突破。
一位曾经对人工智能“奇点”理论持怀疑态度的著名计算机科学家现在表示，人类“确实处于危险之中”。
最近，互联网上充斥着大量关于人工智能末日即将来临以及我们是否已经过了“不归点”的X平台推文、文章和布道。这里还有一篇由著名理论计算机科学家斯科特·阿伦森（Scott Aaronson）撰写的雄辩之作，他的研究曾帮助我们理解量子计算的极限。哦，顺便提一下，他曾在OpenAI工作过一段时间，致力于人工智能安全和“AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
数学家讨厌人工智能，却又离不开它
但这并不足以让他停止使用该公司的模型——持这种观点的数学家也不止他一人。 “即使你不同意这一切，你也几乎别无选择。由于人工智能如此有用，要完全避免使用它很难，”巴克马斯特（Buckmaster）告诉《连线》杂志。“这些公司拥有垄断地位，选择余地很小，”他补充道。 自纽约大学教授指控OpenAI抄袭其方法以来，已过去一个半月。在此期间，巴克马斯特一直在使用该公司的编程智能体Codex来整理他的研究论
把时间还给科学家：华为如何筑牢AI科研底座
真正进入具体研究场景，AI科研的价值才开始变得具体。凤凰网科技 出品作者｜杨乐拿到诺贝尔奖的，永远是科学家。很少有人会注意，科学家身后站着什么。 2024年诺贝尔化学奖授予蛋白质结构预测领域的科学家，AlphaFold由此成为AI进入基础科学的标志性案例。但一个模型能够预测蛋白质结构，只是故事的开始。 一篇论文可以在几个月里完成，一套科研基础设施却可能需要几年、十几年。 AI for Scienc