「可验证智能」共找到 7238 篇相关文章
亚历山大王回应一切：LeCun、Manus，“我的父母都是中国人”
亚历山大王加入Meta近一年后首次公开回应争议。他谈了Muse Spark技术逻辑、Meta超级智能实验室架构等，还分享八卦，如与奥特曼决裂代价、小扎抢人真相，认为AI终局未开始，科技行业将分层。
模型的自我进化，可能真的开始了。
昨天Hermes Agent更新支持原生Windows，安装简单。它调用量超OpenClaw成榜首，与MiniMax M2.7组合迭代快，能长程干活、自主迭代解bug，还可复刻文档风格样式，两团队正合作后训练项目。
暴瘦30磅险丧命，61岁硅谷极客用AI重读11页病历，揪出罕见血癌
61岁硅谷极客Steve患罕见血癌，曾被误诊近一年。他构建AI医疗智能体确诊病情，后用AI定制治疗方案，病情好转。他还开发AI医疗平台CureWise，同时指出AI在医疗中有边界，应辅助决策。
一行命令，让任何软件秒变AI神器！这个GitHub项目杀疯了
AI智能体推理强但使用专业软件能力差，现有解决方案不佳。CLI - Anything自动化框架打破困境，能让AI通过命令行控制软件，为13款软件生成CLI，有7阶段流水线，多场景适用，介绍了使用方法和项目地址。
做AI产品三年复盘，我看到的变与不变
作者复盘做AI产品三年经历，从自身、行业、世界三个视角谈变与不变。个人工作方式巨变，行业如营销、金融受AI影响，ClaudeCode等产品带来新变革，指出Context是不变核心，深度垂直领域智能体机会大。
从显式CoT到隐式CoT：复旦让AI告别啰嗦，实现大模型高效沉默推理
复旦大学等机构团队论文提出SIM - CoT技术，解决隐式思维链推理准确率低、不稳定问题。该技术引入步骤级监督，提升性能、效率和可解释性，在多模型和任务测试中表现出色，让大模型高效沉默推理。
吴晓波：“AI闪耀中国”2025（年度演讲全文）
吴晓波在“AI 闪耀中国 2025”演讲中，深入 65 家企业产业现场，勾勒 AI 落地中国图景。指出中美在 AI 领域形成竞赛格局，2025 年是智能体元年，还阐述了 AI 在多领域的应用及对创业的影响。
腾讯把这个 AI 产品做活了：两分钟一次按快门
作者分享使用腾讯会议AI纪要的体验，它每两分钟自动记录会议要点，还能捕捉气氛意图。会后可一键送进腾讯元宝追问，适配多样场景。此外，腾讯会议还有录制、语音转文字等功能，音效也有提升。
奥特曼首晒GPT-5实测！被曝使用超级对齐团队“遗产”
奥特曼首晒GPT - 5实测，虽对话仅围绕电视剧推荐，但引发大量关注。除官方放料，还被曝重写编码规则，用上超级对齐团队“遗产”通用验证器，不过也有爆料称其研发遇困难。
全能高手&科学明星，上海AI实验室开源发布『书生』科学多模态大模型Intern-S1 | WAIC 2025
7月26日，上海AI实验室在WAIC 2025上发布并开源科学多模态大模型Intern-S1。它融合多学科知识，首创跨模态科学解析引擎，在多学科任务上超越顶尖闭源模型，还支撑构建了多智能体系统。