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开源，这么大的事情，必须给大家安排一篇硬核的喂饭级教程！
在高质量3D生成需求日益增长的背景下，如何高效生成结构精良、几何精细的三维资产，已成为AIGC和数字内容创作领域的关键挑战。
伙计，噢！ 看看我们的设计Agent Lovart最近又更新了什么！ ChatCanvas 一个“活在”画布上， 能听我无限次修改意见的设计师！这可太棒啦！
在世界人工智能大会（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 等机构跟投。
尽管当前的机器人视觉语言操作模型（VLA）展现出一定的泛化能力，但其操作模式仍以准静态的抓取与放置（pick-and-place）为主。相比之下，人类在操作物体时常常采用推动、翻转等更加灵活的方式。若机器人仅掌握抓取，将难以应对现实环境中的复杂任务。
现有的方法对大语言模型（LLM）「越狱」攻击评估存在误判和不一致问题。港科大团队提出了GuidedBench评估框架，通过为每个有害问题制定详细评分指南，显著降低了误判率，揭示了越狱攻击的真实成功率远低于此前估计，并为未来研究提供了更可靠的评估标准。
昨夜，谷歌宣布向 Google AI Ultra 订阅用户推出 Deep Think 功能，Gemini 2.5 Deep Think 模型在今年的国际数学奥林匹克竞赛 (IMO) 上夺得金牌。
随着人工智能技术的快速发展，大语言模型在自然语言处理领域引发了深刻变革。大语言模型在实际应用中的使用越来越广泛，这些模型通常部署在云原生的基础设施上，需要复杂的流量管理机制以确保服务的稳定性、性能、可扩展性和成本效益。在 Kubernetes（K8S）这一容器编排标准中，现有的 Ingress 组件的流量转发机制提供了基于主机名和请求路径的基本流量路由功能。
在语言模型领域，长思维链监督微调（Long-CoT SFT）与强化学习（RL）的组合堪称黄金搭档 —— 先让模型学习思考模式，再用奖励机制优化输出，性能通常能实现叠加提升。
视频大型语言模型（Video LLMs）的发展日新月异，它们似乎能够精准描述视频内容、准确的回答相关问题，展现出足以乱真的人类级理解力。
