排序
AI开始自己升级自己:RSI竞赛从模型能力转向可验证的进化系统
Recursive Self-Improvement正在从理论命题变成AI自动化研发、代码实验和可验证进化系统;模型如何改进自己,正成为下一轮AI竞争的新问题。
小模型开始接管AI执行层:从4090本地推理到机器人长程操控
Qwen 3.8 Flash、2B具身模型、Cloudflare OS与电脑操作训练路线同时推进,AI竞争正从参数规模转向本地部署、权限隔离和稳定完成真实任务的能力。
从数字学生到世界模型:AI开始学习如何预测和修正现实
StudentSim、ScienceDiscovery与Code World Model显示,AI正在从生成答案走向持续建模、预测后果和根据反馈修正策略,企业部署的重点也随之转向状态管理与可验证交付。
Claude把黎曼猜想推进到67.25%,数学研究进入发现、简化与机器验证闭环
Claude参与的黎曼猜想研究把已知临界线零点比例推进到67.25%,人类数学家随后简化证明,形式化工具在数小时内完成机器核验。与此同时,三维世界生成、长视频记忆和Agent编程也在把AI推向可验证...
ChatGPT进入Word之后,AI开始争夺生产软件与数据底座
ChatGPT进入Word,OceanBase发布面向AI应用和Agent的数据底座,AI正在从独立聊天窗口嵌入办公软件、数据库和真实业务流程。
谷歌让 Gemma 4 提速三倍,端侧大模型竞争转向推理效率
谷歌为 Gemma 4 推出推理提速方案,在不改变模型、不降低输出质量的前提下提升生成效率,本地部署和企业内网 AI 应用迎来更现实的落地空间。







