AI模型 第8页
开源模型靠自验证反超闭源旗舰,AI竞争开始从一次答对转向可验证交付-速维云

开源模型靠自验证反超闭源旗舰,AI竞争开始从一次答对转向可验证交付

斯坦福团队用多候选生成与自验证框架提升开源模型任务成功率,Qwen低成本架构与Specula形式化验证则从推理和工程两端补齐可靠性,AI竞争正在从一次答对走向可验证交付。
svyun的头像-速维云svyun1个月前
536
Claude锁定5GW算力,AI竞争从模型能力转向基础设施和工作流入口-速维云

Claude锁定5GW算力,AI竞争从模型能力转向基础设施和工作流入口

Claude锁定AWS长期算力,长上下文、推理提速、主动助手和AI应用层融资同步推进,AI竞争正在从模型能力走向基础设施、效率和真实工作流。
svyun的头像-速维云svyun2个月前
05210
OpenAI突破80年数学难题,AI竞争从模型榜单打到真实交付-速维云

OpenAI突破80年数学难题,AI竞争从模型榜单打到真实交付

OpenAI通用模型突破单位距离难题,Gemini Omni、Qwen3.7、Marvis、Design Desk等模型与Agent应用同步升温,AI竞争正在从模型榜单走向真实交付。
svyun的头像-速维云svyun2个月前
0526
豆包2.1发布后,国产模型竞争开始同时卷Coding、Agent和价格-速维云

豆包2.1发布后,国产模型竞争开始同时卷Coding、Agent和价格

豆包2.1系列发布后,Coding、Agent、价格和企业工作流成为国产模型竞争焦点。大模型行业正在从能力展示走向真实交付。
svyun的头像-速维云svyun3个月前
05214
Sutton重启持续学习AGI后,AI竞争开始从会回答走向会成长-速维云

Sutton重启持续学习AGI后,AI竞争开始从会回答走向会成长

Richard Sutton 创立 Oak Lab 研发持续学习 AGI 架构,快手 KAT-Coder-Pro V2.5、Claude 价值观画像、Grok Build 权限争议与多智能体基础设施共同显示,AI 竞争正在从会回答走向会成长、会执行...
svyun的头像-速维云svyun2个月前
0529
DeepSeek V4-Flash把一亿Token账单打到8元,模型竞争开始拼可用成本-速维云

DeepSeek V4-Flash把一亿Token账单打到8元,模型竞争开始拼可用成本

DeepSeek V4-Flash极限实测、Claude Code框架消耗对比、OpenCode增长与OpenAI降价共同说明,AI竞争正进入单位智能成本阶段。
svyun的头像-速维云svyun1个月前
5213