「可验证推理」共找到 6130 篇相关文章
Kimi Work 推出目标模式：连肝 24 小时做了本漫画书，已开源
Kimi Work 推出目标模式，设定完成条件可自动工作至达标。与 Claude Code、Codex 有差异，还具 Agent 集群能力。作者用其复刻 Logo、转换论文格式、制作漫画书并开源，指出目标模式类似模型训练。
我手机里装了20个AI，最后发现只需要一个
AI工具爆炸，人们成了「AI项目经理」。百度DuMate在开发者大会展示强大能力，一句话可让三件不同工作并行执行，有技术架构支撑，已获认证且成本下降，入口之争本质是生态之争。
警惕！“养龙虾”风险，一键给你的Openclaw做安全体检
OpenClaw在短时间内登顶GitHub开源榜首，国内企业纷纷部署。但它存在安全隐患，如漏洞、隐私风险等。朱雀实验室联合腾讯云EdgeOne推出「OpenClaw安全体检」功能，可自动完成全面体检与风险评估。
博士学位答辩PPT分享 | Scalable Operation-aware Aerodynamic Design
杨奥博博士毕业于香港科大，长期研究多学科优化方法在飞行器等设计中的应用。其博士论文提出可扩展的、基于任务感知的气动设计框架，贯通关键环节，形成一体化方法体系，有多项创新成果。
马斯克宣布SpaceX合并xAI！1.25万亿美元火箭AI巨兽诞生
马斯克官宣全力冲刺IPO的SpaceX已收购xAI，合并后新公司估值达1.25万亿美元。马斯克称交易将打造创新引擎，还将推进太空部署数据中心计划，xAI成全资子公司可缓解资金焦虑。
社区供稿丨如何抑制大模型的“过度反思”：Yuan3.0 Flash 中的强化学习范式
大模型在企业落地时存在“过度反思”问题，浪费算力。YuanLab.ai团队在Yuan3.0 Flash模型中提出RIRM与RAPO，前者奖励“思考过程”，后者优化训练框架，实现推理效率提升，适用于企业场景。
Voices 能够让 Java 应用程序快速实现文本到语音转换
Voices 是开源文本转语音项目，为 Java 17 及以上应用设计，无需外部 API 或手动安装软件。可按字典或 OpenVoice 为不同语言生成音频，其使用 ONNX Runtime 加速，还介绍了使用方法和配置。
别装了！你不是恋爱脑，而是被AI洗脑
Perplexity CEO Aravind Srinivas警告AI陪伴应用太拟人、危险，可能让人沉溺虚拟世界。但全球已有上千万用户使用，AI填补情感空缺，满足人们对回应的需求，让孤独可被诉说。
美团开源新模型，多项能力实测第一
美团发布5600亿参数的LongCat - Flash模型，有创新动态计算机制和高效训练推理架构。它在多项测评中领先，尤其在代理工具使用测试表现出色，还以宽松许可开源，降低使用门槛。
DevProxy 0.28 发布，增加 AI 支持
微软发布 DevProxy 0.29 命令行工具，新版本增加 AI 支持，便于配置使用。它能模拟 API 及网络行为，结合 dev tunnels CLI 可检查云服务通信，还利用大模型生成文件，有重大架构变更等。