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

陶哲轩教授进一步强调，随着AI技术的不断成熟，关注点将从定性的成就转向更定量的衡量标准，如资源消耗、专业知识需求以及环境影响和伤害风险。他以航空领域的发展为例，指出真正推动跨大西洋航空旅行变得低成本、安全且普及的，并非初期的壮举，而是数十年来喷气式航空技术的持续发展和相关基础设施的完善。

在刚结束不久的 IMO 竞赛中，谷歌的新一代 Gemini 进阶版模型成功解决了六道超高难度试题中的五道，达到了今年 IMO 的金牌水平（35/42)，成为首个获得奥赛组委会官方认定为金牌的 AI 系统。 人工智能和数学是密不可分的。 AI ...

在刚结束不久的 IMO 竞赛中，谷歌的新一代 Gemini 进阶版模型成功解决了六道超高难度试题中的五道，达到了今年 IMO 的金牌水平（35/42)，成为首个获得奥赛组委会官方认定为金牌的 AI 系统。

Google最新的 AI 试验功能——“网页导航”，采用生成式人工智能（Generative AI）技术对搜索结果页面进行优化整理。公司透露，“网页导航”借助定制版 Gemini 技术，旨在筛选出最有用的网页，并以更合理的方式构建结果页面。其工作方式与“AI模式”类似，利用分散搜索技术，通过多条并行搜索路径来收集更多查询数据（背景延伸：参考 arXiv 与 Google 官方白皮书，Gemini ...

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