「新模型Spud」共找到 9500 篇相关文章
一周两破18年数学纪录！陶哲轩惊叹：AlphaEvolve带来久违「加速度」
人类数学家与AlphaEvolve携手，一周内两次刷新18年未破的数学纪录。先是AlphaEvolve将和差集的θ下界提升，后人类数学家Gerbicz在其基础上再进一步，展现AI与人类协作在数学研究中的惊人潜力。
终于等到你！阿里上线全新免费AI IDE工具——通义灵码
今年AI行业卷AI Agent和AI Coding领域，都在推自家IDE。阿里有Qwen3加持，现发布全新免费AI IDE工具通义灵码。该工具具备内置Qwen3、MCP支持等特点，还有NES智能修改预测等功能。
微软 CEO吹爆「智能体」：AI不仅要“杀死”SaaS，操作系统也会“格式化”重来
微软CEO萨蒂亚·纳德拉在Build 2025大会后深度访谈，回应‘SaaS已死’论，抛出‘零成本智能’和‘无代码操作系统’愿景，还阐述了AI智能体、SaaS变革等观点，强调微软全面押注AI。
智源研究院发布中英文高质量数据集CCI4.0，推动全球人工智能开源创新
2025年5月6日，智源研究院在全球开源创新论坛发布中英文高质量数据集CCI 4.0，同步在多平台开源。CCI 4.0规模大，处理严格，此前CCI系列反响好，未来将持续建设中文预训练语料库。
Opus 5.5干一半就开溜？官方揭秘：你的程序替它打了下班卡
Anthropic推出Claude Opus 5.5后，开发者普遍遇到AI Agent干一半就停工的问题，本文整理官方最新指南，揭秘原因，梳理API升级坑点，给出解决方案与实用调优建议。
Grok 4.7来了！网友实测先把SpaceX玩坏了，大火箭走起
xAI发布新版大模型Grok 4.7，上下文扩展至50万Token，重点提升编码、Agent及复杂长任务能力，多项专业测试成绩提升明显，发布后网友开启花式实测整活。
姚顺宇、施天麟聊 RSI：最难的不是实现自我迭代，而是如何验证迭代有效
本文整理自AGI House上海RSI主题圆桌讨论，姚顺宇、施天麟等业内专家围绕RSI定义、落地成果、核心卡点、产业分工展开讨论，指出RSI验证迭代有效性才是当前最大难点。
2026，机器人与AI智能体正在怎样进入艺术现场？
本文盘点2026年以来全球16组机器人与AI智能体艺术实践，展现机器从创作工具转向可自主感知协作的创作参与者，探讨人机创作的身份边界新变化。
GPT-6 Astra突袭：正面对垒 Fable 5.1，多项编码测试反超！OpenAI 总裁：欢迎来到 AGI 时代
今天凌晨，OpenAI 发布 GPT-6 Astra，公司称是多年研究成果。它在多项测试表现出色，编程、电脑操作等能力提升，还加强了安全措施。将面向部分用户及通过 API 和 AWS 推出。
刚刚，DeepSeek V4 Pro正式版发布，多项对标Fable 5
刚刚，DeepSeek V4 Pro正式版发布，多项对标Fable 5，Agent能力几乎全方位碾压Opus 4.8，无限逼近Fable 5。API平台已更新，价格和之前Pro预览版基本一致，但网友实测发现CoT表现不佳。