「可验证智能」共找到 7302 篇相关文章
“35岁以下科技创新35人” 中国区新一届入选者名单发布，他们是中国科技创新的坚强力量
《麻省理工科技评论》揭晓2025年“35岁以下科技创新35人”中国区入选者名单，AI是核心主线。如罗福莉推动国产大模型发展，范铃羚关注低能耗智能计算等。这些青年才俊来自多领域，正塑造中国创新生态。
刚刚，Opus 5来了：性能不输 Fable 5、价格砍半
Anthropic 发布新一代模型 Claude Opus 5，其智能接近 Claude Fable 5 但价格减半。它在编程、知识工作等评测中表现出色，科研能力进步大，自主性与严谨性更强，安全对齐度高，防护兼顾安全与可用。
别让AI一上来就“进厂打螺丝”：智源悟界·Orca要先教模型理解世界如何变化
智源研究院悟界·RoboBrain Orca Team发布技术报告Orca，探索模型是否理解世界状态变化。Orca尝试在统一世界潜空间学习状态与规律，受海外关注。它先学世界表征，有独特学习方式，经实验验证效果良好。
深空探测美学色彩首个研发成果——“月壤色”主题发布活动在首钢园成功举办
7月5日，深空探测美学色彩“月壤色”主题发布仪式暨科普活动在首钢园举办。该活动由嫦娥奔月航天科技主办，众多专家出席。“月壤色”是基于科研成果的美学成果，可用于多领域，活动还展示相关成果进行科普。
一篇Loop+Harness的自进化Agent最新综述
本文分享清华关于经验时代，已部署的 Agent 如何将交互轨迹转化为持久能力，从自我进化到元进化的论文。介绍了 Harness、技能、记忆、环境等方面，还提及 RL 与持续学习、元进化智能体等内容。
比英伟达早，比李飞飞强，大晓Kairos原生一体化世界模型定义物理AI新路线
大晓机器人发布 Kairos 开悟世界模型，其首创“多模态理解 — 生成 — 预测”原生一体化架构，采用跨具身渐进式训练体系和“以人为中心”的数据金字塔，还实现端侧部署，在四大权威具身智能基准上全面登顶。
长鑫科技，哪里值钱？
长鑫科技是国内最大DRAM芯片制造企业，过去十年累计亏损超366亿。2026年一季度，其营收508亿，归母净利润247.62亿，填平九年亏空。分析其利润可持续性，需从供需、产能、毛利率、HBM等维度判断。
Claude新政，抛弃最忠实的Agent用户
6月15日起，Anthropic将Agent SDK用量从订阅中剥离，按API零售价另给固定额度，重度用户可用量缩水近十倍。OpenAI趁机推出Codex企业免费迁移。这是ASI决赛圈定价战，AI付费或转向按实际消耗计费。
颠覆法律行业！Anthropic一口气发布20+款MCP连接器，从合同审查到法庭诉讼全覆盖
Anthropic面向法律行业推出超20款新MCP连接器及12个专业插件，从底层打通法律技术栈。Claude可在办公软件中工作，覆盖合同审查到法庭诉讼等场景，还与多机构合作让法律服务更普及。
两个哈佛女生用AI做电池故障排查，数月的工作量被缩到了几分钟
哈佛毕业女生 Eva Tuecke 和 Catherine Yeo 创立 Altara 公司，获 700 万美元种子轮融资。其系统能整合电池等物理科学领域分散数据，将故障排查时间从数月缩至几分钟，还能确保输出可审查，适应不同机构需求。