最新发布第181页
排序
Loom补上AI编程的工程记忆后,Coding Agent开始走向持续交付
Loom 试图为 Coding Agent 补上结构化工程状态层,让长任务中的代码修改、失败记录、验收标准和交接过程不再只依赖聊天上下文。AI 编程正在从一次性代码生成,走向可持续交付的工程协作系统。
AI公司开始抢纸质书后,大模型竞争进入数据资源重估期
AI公司开始收购并扫描纸质书,飞书并入豆包、TiinyOS预装、GPT-5.6 Sol优化内核等资讯共同指向一个变化:大模型竞争正在从参数和发布会,走向数据资源、企业入口与推理效率的综合较量。
OpenAI自进化降本后,AI基础设施竞争开始拼效率
GPT-5.6 Sol 自主优化生产 GPU 内核降低推理成本,叠加 Azure 增长、跨集群推理架构和企业多模型迁移,AI 竞争正从单纯模型能力转向基础设施效率与交付能力。
35M小模型与可验证代码模型开源后,AI竞争开始重算有效参数
BarunLM用35M参数挑战小模型效率,清华VeriLoop Coder-E1把验证反馈引入代码模型自我改进,AI竞争正在从单纯扩大规模转向有效参数、可验证流程和真实应用闭环。
Astra突破数学开放问题后,AI科研开始进入可验证时代
OpenAI Astra 被曝在数学开放问题上取得突破,形式化验证、科研 Agent 与企业应用共同说明,AI 竞争正在从单点能力展示走向可验证的复杂任务系统。










