新闻资讯8

Gemini 2.5 Pro升级成编程新王

机器之心2025-05-07

AI 摘要

Google DeepMind：发布Gemini 2.5 Pro (I/O edition)，编程能力跃升，超Claude 3.7 Sonnet。用户用提示词或草图就能构建应用，谷歌大佬宣传，网友实测效果亮眼。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

OpenAI等用AI攻克Erdős数学难题

2026年，OpenAI等公司用AI解决多个匈牙利数学家Paul Erdős提出的问题，震动数学界。这些问题分布广、难度跨度大，适合模型测试。不过，AI证明的验证和人类数学家地位受关注。

在2026世界人工智能大会InfoQ直播间，滕昱和唐飞虎探讨AI Coding深层变化。他们认为AI放大资深工程师能力，冲击新人与大型软件组织，还就模型使用、判断力、企业部署等发表见解。

Code Arena最新榜单出炉，Qwen3.7 - Max以1541分冲进全球第四，是前五中唯一非Claude模型。它在多项测试中表现出色，是为长时间自主执行任务设计的Agent基座模型，编程跃升或与环境扩展、长程自主执行训练方法升级有关。

Google DeepMind发布全新AI数学智能体AlphaProof Nexus，一次性攻克9道悬而未决几十年的Erdős开放问题，最老的已悬置56年。证明经Lean编译器验证，无错误可能。此外，还在多数学分支取得突破。