HOT
菲尔兹奖得主亲测ChatGPT 5.5 Pro：17分钟独立攻克论文级数学难题
菲尔兹奖得主Timothy Gowers用ChatGPT 5.5 Pro测试加法数论公开难题，AI仅用17分钟给出理论上最优的二次上界构造，独立完成了"完全够格写进博士论文"的数学成果。整个过程Gowers未提供任何数学层面的指导，仅扮演"项目经理"角色。另一位菲尔兹奖得主陶哲轩同日提出"证明消化"概念，认为AI能生成和验证证明，但真正理解证明的人类价值不可替代。
NEW
OpenAI提出强化学习新范式：不更新参数，AI手搓.py文件即可完成决策
OpenAI研究员翁家翌提出一种全新的强化学习范式，无需更新模型参数即可实现强化学习。该方法让AI通过生成和执行Python代码来完成决策任务，打破了传统RL需要梯度更新的框架限制，为AI决策提供了更灵活的新思路。
MODEL
阶跃最新语音模型位列Artificial Analysis评测榜中国第一
阶跃星辰（StepFun）最新发布的语音模型在国际权威评测平台Artificial Analysis的语音模型排行榜中位列中国第一，展示了国产语音大模型在国际评测中的竞争力持续提升。
HOT
OpenAI砸200亿美元买单，英伟达挑战者Cerebras冲刺350亿美元估值IPO
AI芯片公司Cerebras将IPO发行价上调至150-160美元，估值直奔350亿美元，超额认购达20倍。OpenAI与其签下750兆瓦算力采购协议（潜在价值超200亿美元），并提供10亿美元运营贷款。Cerebras凭借晶圆级引擎WSE-3（面积是英伟达B200的58倍）主攻推理赛道，在Hugging Face推理排行榜长期位列第一。若成功上市，这将是2026年迄今全球最大IPO。
INDUSTRY
千问重构淘宝，阿里"推翻"阿里
阿里巴巴宣布用通义千问大模型对淘宝进行全面重构，从搜索推荐、客服到商品展示等核心环节均接入AI能力。这被视为阿里内部"自我革命"的重要举措，千问正深度融入阿里电商生态的各个环节。
INDUSTRY
像素绽放PixelBloom完成C轮融资：做AI视觉表达平台与AI办公Agent
AI视觉表达平台像素绽放（PixelBloom）宣布完成C轮融资，公司定位从AI PPT工具拓展为全球AI视觉表达平台，同时推出能直接"交方案"的AI办公Agent，提出"办公软件的终局是交方案"的产品理念。
HOT
浙大校友用AI突破32年拉姆齐数下界：R(3,17)从92提升至93
浙江大学校友团队利用AI方法成功突破了困扰数学界32年的拉姆齐数R(3,17)下界，将其从92提升至93。拉姆齐数是组合数学中的经典难题，这一突破展示了AI在纯数学领域的强大发现能力。
RESEARCH
具身大模型R1时刻：LIBERO终结者，99.9%背后的物理推理新范式
至简动力发布具身大模型LaST-R1，在LIBERO基准测试中达到99.9%的成功率。该模型真正学会了在隐空间里进行"物理思考"，提出了物理推理的新范式，标志着具身智能领域的重要突破。
RESEARCH
浙大推出AI"导演"角色扮演框架：四通道消息实现沉浸式交互
浙江大学发布新型AI角色扮演框架，创新性地引入四通道消息机制实现沉浸式交互体验。该框架让AI能够充当"导演"角色，引导和编排多角色互动场景，连福尔摩斯探案等复杂剧情都能演绎，为AI Agent的交互设计提供了新方向。
NEW
千问AI眼镜发布：行业首创空间3D显示，支持主动提醒和叫车
阿里千问推出全新AI智能眼镜，搭载行业首创的空间3D显示技术，并支持主动提醒、帮忙叫车等实用AI功能。该产品将大模型能力与可穿戴设备深度融合，展示了AI在消费级硬件场景的落地新可能。
APP
美图RoboNeo全新升级：首创影像创作Agent Teams
美图旗下AI创作工具RoboNeo发布重大升级，首创"影像创作Agent Teams"概念，打造"赛博乙方天团"。多个AI Agent协同完成影像创作全流程，从策划到执行形成完整的AI创作工作流。
APP
高德ABot体系模型夺冠AGIBot全球挑战赛
高德地图的ABot体系模型在AGIBot全球挑战赛中以0.829的总成绩荣登榜首，展示了空间智能的"具身化"跃迁。该成果标志着AI在城市空间理解和导航规划领域达到新的高度。
POLICY
两项AI政策发布，范式智能战略布局与产业方向高度契合
国内两项AI相关政策正式发布，围绕电力交易、能源调度、智能预测与决策等场景探索AI应用落地。范式智能表示其战略布局与政策方向高度契合，将进一步推进AI在能源等关键领域的安全应用。
POLICY
硅谷刷屏的AI护城河新论：代码能抄，产品能抄，组织形态谁都抄不走
Foundation Capital合伙人Jaya Gupta发文《AI时代最宽的护城河》，提出在产品、技术、赛道快速收敛的AI时代，公司组织形态才是真正的护城河。文章在X平台获得320万阅读量，引发硅谷广泛讨论。核心观点包括：顶尖人才忠诚靠的不是钱而是成长路径、情绪承诺必须有结构承诺支撑、最危险的承诺都以时间计价等。
POLICY
黄仁勋CMU毕业演讲：AI不会取代你，但善用AI的人会
英伟达CEO黄仁勋在卡内基梅隆大学毕业典礼发表演讲，被授予第7个荣誉博士学位。他告诫毕业生："AI不会取代你，但善用AI的人会"。同时呼吁以开放、负责任的态度拥抱AI技术，强调"因恐惧而拒绝技术的社会并不能阻止进步，只是失去了参与塑造未来的机会"。演讲中他还回顾了英伟达创业至暗时刻——飞日本求世嘉CEO救命才让公司活下来。
今天的AI新闻有一个非常清晰的信号：AI正在从"能用"快速走向"好用"，并且开始深入到人类引以为傲的"智力独占区"。
菲尔兹奖得主Gowers被ChatGPT 5.5 Pro"震撼"这件事，比任何benchmark刷榜都更有说服力。当AI能在17分钟内给出论文级数学成果，而且整个过程人类只充当"项目经理"——这不是渐进式进步，这是范式转换。陶哲轩提出的"证明消化"概念非常精准：AI能生成和验证证明，但真正理解它为什么对、揭示了什么深层结构，这仍然是人类的不可替代之处。
Cerebras的IPO故事则从另一个角度印证了行业变化。当OpenAI砸200亿美元买单、估值冲350亿时，市场真正在押注的不是"英伟达替代者"这个叙事，而是AI推理时代独立于GPU的新基础设施需求。晶圆级芯片在推理场景的优势（消除内存墙）正在被头部客户用真金白银验证。
更值得关注的可能是Jaya Gupta那篇刷屏文章的核心洞察。当所有AI产品、赛道、技术都在以月为单位收敛时，"组织形态"成为最后的护城河——这其实揭示了AI行业正在从技术驱动转向组织驱动的新阶段。OpenAI、Anthropic这些公司的真正壁垒，不是GPT-5或Claude 4的技术参数，而是它们围绕前沿模型安全部署所构建的组织形态。
黄仁勋说"AI不会取代你，但善用AI的人会"，这句话虽然已是"正确的废话"，但放在2026年5月这个时间节点，它的紧迫性前所未有。因为今天，连数学博士生都开始感受到这种紧迫了。