下半年刚开始，美国AI达到了一个新的高潮。继英伟达的市值超过4万亿美元之后，微软的市值也一度突破了4万亿美元。美国四大AI巨头的资本支出，各自都将达到每年上千亿美元。美国的AI独角兽企业的估值，达到数千亿美元。AI原生企业的年化收入突破百亿美元。硅谷挖一个AI顶级人才，价码飙到了10亿美元。
2025年的IMO，好戏不断。 7月19日，全世界顶尖大模型在2025年的IMO赛场上几乎全军覆没。时隔1天，OpenAI、DeepMind等顶尖实验室就在IMO 2025赛场斩获5/6题，震惊数学圈。
AI科学发现公司Autopoiesis Sciences宣布，其人工智能联合科学家Aristotle X1 Verify在多项基准测试中取得了显著成果，性能超越了所有主流AI模型。据悉，Aristotle X1 Verify在推理基准测试GPQA Diamond中达到了92.4%的准确率
Anthropic突封OpenAI的ClaudeAPI，指其违约用Claude支援即将发布的GPT-5开发及安全测试。此举标志AI巨头围绕数据与接口展开新一轮封锁战，API成市场准入与创新博弈的战略资源，在业内引发热议与监管关注。
无需谷歌“钞能力”，两位清华校友强强联合，直接让基础模型Gemini 2.5 Pro轻松达到IMO金牌水平。
GPT-5，曾经差点难产？这条诞生路，简直是烈火炼真金。一边是人才出走、小扎截胡、团队内部陷入混乱，另一边，推理模型魔咒让研究者苦恼不已，项目甚至一度停摆。外媒曝出这期GPT-5诞生内幕，可谓亮点满满，干货十足。
“两次 CPU 飙升的背后有个巧合，那就是——‘我们 CEO 登录了账号。’于是，我们把 CEO 的账号给封了，继续排查原因......” 听起来像段子，但这真是 Sketch.dev 的工程师亲口写下的“事故总结”。而这一切的起因，只是因为一段由 AI 生成的代码。
你有没有想过，营销这件事可能彻底变了？两个24岁的UC Berkeley辍学生，刚刚拿到2800万美元融资，要挑战Salesforce和Adobe这样的巨头。他们的武器很简单：用AI让营销软件不再是企业的噩梦，而是真正能解决问题的工具。
哥伦比亚大学几乎人人用AI作弊？Roy Lee的惊人爆料直击教育痛点，从亚马逊面试作弊视频爆火，到Cluely的隐形界面，这位年轻创业者正引领AI革命。
上周六Coze（7.26）不是开源了嘛，作为一个Coze的忠实用户和AI博主，没有抢到一手文章有点可惜，主要最近那会儿生病，紧接着又超级忙，就一直没空写。 但是Coze开源，这么大的事情，必须给大家安排一篇硬核的喂饭级教程！
在世界人工智能大会（WAIC）上，香港科技大学校董会主席、美国国家工程院外籍院士沈向洋和前 Google CEO 埃里克·施密特（Eric Schmidt）围绕“人工智能全球合作展望”的主题，展开了一场“炉边对话”，回顾了中国在 AI 领域的飞速发展，并探讨了 AI 安全、中美合作等核心议题。
今年的世界人工智能大会（WAIC）可谓热闹非凡，据说有的展台甚至一度拥挤到工作人员都难以进入。 在出圈的众多机器人和终端产品之外，另一个领域也值得我们关注：科学智能（AI for Science，AI4S）。
赢了的才是「GPT-5」。 GPT-5 迟迟未现身，网友们开始制作各种梗图「吐槽」其实，这几天关于 GPT-5 的传言就没消停。先是有网友在 macOS ChatGPT 应用中发现了 GPT-5-Auto 和 GPT-5-Reasoning 模型的踪迹：
网友：Deep Think 简直太疯狂了。本周五，谷歌宣布向 Google AI Ultra 订阅用户推出 Deep Think 功能，并将全版本的 Gemini 2.5 Deep Think 模型（用于 IMO 竞赛）提供给部分数学家使用。
夜晚，后院监控视角下，10只小兔子在蹦蹦床。 就这么一条时长8s、平平无奇的视频，在TikTok上单条播放量超过5亿。
《Physics of Language Models（语言模型物理学）》，正是将AI研究带入“物理学范式”的项目，由Meta FAIR研究院的朱泽园概念化发起，并统筹设计。
当24岁的AI天才Matt Deitke拒绝扎克伯格第一次1.25亿美元的邀约时，他或许没料到自己会成为科技巨头争夺战中的主角。最终，小扎亲自登门，将报价提高到四年2.5亿美元，第一年即支付1亿美元，成功挖角这位AI新星。AI人才市场正如NBA巨星交易般火爆，年轻研究员们手握亿级合同，背靠秘密顾问团与巨头博弈。
中国首个推出兼容E2B接口Agent沙箱的公司。7月26日，2025世界人工智能大会（WAIC）现场人头攒动。在科技要素拉满的会场内，几乎每个展台都在讨论大模型和AI Agent。
你刷的每一条短视频，背后都隐藏着推荐算法的迭代与革新。 作为最新成果，字节跳动的算法团队提出的全新推荐排序模型架构RankMixer，在兼顾算力利用率的同时，实现了模型效果的可扩展性。
Deep Cogito，一家鲜为人知的 AI 初创公司，总部位于旧金山，由前谷歌员工创立，如今开源的四款混合推理模型，受到大家广泛关注。
这一次，“不会”竟成了大模型的高光时刻。 虽然在IMO第6题上得了零分，OpenAI的金牌模型却展现了“高智商的诚实”。
每次和我妈打电话，她都会不可避免地提一嘴：「少吃点外卖。」 以前我觉得这是典型中年父母的唠叨，不太了解年轻人的生活方式。现在我懂了，她才是早就看穿一切的预言家。
新加坡深度科技初创公司SixSense 开发出一款人工智能平台，可帮助半导体制造商实时预测并检测生产线上潜在的芯片缺陷。该公司已在A 轮融资中筹集 850 万美元，使其总融资额达到约 1200 万美元。本轮融资由 Peak XV 旗下 Surge 基金（原红杉印度及东南亚）领投，Alpha Intelligence Capital、FEBE 等机构跟投。
昨夜，谷歌宣布向 Google AI Ultra 订阅用户推出 Deep Think 功能，Gemini 2.5 Deep Think 模型在今年的国际数学奥林匹克竞赛 (IMO) 上夺得金牌。
随着人工智能技术的快速发展，大语言模型在自然语言处理领域引发了深刻变革。大语言模型在实际应用中的使用越来越广泛，这些模型通常部署在云原生的基础设施上，需要复杂的流量管理机制以确保服务的稳定性、性能、可扩展性和成本效益。在 Kubernetes（K8S）这一容器编排标准中，现有的 Ingress 组件的流量转发机制提供了基于主机名和请求路径的基本流量路由功能。
上下文学习（In-Context Learning, ICL）、few-shot，经常看我文章的朋友几乎没有人不知道这些概念，给模型几个例子（Demos），它就能更好地理解我们的意图。但问题来了，当您精心挑选了例子、优化了顺序，结果模型的表现还是像开“盲盒”一样时……有没有可能，问题出在一个我们谁都没太在意的地方，这些例子，到底应该放在Prompt的哪个位置？
谷歌拿下IMO（国际数学奥林匹克竞赛）金牌的模型——Gemini 2.5 Deep Think，现在可以用起来了。谷歌拿下IMO（国际数学奥林匹克竞赛）金牌的模型——Gemini 2.5 Deep Think，现在可以用起来了。
ChatGPT用多了会变傻？官方回应来了！ OpenAI教育主管Leah Belsky明确表示：AI本质上是一个工具，关键在于如何使用它。
刚刚，硅谷爆出新料：OpenAI企业市场份额断崖式下跌，Anthropic全面反超！
一个 Agent（智能体）不够用？Manus 干脆给你拉来 100 个。 今天凌晨，Manus 推出了一项新功能：Manus Wide Research。这项功能的核心亮点在于，用户只需一键即可开启大规模并行 Agent 协作，轻松处理原本需要耗费数小时、动用数百个数据源的复杂调研任务。
