2025 年 12 月，硅谷风险投资机构 Andreessen Horowitz（简称 a16z）与 AI 推理服务平台 OpenRouter 联合发布了一份名为《State of AI》的研究报告。这份报告基于 OpenRouter 平台上超过 100 万亿 token 的真实用户交互数据，试图呈现过去一年间大语言模型在实际应用中的真实状态。
确实也是轰动数学和AI两界了。因为就在最近，世界级顶尖数学家宣布辞职，前往硅谷，全职加入AI初创公司——这家公司，还是自己学生创办的——一个24岁00后华人女生。吸引他的这家公司，也不是等闲之辈，而是硅谷新贵——Axiom，一家主打AI数学的明星公司。
来自中国的初创团队词元无限给出了自己的答案。由清华姚班校友带队设计开发的编码智能体 InfCode，在 SWE-Bench Verified 和 Multi-SWE-bench-CPP 两项非常权威的 AI Coding 基准中双双登顶，力压一众编程智能体。
近日，AI 初创公司 Axiom 宣布其模型在没有人类干预的情况下，自动完成了两个数学猜想的证明——埃尔德什问题（Erdős Problem）中的 481 号和 124 号。据称，481 号问题仅用时 5 小时，代码量为 656 行；124 号问题则耗时超 24 小时。值得关注的是，这些证明均通过 Lean 验证，Lean 的特点是其形式化证明过程无需人工干预，为数学正确性提供了保障。
阿蒂从洛杉矶飞来，谈论他的初创公司上周发布的重磅消息。Klay 已与各大唱片公司——环球音乐集团、华纳音乐集团和索尼音乐—— 达成批准上市许可/注册协议 ，成为首家与这三巨头全部签约的人工智能初创企业。
Anthropic发布了Programmatic Tool Calling（PTC）特性，让Claude通过代码编排工具执行，降低token消耗、减少延迟并提升准确性。
全球首个可大规模落地的开源原生多模态架构（Native VLM），名曰NEO。要知道，此前主流的多模态大模型，例如我们熟悉的GPT-4V、Claude 3.5等，它们的底层逻辑本质上其实玩的就是拼接。
当地时间12月4日下午，谷歌研究员的一篇论文在现场引来了超多AI爱好者的围观。甚至，被业界专家视为“为AGI发展提供了新框架”，一位人士评价为：这篇论文将成为逐步推动实现AGI的5~10篇论文中的一篇。
太劲爆了！不过半月，谷歌DeepMind终于放出了IMO最强金牌模型——Gemini 3 Deep Think。今天，Gemini 3 Deep Think已在Gemini App上线，所有Ultra用户即可体验。
游戏进入下半场，阿彪说，他想让 Pollo AI 成为 AI 时代的剪映。
