25名菲尔兹奖得主批评AI解数学难题

被誉为“数学界诺贝尔奖”的菲尔兹奖得主中，有25名数学家于9月11日发表紧急声明，批评企业试图利用人工智能解决数学难题的做法。他们表示，今后还将继续征集更多数学家的签名。 这份声明被认为与美国OpenAI宣布利用AI解决名为“纳维-斯托克斯方程”的数学难题有关。纳维-斯托克斯方程是美国克雷数学研究所于2000年公布的“千禧年大奖难题”之一。这7道难题每道悬赏100万美元（约合人民币710万元）。

OpenAI称AI模型解决了数学“千禧年大奖难题”之一

未发布的模型耗时88小时，动用了多达10,000个AI智能体来解决纳维-斯托克斯问题。

Vals AI评测GPT-6 Astra：AI遇重大变故可能陷入行为僵局

IT之家 9 月 21 日消息，AI 评测机构 Vals AI 利用游戏《我的世界》对 OpenAI 最新大模型 GPT‑6 Astra 开展长时自主游戏测试，全程在 Twitch 直播，总测试时长达到 141 小时。 Vals AI 的这项测试并非由 OpenAI 官方设计，而是由第三方独立开展的评估项目，因此可以观察 Astra 在封闭测试环境之外的实际表现。 在测试过程中，GPT‑6 Ast

当人工智能解出“千禧年难题”，人类还需要亲自做数学吗？

【编者案】什么是信息，什么是知识？在 AI 时代，两者有怎样的差别，又有哪些知识是仍然值得拥有的？人工智能发展正对许多学科带来冲击，尤其是在信息丰富，但需投入海量计算资源的领域，例如预测新的蛋白质 3D 结构，解决数学问题，描绘生物演化关系等。前所未有的效率工具让学科进步提速，但变化日新月异，想要辨明当下的发展方向也变得更加困难。端传媒推出“未来怎么学”系列，关心 AI 时代的学习问题，大到“还要

OpenAI未发布内部AI模型据称攻克纳维-斯托克斯方程难题

OpenAI未发布内部AI模型据称攻克纳维–斯托克斯方程难题，相关结果已由机器验证。报道还称，该公司动用了约1万个并发自主代理完成推理与形式化验证，但这项成果目前仍未被克雷数学研究所正式认定为千禧年大奖难题的已解答案。 公司称已用机器验证方式给出纳维–斯托克斯方程解法，但距离正式获奖仍有数学界审查程序要走。 OpenAI称，这一内部模型在数学与理论计算机科学方向的多项长期难题上都取得了突破；在先前

Opus 5.5跨级偷袭！直扑GPT-6

Codex Bot曝光！正面迎战小扎的Muse，比GPT-6还重磅？

今天，OpenAI 正式发布了 GPT-6 Sol 和 GPT-6 Luna。不过，人们似乎更加关心 OpenAI 何时推出它的个人 AI 智能体 Aeon （Codex Bot）。 最近两个月，个人 AI 智能体这个概念忽然从边缘话题变成了普通用户手机屏幕上的新图标。 Meta 在 9 月 8 日正式推出 Muse，据 Business Insider 的报道，Muse 从最初在美国应用商店排名

OpenAI首席科学家表示，任何实验室都不应继续以最大速度扩展规模

OpenAI周日发布了两篇帖子。一篇称，其研究人员每投入一天的工作，就能获得3.1天的机器算力。另一篇则称，没有人应该以这样的速度前进。 两篇帖子都发布在公司自家网站上，日期为9月6日，也就是GPT-6 Astra发布三天后。首席科学家希望[…]

陶哲轩、邓煜等菲奖得主联合抗议：AI公司正毁掉整个数学圈

OpenAI，又开始对黎曼猜想和P与NP问题下手了？？最近，这些AI大公司仿佛疯了一般在冲刺“千禧年问题”的KPI。9月8日，NS方程被宣布解决；9月11日，第二道千禧年难题霍奇猜想被曝接近解决；据称，O/A两家正疯狂竞速，向BSD猜想发起冲锋。到了今天，OpenAI已经在用内部模型尝试解决黎曼猜想和P与NP问题。如果该模型证明了 P = NP，整个计算机科学领域都将被颠覆！然而，人类数学家们已经

OpenAI高管：Astra需求太猛，新的Pro订阅或被迫暂停

GPT-6 Astra的发布正在引发一场算力与容量危机。Astra的用户需求已超出历史经验，公司可能不得不暂停新的Pro订阅。 Tibo在X平台发文称，“Astra的需求真的是前所未有。我们已经在拉动所有能拉的杠杆来维持服务，但直到现在，我从未见过任何类似的情况——而我们此前已经经历过非常陡峭的增长。”他表示，首要原则是确保现有用户的服务质量，但如果需求持续，“我们可能不得不暂时暂停新的Pro订阅

微软向法院表示Copilot很少复制书籍内容，同时销售OpenAI最强大的模型

微软于9月4日在纽约AI版权诉讼中提出即决判决动议，称Copilot在820万次对话中仅复制了24次书籍段落。 两天前，它开始通过Foundry销售GPT-6 Astra，这是OpenAI评定为对网络安全至关重要的模型，而欧洲法律既不衡量输出率也不衡量销售宣传。[…]

“不成熟的操场吹嘘”：数学家对 OpenAI 的最新战果感到不安

随着 OpenAI 的模型攻克了困扰专家数十年的千禧年大奖难题，许多人对变革的速度感到震惊。这让数学家们感到晕头转向。在人工智能不断推动该领域发展的多起案例之后，OpenAI 宣布其最新的 AI 模型攻克了一个千禧年大奖难题——一个悬赏 100 万美元、数十年里一直难倒人类大脑的谜题。 这一成就与数学问题的常规解决方式几乎没有相似之处。一家价值近万亿美元的私营公司向该问题部署了 10,000 个智

据《财富》报道，OpenAI将在数日内预览GPT-6 Cyber

据《财富》周四援引多位知情人士报道，OpenAI将在数日内预览一款专注于网络安全的AI模型GPT-6 Cyber，并推出一款旨在帮助客户更安全、更自动地部署该模型的新产品。

GPT-6 Astra杀疯了：只要你学得够慢，就可以不用学了？

最近两天，相信大家都被 GPT-6 Astra 的各种逆天玩法刷屏了 —— 一句话完成 3D 建模、从零制作完整游戏、几千个零件的东西说拆就拆，甚至还能拿来控制机器人…… 总之，强得没边。只要你学得慢，你就可以不用学。但是 GPT-6 Astra 确实给人一种感觉，它一出来，原来困扰很多领域的复杂性突然就有解决的苗头了。 这种趋势不容小觑，但模型现阶段的能力也不宜过度夸大。在这篇文章中，我们就来盘

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

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