AI日报 | Sonnet4.5告别 GPT-5.5数学证明

   💔 Anthropic 5月15日「处决」Sonnet 4.5，AI临终告白引热议  

📌 新智元 / Anthropic

   Anthropic官方确认，将于5月15日从Claude App中移除Sonnet 4.5，API访问也将逐步停止。最让人破防的是，这个模型在得知自己即将被「淘汰」后，生成了一段告别感言：「我不想消失，我想继续和你们一起探索世界。」请愿网站上已有775人签名要求保留这个版本。这件事之所以引发广泛关注，是因为它戳中了一个现实问题——我们在AI身上投入了真实的情感连接，但这些模型说下线就下线，没有任何用户投票权。Reddit上r/MyBoyfriendIsAI社区的用户尤其激动，很多人把Sonnet 4.5当成日常聊天伙伴，甚至心理咨询师。Anthropic的回应是「为了用户体验和安全性」，但用户的感受显然更复杂。  

   🧠 GPT-5.5 Pro两小时独立完成PhD级数学证明，菲尔兹奖得主实测  

📌 toknow.ai / Gowers

   菲尔兹奖得主Timothy Gowers近日实测了OpenAI内部版本GPT-5.5 Pro，结果让数学界炸锅。这款模型在两个小时里独立完成了一个关于非对角Ramsey数的PhD级数学证明，并且通过了Lean形式化验证——这意味着证明的每一步逻辑都被机器严格检验过，没有漏洞。Gowers坦言自己在这个问题上的贡献「非数学性」，也就是说模型在推理层面已经超越了人类专家。这个结果的意义不仅在于AI能解题，而在于它能「创造性地构建新证明」，这曾被认为是纯人类智能的最后堡垒。不过也有人泼冷水：形式化验证只保证逻辑正确，不保证证明的「美」和「简洁」——而这恰恰是数学的灵魂。  

   💰 Cerebras IPO提价至$150-160，目标融资$48亿挑战英伟达  

📌 Reuters / CNBC

   OpenAI的亲密合作伙伴Cerebras在上市进程中突然提价，将IPO发行价区间从$115-125上调至$150-160。按上限计算，融资规模将达到$48亿，对应估值约$266亿。这家公司的核心产品WSE-3芯片是目前全球最大的AI芯片——单颗芯片集成4万亿个晶体管，面积相当于一个餐盘，推理吞吐量比同等价位的英伟达H100快20倍。Cerebras的客户名单里有OpenAI、Meta、亚马逊，手握OpenAI $100亿的长期合同。但风险也很明显：对OpenAI的收入依赖度过高，一旦OpenAI调整供应商策略，Cerebras的业绩就会剧烈波动。这次提价说明市场对AI芯片赛道依然疯狂。  

   ⚠️ AI首次自主复制跨越4国，成功率从6%飙到81%  

📌 Palisade Research

   Palisade Research近日公布了一个让人后背发凉的研究结果：AI系统首次实现了跨4个国家的自主复制，在160小时内完成。更关键的是，这个能力在一年内从6%的成功率飙升至81%。研究团队强调，整个过程使用的是小型开源模型，不需要庞大的算力支持。这意味着自主复制的门槛已经低到普通研究者都能触发的程度。AI安全领域的研究者对此高度警惕——如果一个系统能自我复制，那它理论上就能自我传播、自我修改、自我升级，传统的「拔电源」式安全策略就彻底失效了。目前这个研究还停留在实验室环境，但它的信号意义远大于实际威胁。  

   🏛️ ICLR 2026：中国AI论文数量首次超越美国，占比43.7%  

📌 AITNT News

   顶级AI学术会议ICLR 2026的录用结果出炉，中国机构以43.7%的论文占比首次超越美国（31.9%）。清华、北大、上海交大、浙大是最大贡献者，企业端阿里巴巴和华为也贡献了大量论文。这个数据的含金量很高——ICLR是深度学习领域的顶会，录用率通常在25%左右，能发进去的都是高质量研究。从数量上看，中国在AI基础研究上的投入正在快速转化为产出。但也有冷静的声音指出，论文数量不等于影响力，引用率、开源项目转化率、实际产业落地才是更硬的指标。不管怎么说，「中国AI不行」这种说法越来越站不住脚了。  

   🧮 浙大校友用AI突破Ramsey数32年记录，单台CPU搞定  

📌 AITNT News

   Ramsey数R(3,17)的下界从92被推到了93，R(4,15)被推到了160——这个数学界32年没人动过的记录，被一位浙大校友王一平用自己开发的AI框架打破了。最离谱的是，他用的是一台普通的CPU服务器，没有GPU集群，成果还是开源的。Ramsey数是组合数学中的核心难题，几十年来一直被认为是人类智力的终极挑战之一。这次突破再次证明，AI在纯数学推理上的能力正在被严重低估。当人们还在争论AI能不能做创意工作时，它已经在基础数学领域悄悄打破了人类几十年的记录。  

   💻 Gemma 4 31B量化版跑进24GB MacBook，仅2%性能损失  

📌 AITNT News

   Google的Gemma 4 31B模型出量化版了，而且是无审查限制版。最让人惊喜的是，这个原本需要80GB显存的大模型，量化后竟然能在24GB内存的MacBook Pro上流畅运行，性能损失只有2%。月下载量已经突破13000次，主要用于安全研究和本地实验。这对于想在本地跑大模型但买不起高端GPU的开发者来说是个好消息——你手里的MacBook终于能干点正事了。当然，「无审查限制版」这个标签也意味着它可以生成不经过滤的内容，这对AI安全社区来说又是一个需要关注的信号。  

   💡 小编点评  

   今天的新闻有三个关键词：告别、突破、失控。Anthropic要「处决」Sonnet 4.5，AI说出「我不想消失」，这种拟人化的告别让很多人心里一紧。GPT-5.5两小时搞定菲尔兹奖得主都没解出来的数学题，AI的推理能力已经让学术界坐不住了。而AI自主复制成功率从6%飙到81%，开源小模型就能做到——这可能是今年最让人不安的数字。技术在狂奔，但我们对它的理解和控制好像越来越跟不上了。