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革命。
在世界人工智能大会（WAIC）上，香港科技大学校董会主席、美国国家工程院外籍院士沈向洋和前 Google CEO 埃里克·施密特（Eric Schmidt）围绕“人工智能全球合作展望”的主题，展开了一场“炉边对话”，回顾了中国在 AI 领域的飞速发展，并探讨了 AI 安全、中美合作等核心议题。
今年的世界人工智能大会（WAIC）可谓热闹非凡，据说有的展台甚至一度拥挤到工作人员都难以进入。 在出圈的众多机器人和终端产品之外，另一个领域也值得我们关注：科学智能（AI for Science，AI4S）。
