「数学推理模型」共找到 8393 篇相关文章
面壁智能完成新一轮融资，26年累计融资超10亿，跻身基模独角兽行列
面壁智能宣布完成新一轮数亿元融资，由深创投和汇川产投领投。今年一季度累计融资超10亿，其获“2026年度中国独角兽企业”称号。各方看好端侧AI，面壁以‘密度法则’构建技术生态，产品应用广泛。
Anthropic 的 Harness 设计：build to delete
Anthropic工程博客发布Harness设计文章，探讨Claude完成全栈应用开发任务。指出单Agent模式问题，采用GAN式对抗、三Agent编排，对比单Agent与多智能体产出，还介绍调教评估者及编排简化，提出Build to Delete原则。
AI 编程正在终结框架时代
作者认为自动化编程让人们摆脱繁重体力劳动，可专注重要创作。框架解决简化、自动化和劳动力成本问题，但带来诸多弊端。真正的软件工程已回归，应摆脱无用复杂性，自主构建产品。
黄仁勋迟到了15分钟，然后甩出一个数字：1万亿美元。
GTC 2026上，黄仁勋获“Token之王”称号。他预计英伟达到2027年营收至少1万亿美元，还展示商业定价模型，推出Vera Rubin系统，整合Groq芯片，开源OpenClaw，预告Feynman架构，开发太空数据中心。
OpenClaw登顶GitHub，满天飞的智能体Skills要怎样设计？
OpenClaw 4 个月获 250K+ Star 登顶 GitHub。智能体 Skills 给大模型装上程序化记忆，研究者解构其概念，阐述设计模式、获取调度逻辑，也指出安全威胁，呼吁建立客观评价体系。
IC产量增长10.9%、换道超车……今年“两会”的“芯”消息令人振奋
2026年全国“两会”进行中，“政府工作报告”显示2025年科技创新成果丰硕，如集成电路产量增长10.9%。代表委员对半导体等建言聚焦质的飞跃，还给出芯片产业化、算力布局等“解题思路”。
离开大疆后，他年入百亿，把3D打印机干到世界第一
本文讲述拓竹科技创业历程。创始人陶冶等5位大疆工程师2020年出走创业，秉持极客文化，推出多款产品，让消费级3D打印机易用且低价。2025年营收破百亿，还面临大疆等竞争。
11位顶尖数学家发了篇没结果的论文，陶哲轩推荐都关注一下
11位顶尖数学家发起First Proof实验，设计10道研究级数学问题，检验AI独立解决问题的能力。陶哲轩认为实验有趣，当前AI一次性提示难解题，截止期限前成果值得关注。
Clawdbot 教程 02：如何集成飞书，完全国产化！
2026.2.2 Clawdbot更新支持飞书集成插件，可用国产模型连接飞书。文章详细介绍集成步骤，包括在飞书创建机器人、配置权限等，也指出如zod依赖缺失等坑及解决办法。
第二代AI预训练范式：预测下个物理状态
英伟达科学家 Jim Fan 发布《第二代预训练范式》，指出当前以 LLM 为代表的第一代范式应用于物理世界时「水土不服」，认为第二代范式是「预测下一个物理状态」，引发机器学习社区讨论。