字节Seed开源8B代码模型；陶哲轩AI工具33分钟完成数学证明；谷歌发布AI智能体白皮书；英伟达全员拥抱智能体；ModelScope推出全能图像模型 | 05月11日AI资讯

slug

summary

字节Seed首次开源的Seed-Coder模型，规模为8B，超越多个SOTA，采用模型中心的数据管理方式，生成和筛选高质量训练数据，支持89种编程语言，包含约1万亿个独特token，推动开源和AI普惠的发展。

陶哲轩与AI合作开发的数学证明助手2.0版本在短短几天内完成，支持全自动和半自动证明，显著提高了效率。最新实验中，他用AI工具在33分钟内完成了一页的数学证明，展示了AI在数学研究中的潜力和应用。

谷歌发布的76页AI智能体白皮书探讨了智能体的应用前景、运维流程及评估方法，强调智能体的自主运行能力和多智能体协作的重要性，旨在提升企业效率和决策能力。

黄仁勋表示，未来每位工程师将配备AI助手，提升工作效率，改变开发者角色，AI将主动完成任务并优化代码。预计未来5-10年，AI智能体将成为主流，带来生产力的指数级增长，同时也面临技术和安全挑战。

ModelScope团队推出Nexus-Gen模型，结合MLLMs的语言建模与扩散模型的图像建模能力，实现图像理解、生成和编辑，质量与GPT-4o相当，旨在推动全模态模型发展并解决误差累计问题。未来将持续优化并开源相关数据和技术。

AI学长小林