AI周报：谷歌破解56年数学谜题 企业豪掷AI投资

谷歌DeepMind的AlphaProof Nexus解开了两个悬置56年的数学难题，AI做数学连续两周爆大新闻；一家卖味精的上市公司要投3亿给阶跃星辰；Uber四个月烧完全年AI预算，高管坦言"算不清这笔账"。12条消息，5分钟看完。

事件：谷歌DeepMind发布AlphaProof Nexus，结合大语言模型和Lean形式化验证系统，在353个Erdős问题中自主解决9个，其中2个悬置了56年。

意味着什么：上周OpenAI刚推翻80年数学猜想，这周谷歌就甩出AlphaProof Nexus。两家在AI数学能力上隔空较劲，路线完全不同：OpenAI靠推理模型暴力推导，谷歌把LLM和形式化验证结合——后者更严谨，证明过程可以被数学界直接检验。连续两周有重大突破，这个方向在明显加速。数学家的"AI同事"不是段子了，是进行时。

一句话：上周OpenAI推翻80年猜想，这周谷歌解开56年难题——数学家：我的对手不是隔壁实验室了，是两家万亿美元公司。