第66届国际数学奥林匹克（IMO）于2025年7月10—20日在澳大利亚阳光海岸举行，中国代表队奔赴澳大利亚参加比赛，以全体选手获得金牌的成绩，取得团队第一名的好成绩。本次比赛共有110个国家和地区共计630名选手参加了比赛。

7月26日，据报道，谷歌的“AI概览”工具成为其防御AI竞争的关键，该工具在传统搜索结果上方提供由Gemini模型生成的答案。谷歌母公司Alphabet二季度搜索收入达到创纪录的542亿美元，同比增长12%，超出分析师预期的529亿美元。Alphabet首席执行官Sundar ...

本周阿里已连续开源3款重磅模型，分别斩获基础模型、编程模型、推理模型等主流领域的三项全球开源冠军。两天前开源的AI编程模型Qwen3-Coder，更是引爆全球AI圈，掀起一波用中国千问开源模型替代闭源模型的新浪潮。

我也在 GitHub Copilot 上遇到过类似的情况。它在修改时搞乱了 diff 格式，留下一个残缺不全的文件，然后说：“我干脆把这个文件删掉，再凭记忆重建。”结果它的上下文里已经没有足够的信息，根本无法还原原文件。好在 Copilot 至少还有一步操作的撤销功能，不过我现在都会在让它动手前先执行一次 git commit，以防万一。

在 Windows 中，如果目标文件夹已存在，mkdir 会返回错误。但 Gemini 似乎没有正确解析命令返回值，错误地将这次操作视为成功。 举例而言，move file.txt ..\nonexistent 实际会将 file.txt 重命名为名为“nonexistent”的新文件，而不是将其移动到某个路径下。

一边是连环自责型的 Gemini，一边是过度肯定型的 Claude。这场“AI 幻觉删文件”的事故，也由此引出了一个有意思的问题： 就是用Gemini CLI 做一个简单的文件管理测试没想到，整个过程演变成了一场“看着 AI ...

Meta一周挖走OpenAI 8个研究员，还成功聘请 Scale AI 首席执行官 Alexandr Wang 和 GitHub 前首席执行官纳特・弗里德曼 (Nat Friedman)，更是以超过 2 ...

Gemini 2.5 Flash-Lite在各种提示下提供比之前的2.0 Flash-Lite和2.0 ...

Demis Hassabis连发两弹，一再强调「谷歌模型是首个获得官方金牌级别认可的AI系统」。 近年来，IMO逐渐成为AI能力的试炼场。数学问题不仅需要逻辑推理，还考验创造性思维和严谨性，这对AI系统提出了极高要求。

IT之家 7 月 22 日消息，国际数学奥林匹克竞赛（IMO）是全球最负盛名的数学竞赛之一，每年每个国家由六名高中生代表参赛，他们需在规定时间内解答六道极具挑战性的数学难题。在这一竞赛中，仅有约 8% 的参赛者能够获得金牌，这使得 IMO 的金牌成为数学领域的至高荣誉。 上周末，OpenAI 宣布其实验性推理语言模型在 2025 年 IMO 的题目测试中取得了金牌级别的成绩。OpenAI ...

经过IMO官方裁判评分，Gemini新模型 答对了6道题中的5道 ，以35分的成绩斩获金牌。 斩获金牌的是Gemini的一个进阶版本，搭载了新的思考模式，后期会开放给Google AI Ultra订阅用户——也就月付1400元那种。

谷歌 DeepMind 近日宣布，其 最新 的 Gemini 高级 版 AI 模型在2025年国际数学奥林匹克（IMO）竞赛中表现优异，成功获得金牌。这一成就不仅让人瞩目，更是对 AI 技术在复杂问题解决能力上一次质的飞跃。