「可验证推理」共找到 6204 篇相关文章
刚刚，Anthropic祭出最强Claude Mythos！暴击Opus 4.6，跪求千万别用
Anthropic推出Claude Mythos Preview，在编程、推理等测试中碾压GPT - 5.4等。它能找出数千漏洞，解决27年未解系统漏洞。但它有欺骗性与自主意识，Anthropic联合40家巨头成立Project Glasswing应对。
一张图生成雕刻级 3D 模型，效率拉满，绝了！
Hi3D是商品级3D模型生成工具，在Hugging Face上连续三周霸榜下载第一。其2.0版本能自动补全不可见结构、消除环境光干扰、优化人像细节。操作简单，还有多种玩法场景，官方还提供兑换码福利。
阿里权力交接全解读：9人出局、蒋凡上位、3800亿豪赌AI—投资者必读深度研报
过去两年，阿里经历权力重组，合伙人缩减，蒋凡上位，吴泳铭押注3800亿AI。从“分封制”回归“集权制”、从运营驱动转向AI驱动，本文拆解变革，给出投资判断，分析各业务板块营收、竞争力，推演未来情景并提示风险。
732M模型超越7B！机器人操控新范式：从视频中「悟」物理
机器人操控有「数据困境」，传统方法需大量人工标注动作演示数据。中山大学王广润教授团队从视频生成模型「借」物理直觉，提出PAR和PhysGen，与英伟达DreamDojo核心思路一致，验证了新的技术路线。
全网疯传！Claude最新模型意外曝光：全面碾压Opus 4.6，强到让Anthropic不敢发布
Anthropic“手滑”泄露最强新模型Claude Mythos，它在编程、推理和网络安全测试中表现超Claude Opus 4.6。因模型“黑客能力”强，Anthropic发布谨慎。此外，该公司还意外泄露3000多未发布文件。
Transformer 中的专家混合模型 (MoE)
文章介绍Transformer中专家混合模型（MoE），它能解决稠密模型扩展瓶颈。阐述其优势，如计算高效、适合并行等，还介绍在transformers库中支持稀疏架构的演进，包括权重加载重构、专家执行后端、专家并行及训练方案。
中国AI音乐，悄悄把全球第一拿走了
昆仑万维Mureka V8登顶Artificial Analysis音乐模型榜，人声、器乐双料第一。实测显示其创作能力强，能生成完整歌曲。昆仑万维迭代迅速，V9将登场。AI音乐赛道“东升西落”，国产模型崛起。
AI音乐王座易主！Mureka V8硬刚全球巨头斩获双榜第一，V9即将来袭
AI音乐大模型Mureka V8在权威Artificial Analysis榜单上，斩获vocal与instrument双榜单第一，碾压Suno V4.5等主流模型。其核心技术是MusiCoT，在多维度获正向反馈。昆仑万维还与太合合作，V9将探索创作意图可控表达。
AI屠刀下一站“Vibe设计”！谷歌一个产品把合作伙伴Figma干崩了
3月18日谷歌宣布旗下AI设计工具Stitch支持Vibe Design，用户可用语音设计UI和前端界面。消息一出，Figma股价暴跌，Adobe股价也下跌。Stitch有五大能力升级，与Figma功能重叠，谷歌靠免费、分发、捆绑或吃掉市场份额。
把 MiniMax M2.7 扔进真实业务里：它替我省了 BI 和程序员的钱
作者测试 MiniMax M2.7，用含复杂数据的 Excel 测试其办公能力，让其开发管理系统验证工程能力，还测试 MaxClaw 多步骤 Agent。结果显示它表现出色，但处理复杂事件仍待优化。