排序
GPT-6 Astra跑分争议之外，AI模型竞争正在转向可验证交付
GPT-6 Astra的评测数据争议，把AI竞争重新带回可复现、可审计和可验收的问题。模型、多智能体协作与企业工作流正在一起接受真实交付检验。
38天前
Claude把黎曼猜想推进到67.25%，数学研究进入发现、简化与机器验证闭环
Claude参与的黎曼猜想研究把已知临界线零点比例推进到67.25%，人类数学家随后简化证明，形式化工具在数小时内完成机器核验。与此同时，三维世界生成、长视频记忆和Agent编程也在把AI推向可验证...
38天前
一句话建站冲击SaaS，Cognition融资20亿美元：AI软件生产进入交付战
OpenAI把建站入口直接塞进了ChatGPT：用户描述网站用途、上传草图或品牌素材，再补充按钮、交互和视觉要求，约十几分钟就能得到一个可以继续修改的网站。ChatGPT Sites开启公测后，真正受冲击的...
35天前
从视频提速到TPU降本：AI竞争进入执行效率与系统连接
RunningHub让视频生成提速约12倍，京东开源可探索视听世界模型，Agent共享记忆与TPU成本竞争同步升温，AI行业正在从模型能力转向执行效率与系统连接。
34天前
OpenAI让AI接管量子实验后，智能体竞争进入结果交付阶段
OpenAI与MIT让AI自主运行量子计算实验，Astra进入电脑操作，轻量多模态模型与办公Agent则把AI推向可验证执行与结果交付。
34天前
Kimi把百万上下文下放到全会员，AI竞争转向工程闭环
Kimi把K2.8 Preview推向全部Kimi Code会员，并把约100万Token的上下文窗口一并开放。更值得注意的是，这次升级不要求用户更换原有的kimi-for-coding入口：同一套配置背后，模型已经转向编码与智...
33天前
