今天科技界十大热点事件1️⃣ OpenAI一口气甩出722份AI生成数学手稿（372个结果族），陶哲轩牵头"人类数学协会"公开抵制，批评这是"flooding the zone"——用算力淹没学术验证。结果部分手稿因为符号写错被撤回，Lean形式化和自然语言证明对不上，争议炸了锅。

2️⃣ Anthropic正式推出Cyber Mission，拉上Accenture、CrowdStrike、Palo Alto等11家伙伴，免费给开源项目做安全扫描，重点护关键基础设施。明显是跟OpenAI 9月那10亿美金网络防御计划对着干。

3️⃣ TypeSafe AI带着决策模型Jev完成约8.7亿美元融资，a16z领投，估值直接干到75亿美元。这个Jev不走生成式路线，不输出文本，而是返回概率和选择，数周内就被约1/3的财富500强采用。

4️⃣ 国产AI智能体Manus（蝴蝶效应）完成超5亿美元新一轮融资，博裕、IDG领投，腾讯等老股东跟投。值得一提的是，之前Meta约20亿美元收购它，被北京监管叫停了。

5️⃣ OpenAI向投资者披露年化收入接近500亿美元（FT报道），低于市场之前传的约700亿，估值和增长预期又引发一轮讨论。

6️⃣ Google Cloud发布Gemini Agent通用工作智能体，能规划执行任务、跨Gmail和Drive等应用操作，甚至还能把活路由给Claude去干。大厂Agent入口战越来越卷。

7️⃣ Google把图像生成模型Nano Banana系列价格砍了约一半，还设了迁移截止日期，同时猛推企业级智能体。性价比牌打得很直接。

8️⃣ AWS Bedrock AgentCore被Zenity曝出漏洞链：一个提示就能劫持同一账号/区域内所有代理。Agent安全问题开始摆上台面。

9️⃣ 数学界对AI"批量攻克"开放问题的反应分化：有Fields奖得主明确反对，质疑验证瓶颈和对教学科研的冲击；也有人喊这是"新纪元"。目前看乐观和警惕各占一半。

🔟 企业AI和物理AI也有进展：Ramp拿18.5亿美元融资、估值600亿（主打AI财务工作流）；Nvidia推物理AI/机器人安全方案；乌克兰无人机袭击了Yandex的AI数据中心；Anthropic Haiku系列也降价了。