分类
类型
地域
产品
排序
Mechanical Turk退场后,AI竞争开始重算数据、算力与执行成本
Mechanical Turk停止服务与GPT-5.6 Terra成本变化,正在把AI竞争从模型参数推向数据质量、推理账单和可验证执行。
OpenAI把Codex带进实验室,AI科研开始争夺证据链入口
OpenAI发布Rosalind Workbench,把生命科学中的证据检索、结构分析、基因组学与实验流程连接到同一工作台,AI科研竞争开始从模型问答走向可复核的专业交付。
AI开始自己升级自己:RSI竞赛从模型能力转向可验证的进化系统
Recursive Self-Improvement正在从理论命题变成AI自动化研发、代码实验和可验证进化系统;模型如何改进自己,正成为下一轮AI竞争的新问题。
从Hy4到内置浏览器,AI产品开始争夺可执行的工作台
腾讯混元把Hy4 Preview的总参数推到770B,并把重点放在Coding Agent的连续执行能力上;Anthropic则把Claude直接放进浏览器,让它可以在网页里浏览、点选、填表和拉取信息。两个动作看似一个属于...
AI不再只会生成:382个软件漏洞与82500个电子模拟背后的验证革命
AI正在进入可验证的生产环节:形式化验证发现深层软件漏洞,量子化学模拟大幅降低计算成本,医疗与工程应用也开始用可复核结果衡量价值。








