「待验证问题」共找到 4147 篇相关文章
Claude用户退订潮！被指高峰期偷换缩水模型，工程师列9大罪状呼吁全网退订
Claude出现大危机，AI工程师带头呼吁退订，列9大罪状，如高峰时段偷换缩水模型等。不少用户退订，转投OpenAI Codex，其使用量激增。这也让国产模型等获更多尝试，CLI AI编程模式受重视。
Google推出 AI 科学家：自动编写专家级代码，40个新方法碾压人类 SOTA
Google新发布的AI系统能编写科学软件、发明新方法，结合大语言模型与树搜索技术。在生物信息学、流行病学等多领域超人类最优水平，引发网友对科研影响的讨论。
蚂蚁即将上线通用 Agent
蚂蚁百宝箱团队将在今年外滩大会正式上线 Tbox 超级智能体，其产品形态与部分平台相近，能让不同角色分工协作。实测显示它在多方面表现不错，但也存在细节不足，官网有诸多案例。
Git for Data: 像 Git 一样管理你的数据
传统数据恢复手段在AI时代耗时费力，Git for Data带来变革，具备版本控制、快速回滚等能力，是AI时代数据管理新范式。MatrixOne数据库已具备其核心能力，未来将持续增强相关特性。
用短视频成本生成长视频，字节Seed新注意力机制让计算量降低85%
字节Seed与斯坦福等机构推出新模型，其新注意力机制MoC能让长视频生成计算量降低85%，质量不减且保持连贯性。团队将视频生成定义为上下文检索任务，提出MoC机制并阐述实现方法。
AI 教父辛顿最新对话：超级智能诞生之后，我们唯一的生路是当“婴儿”
在大模型热潮下，“AI 教父”杰弗里·辛顿接受采访，剖析神经网络奥秘，分享对 AI 未来构想与忧虑，包括五年内超级智能诞生可能、人机共存方案，还谈及监管、就业影响等问题。
AgentFly：重塑Agent，无需微调LLM，如我们一样的记忆和经验持续学习
现有LLM智能体依赖静态流程或微调参数，缺乏灵活性且成本高。论文提出基于记忆的在线强化学习框架AgentFly，不更新LLM权重，在多基准测试表现出色，为构建通用智能体提供新范式。
英伟达韩松团队新作：具有后神经架构搜索的高效语言模型
英伟达韩松团队推出基于后神经架构搜索的高效语言模型Jet - Nemotron，在基准测试中表现出色，准确率与Qwen3等相当甚至更优，生成吞吐量大幅加速。模型构建经多步骤优化，代码和预训练模型将开源。
超越宇宙极限：第六位海狸数再次突破，无法用常规数学符号表达
本文介绍「忙碌海狸数」，其前五项为1、6、21、107、47176870。研究人员先后确定前四个数，如今BB(6)再突破，新下界需用新数学符号表达。还回顾探索历程，提及社区用Coq证BB(5)，并指出BB(6)真实值难测。
字节发布全球首个预测未来基准FutureX，Grok-4 拿下冠军
字节跳动发布全球首个实时未来预测基准测试FutureX，杜绝模型作弊。在25个模型评测中，Grok - 4夺冠。它从多网站构建问题，分四级难度。人类专家在部分等级仍领先AI 。