炸裂！谷歌I/O大会王者归来：Gemini“世界模型” 初现，搜索“换脑”，一句话制作原声电影

谷歌I/O 2025大会发布大量技术，虽Gemini 2.5 Ultra未到，但Pro有革新。还推出新模型、代理工具，多模态能力提升，搜索重塑，加入AI眼镜开发，倾尽全力发展AI生态。

Grok 4意外提前曝光，xAI巨额融资700亿，马斯克宣布“重写人类知识库”

xAI的Grok 4提前泄露，团队跳过Grok 3.5直接推出。它被定位为旗舰模型，有强大性能。马斯克欲用其重写人类知识库，但引发争议。xAI融资100亿，建超算中心面临电力问题。

Claude Opus 4.1被曝即将发布！Anthropic靠两大客户API收入超OpenAI

Claude Opus 4.1被曝正在内部测试，或重点提高推理和规划能力。Anthropic过去7个月ARR涨至50亿美元，API收入超OpenAI。但它收入依赖AI编程，面临GPT - 5、Grok等竞争。

这个新生图模型有点夯：4K直出的，国产的，开源的！

商汤新开源的生图模型SenseNova U1.5-Lite-Preview亮点十足，它是国产、4K直出、轻量且可指哪儿改哪儿的原生统一多模态模型。能应对复杂创作和编辑任务，技术源于NEO-Unify架构，评测成绩佳，不过还是早期预览版。

2025年4月17日消息，OpenAI 连发o3和o4 mini，o3为强大推理模型，o4-mini专为高效推理优化。它们能调用ChatGPT工具，可基于图像思考。OpenAI还开源本地代码智能体Codex CLI，兼容所有模型。

十分钟出结果，陶哲轩用Gemini Deepthink帮人类数学家完成Erdős问题论证

Erdős问题网站专注数学研究与解答，收录厄尔德什提出的各类数学问题。11月20日，Wouter van Doorn提出反例，陶哲轩提交给Gemini 2.5 Deep Think，十分钟得到证明，他半小时转为基础证明。之后Boris Alexeev用Harmonic的Aristotle工具完成形式化。

养虾人狂吃国产模型！4.19万亿Token调用量激增34.9%超越美国

根据OpenRouter数据，上周中国大模型周调用总量飙升至4.19万亿Token，再度超越美国登顶全球。中国产品在全球大模型调用量Top 5中占三席，国产大模型受青睐，但在速度和价格方面仍待提升。

中国首次提出半导体演进新原则：华为“韬定律”5 年内冲刺等效1.4nm制程，麒麟、昇腾将先后落地量产

5月25日，华为何庭波在研讨会上提出“韬定律”，以“时间缩微”替代“几何缩微”。论文展示验证案例，预计2031年高端芯片达1.4nm等效水平，今年秋季麒麟新芯片将首发“逻辑折叠”技术。

中国首次提出半导体演进新原则：华为“韬定律”5 年内冲刺等效1.4nm制程，麒麟、昇腾将先后落地量产

5月25日，华为何庭波在ISCAS 2026上提出“韬定律”，以“时间缩微”替代“几何缩微”。论文展示验证案例，预计2031年高端芯片晶体管密度达1.4nm等效水平，今年秋季麒麟新芯片将首发“逻辑折叠”技术。

ICRA 2026｜NUS邵林团队提出T(R,O) Grasp：刷新跨智能体灵巧抓取SOTA，实现5FPS动态环境交互

新加坡国立大学邵林团队提出T (R,O) Grasp，这是基于物体—机器手空间关系建模的图扩散架构，有跨智能体统一表征能力，在多种智能体上平均抓取成功率达94.83%，刷新跨智能体灵巧抓取SOTA。