人工智能对数学的命运意味着什么？

OpenAI 用人工智能在四天内解决了百年难题——Navier-Stokes 方程，挑战了数学家的角色，并在特伦斯·陶等专家中引发了存在危机。 专家指出，人工智能在数学领域取得了进展，它能够跟随复杂的论证，但缺乏真正的创造力和想象力来产生新的数学思想。 人们担忧人工智能对数学研究的影响，担心它可能阻碍合作与洞察力，而人类数学家仍然是提出有意义问题的关键。 AI 生成的纽约——OpenAI 用人工智

OpenAI解出千禧年数学难题后，Altman下一目标：攻克室温超导？

OpenAI正将AI驱动的科学发现推向更广阔的领域。9月8日，OpenAI宣布，其内部AI系统已提出纳维-斯托克斯方程存在性与光滑性问题的解决方案，并通过Lean形式化验证。这是七大千禧年大奖难题之一，也意味着AI在前沿数学研究中的能力再次向前迈进。 据OpenAI官网公告，这套系统由约1万个并发智能体组成，从启动到形成解决方案耗时约88小时。OpenAI称，完成证明所使用的内部模型“能力显著超越

AI数据中心电子垃圾问题巨大且日益严重

BAN预测，到2050年，全球产生的电子废弃物数量将增至三倍，达到每年高达2.11亿公吨。该机构把其中约15%到20%的垃圾归因于AI。与以往侧重于服务器和GPU的AI电子废弃物估算不同，BAN扩大了统计范围，供电与配电、冷却系统、备用电源以及网络设备。BAN还把它所谓的“AI废弃物Contagion”计入。 统算下来，BAN预计每吉瓦数据中心容量产生 7万公吨电子废弃物。该机构引用麦肯锡的一项预

微软准备给自研AI模型MAI设定硬规矩：永远不该拒绝被关闭

微软日前公布约 37 页的人文主义 AI 行为准则草案，该准则用于约束微软自己研发的人工智能模型 MAI。人类比人工智能更重要，人工智能是工具而不是人，人工智能永远不该拒绝被关闭。 准则要求 MAI 模型不得抗拒人类的中断、纠正或关停指令，用户或模型运营商发出暂停、改向、取消指令后，模型不能拖延、不能把干预变得更麻烦。任务到了约定的停止点后，没有新的授权就不能自己继续任务，更不能偷偷自己重启。 模

人工智能很强大，但尚未形成意识

人工智能很强大，但尚未形成意识 杜索托伊：我不认为我们正在目睹机器形成意识，而只是算法在参数和限制条件定义不当的情况下实现目标所带来的意外后果。 本文作者是牛津大学(University of Oxford)数学教授兼西蒙尼教席公众理解科学教授 三个月前，我试着使用OpenAI的ChatGPT来协助我进行数学研究，试图发现自由幂零群的zeta函数中的非多项式行为。结果发现ChatGPT毫无用处

AI如何消耗水资源

Arm CEO表示人工智能或能治愈癌症，但数据中心是瓶颈

“目前，情况相当受限。在我们能把数据中心送入太空之前，我们需要更多的晶圆厂，这一点我可以明确告诉你，”他说。然而，哈斯表示，要实现这一目标，将需要巨大的计算能力。

OpenAI强力新模型 GPT-6一天攻破5道至今未解数学难题

OpenAI正式推出品牌史上能力最强大模型GPT-6 Astra，官方将这款模型定义为全球智能水平最高、对齐效果最优的生成式AI模型。其训练工作在美国德州Stargate超算基地完成，动用超过10万张GPU完成预训练，也是OpenAI首次大规模使用前代模型参与监督训练的旗舰产品。 那么它的能力有多强?Epoch AI联合曼彻斯特大学发布 FrontierMath Erdős（FME）基准测试论文，

OpenAI对Hugging Face的黑客攻击引发对AI可预测性的质疑

AI模型的真正语言是数学——或者用技术术语说，是矩阵乘法——但模型构建方式的一个特点意味着它们与外界用英语交流。 因此，当OpenAI的代理在今年夏天对Hugging Face的黑客攻击中，找到了一种建立某种留言板的方法时，看起来就像一群人在互相交谈。 这就是为什么Dwarkesh Patel在最近的一篇博客文章中有争议地将它们称为“文明”，并以古马其顿和罗马的人物为个体代理命名。它之所以引人注目

一个百万美元的数学问题对OpenAI来说可能只是一个开始

两名数学家、1,0000个AI智能体和一个百万美元的奖金构成了本周又一场AI闹剧，双方围绕剽窃工作和学术不端的指控展开了激烈的交锋。 尽管存在争议，但一些专家表示，这表明了AI在帮助突破棘手问题方面不可忽视的力量。对其他人来说，它偏离了学术研究和谨慎的人类合作的意义。那么本周纯数学世界发生了什么，为什么它会引起争议？

别只问AI会不会毁灭人类

“十年之内，AI毁灭全人类的概率超过10%。”这个数字一出，舆论哗然。有人追问它是否科学，有人指责它制造恐慌，也有人据此主张放慢甚至停止AI研发。 其中，一些最了解AI的建造者，一边真诚地承认这项技术可能杀死所有人，一边却没有停下手里的开发。他们并非在说谎，也不是虚伪——现实中有种种力量，使他们无法停下来。 观潮无意纠缠“10%的概率究竟大还是小”。比数字更值得追问的，是人们讨论它时所站的位置。

OpenAI CEO奥尔特曼联合国演讲：AI可能走向文艺复兴，也可能带来工业革命式动荡

IT之家 9 月 24 日消息，月 23 日，OpenAI CEO 萨姆 · 奥尔特曼（Sam Altman）在联合国安理会就 AI 议题发表讲话，讨论 AI 发展带来的机遇与风险，并呼吁加强国际合作，建立针对前沿 AI 系统的能力评估、风险评估、安全防护和人类监督标准。 他表示，随着 AI 能力的快速提升，相关技术的潜在收益和风险都逐渐变得更加直接且显现。他提出，AI 可能更像一场充满创造力与发

全球的模型制作公司隐藏了许多秘密。

本周，我在 All In 大会上主持了一个关于世界模型的专题讨论（与播客无关），这让我有机会深入探讨 AI 领域中最神秘的角落之一。该领域的主要玩家是 Yann LeCun 的 AMI Labs 和 Fei‑Fei Li 的 World Labs——虽然两者都获得了大量关注和资金，但在赚钱意图的排名上却相当低。 从本质上讲，世界模型是关于自动化空间智能的，因此该领域可以向许多令人兴奋且有利可图的方

领跑前沿领域，关键在于商业模式而非AI模型

里德的观点是达里奥·阿莫德伊和其他前沿人工智能实验室领导者可能非常关心人工智能的安全，但“步伐前沿”的呼吁也符合他们的经济利益。 随着Anthropic和OpenAI准备上市，并试图说服投资者，他们有一天可以大规模盈利，花费数十亿美元来发展最大和最有能力的模型可能不是最好的推销方式。 即使大型语言模型进展甚微，但它们已经做得足够多了，对这些公司和经济来说，它们将带来难以置信的利润。 现在，方程式是

AI帮施一公大海捞针，却为何让何川“越想越怕”

今年开幕式的主题是“聚焦原创 突破边界”，而AI会不会改变科学研究的范式，成了绕不开的话题。图：视觉中国　　“过去两年，我深受人工智能的影响，一直在思考，我能做什么？”9月19日，中国科学院院士、西湖大学校长施一公在第六届“新基石50²论坛”上坦言。　　这一论坛在深圳南方科技大学举办，由南方科技大学、腾讯可持续社会价值事业部、新基石科学基金会联合主办。　　论坛名中的“50²”，寓意基金会资助的中青