最新发布第93页
GPT-5.6分三档预览后,前沿模型竞争进入矩阵时代-速维云

GPT-5.6分三档预览后,前沿模型竞争进入矩阵时代

OpenAI 启动 GPT-5.6 系列有限预览,Sol、Terra、Luna 三档分别面向复杂任务、日常场景和低成本大规模调用。前沿模型竞争正在从单一旗舰发布,转向模型矩阵、算力调度、安全审批和企业工作流落...
OpenAI让AI接管量子实验后,智能体竞争进入结果交付阶段-速维云

OpenAI让AI接管量子实验后,智能体竞争进入结果交付阶段

OpenAI与MIT让AI自主运行量子计算实验,Astra进入电脑操作,轻量多模态模型与办公Agent则把AI推向可验证执行与结果交付。
具身智能融资和安全研究同场升温,机器人落地进入数据与可靠性竞争-速维云

具身智能融资和安全研究同场升温,机器人落地进入数据与可靠性竞争

具身智能融资、安全研究、世界模型和任务恢复技术同时升温,机器人产业正在从演示转向量产部件、真实数据和可靠性竞争。
Anthropic估值超OpenAI,Claude动态工作流把AI竞争推向工程交付-速维云

Anthropic估值超OpenAI,Claude动态工作流把AI竞争推向工程交付

Claude Code动态工作流、Anthropic新融资、机器人训练场和科学AI进展共同说明,AI竞争正在从模型发布走向工程交付、科研验证和基础设施系统能力。
模型记忆容量被量化后,大模型竞争开始重算训练效率-速维云

模型记忆容量被量化后,大模型竞争开始重算训练效率

Meta团队量化大模型记忆容量上限,生成模型训练、多模态预训练和采样降本也在推进,AI竞争正在从堆规模转向训练效率与可靠系统。
Claude用1300万行Lean代码把费马大定理交给机器验证-速维云

Claude用1300万行Lean代码把费马大定理交给机器验证

Claude完成大规模Lean形式化证明,GPT-6在开放数学问题基准中提交机器可验证结果,AI科学正在从生成答案转向交付证据链。