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