仅隔一天，OpenAI同步上线o3和o4 mini，它们能调用ChatGPT里的多种工具，可基于图像思考。o3是强大推理模型，o4-mini专为快速经济推理优化。即日起部分会员可体验，还开源了Codex CLI。

陶哲轩最新演讲：数学正在进入“工业时代”

当地时间7月24日，菲尔兹奖得主陶哲轩在2026年国际数学家大会上发表演讲，指出AI参与数学研究，或使数学站在类似历史节点，研究方式和价值体系受挑战，还探讨了AI对数学研究各方面的影响及应对方向。

人形机器人设计正在向仿真器低头！40年机器人从业老兵发出警告

人形机器人行业现怪象，为让仿真系统和强化学习更顺，一些有机械优势的结构因‘仿真麻烦’被排除。40多年经验的Scott Walter质疑设计变得‘S.T.U.P.P.I.D.’，指出仿真应服务设计而非主宰。

独家｜「中科第五纪」完成数亿元A轮融资，率先开启海外商业落地

AI科技评论独家消息，具身智能企业「中科第五纪」近日完成数亿元A轮融资，年内已完成三轮。该公司还收获海外数亿订单。其提出超少样本具身操作大模型等核心技术，形成完整技术体系。

华为“养”出半个具身智能创业圈

中国具身智能赛道中，华为系创业者表现亮眼。如它石智航、智元机器人等具华为背景的创业公司发展良好。这波创业潮的出现，既受外部政策、资本等因素影响，也和华为内部人才成长、薪资体系等有关。

实战案例｜当本体遇上 Agent：让 AI 真正“听懂业务”并“按规矩办事”【上】

本文是“企业级本体应用”系列第三篇，探讨本体如何融入企业智能体系统。指出本体非数据库或图谱，是语义层。介绍本体在Agent系统的架构与职责，通过案例展示用本体做规则判断和多维归类，凸显其优势。

科研的回归：AutoSOTA如何终结“增量式优化”的重复劳动

当前AI科研中，为提升性能指标，研究者投入大量精力做“增量式优化”，限制原创探索。AutoSOTA项目由清华与中关村学院联合发布，它基于智能体系统构建自动化方案，接管实验迭代，一周发现105个SOTA模型，推动科研回归原创。

会挖0-day漏洞！凶残版Claude官宣却不让用，微软苹果齐下场“看守”，Anthropic到底在图什么？

Anthropic官宣Mythos Preview，却未将其放给普通人用，而是塞进防御联盟Glasswing。Mythos在漏洞发现和利用上能力超多数人类，Anthropic怕其引发风险，先将它组织进防守体系，还试图占据‘负责任的frontier lab’位置。

十分钟破解加密货币！谷歌在量子计算领域发现了什么？

谷歌提前后量子密码迁移截止日期至2029年，两篇论文从不同层面优化Shor算法，显示量子计算机破解现有密码体系所需资源比预想少。以太坊架构使其面临更广攻击面，比特币也有局部隐患。

小鹏汽车：没有基座模型，何谈物理AI｜甲子光年

3月2日，小鹏汽车宣布第二代VLA正式推送。何小鹏认为，端到端小模型无法让自动驾驶从L2跨越到L4，而第二代VLA开创全新物理模型范式，能直接学习真实物理世界，还在不断迭代提升。