AI科学发现公司Autopoiesis Sciences宣布，其人工智能联合科学家Aristotle X1 Verify在多项基准测试中取得了显著成果，性能超越了所有主流AI模型。据悉，Aristotle X1 Verify在推理基准测试GPQA Diamond中达到了92.4%的准确率
无需谷歌“钞能力”，两位清华校友强强联合，直接让基础模型Gemini 2.5 Pro轻松达到IMO金牌水平。
你有没有想过，营销这件事可能彻底变了？两个24岁的UC Berkeley辍学生，刚刚拿到2800万美元融资，要挑战Salesforce和Adobe这样的巨头。他们的武器很简单：用AI让营销软件不再是企业的噩梦，而是真正能解决问题的工具。
上周六Coze（7.26）不是开源了嘛，作为一个Coze的忠实用户和AI博主，没有抢到一手文章有点可惜，主要最近那会儿生病，紧接着又超级忙，就一直没空写。 但是Coze开源，这么大的事情，必须给大家安排一篇硬核的喂饭级教程！
今年的世界人工智能大会（WAIC）可谓热闹非凡，据说有的展台甚至一度拥挤到工作人员都难以进入。 在出圈的众多机器人和终端产品之外，另一个领域也值得我们关注：科学智能（AI for Science，AI4S）。
网友：Deep Think 简直太疯狂了。本周五，谷歌宣布向 Google AI Ultra 订阅用户推出 Deep Think 功能，并将全版本的 Gemini 2.5 Deep Think 模型（用于 IMO 竞赛）提供给部分数学家使用。
当24岁的AI天才Matt Deitke拒绝扎克伯格第一次1.25亿美元的邀约时，他或许没料到自己会成为科技巨头争夺战中的主角。最终，小扎亲自登门，将报价提高到四年2.5亿美元，第一年即支付1亿美元，成功挖角这位AI新星。AI人才市场正如NBA巨星交易般火爆，年轻研究员们手握亿级合同，背靠秘密顾问团与巨头博弈。
中国首个推出兼容E2B接口Agent沙箱的公司。7月26日，2025世界人工智能大会（WAIC）现场人头攒动。在科技要素拉满的会场内，几乎每个展台都在讨论大模型和AI Agent。
Deep Cogito，一家鲜为人知的 AI 初创公司，总部位于旧金山，由前谷歌员工创立，如今开源的四款混合推理模型，受到大家广泛关注。
新加坡深度科技初创公司SixSense 开发出一款人工智能平台，可帮助半导体制造商实时预测并检测生产线上潜在的芯片缺陷。该公司已在A 轮融资中筹集 850 万美元，使其总融资额达到约 1200 万美元。本轮融资由 Peak XV 旗下 Surge 基金（原红杉印度及东南亚）领投，Alpha Intelligence Capital、FEBE 等机构跟投。
