「溯因推理」共找到 3190 篇相关文章
AI4S回归白盒符号主义，清华等联合发布SR-LLM：自主发现科学知识
清华大学等多所高校联合发布SR - LLM，这是融合大语言模型与深度强化学习的符号回归框架。它从数据生成可解释数学模型，在跟车行为建模等任务表现优，为机器自主科学发现开辟新路径。
OiiOii意外走红背后：为何10万人排队等一个不完美的AI Agent？｜甲子光年
OiiOii是成立不到半年、团队仅十余人的初创公司，产品尚处内测，却引来近10万人排队申请。创始人闹闹有丰富履历，不回避产品缺陷，公司已获天使轮融资，将全力投入迭代。
马斯克猛猛带货太空数据中心！“能耗比地球香太多”
太空成AI基建新必争之地，马斯克力推太空数据中心，称其能耗比地球低。他认为AI天花板是能源问题，太空能解决能源与散热难题。美初创企业已做太空实验，国内也布局相关建设。
谷歌新架构突破Transformer超长上下文瓶颈！Hinton灵魂拷问：后悔Open吗？
谷歌在NeurIPS 2025发布两项大模型新架构研究，通过‘测试时训练’机制，推理阶段可将上下文窗口扩展至200万token。新成果Titans和MIRAS结合RNN速度与Transformer性能，突破超长上下文瓶颈。
刚刚，OpenAI发长文：找到缓解LLM撒谎的方法！
Google发布Gemini 3 Deep Think，ARC - AGI - 2准确率高且采用并行推理技术。OpenAI发长文《通过忏悔训练大型语言模型诚实性》，介绍缓解LLM撒谎的忏悔训练法、实验结果等，也指出其局限。
DeepSeek在Agent上做了件大事！
昨天DeepSeek发布V3.2正式版，强化Agent能力并融入思考推理，其在Agent评测达开源模型最高水平。文中分析Agent成开源‘心病’的痛点，介绍DeepSeek相关解决策略及成果，还给出使用示例。
刚刚，霸榜神秘视频模型身份揭晓，原来它就是「David」
几天前登上Artificial Analysis榜首的神秘视频模型揭晓，是Runway最新发布的Gen - 4.5。它树立行业新标杆，在多方面表现出色，但也存在一些视频模型常见的局限性，Runway正探索解决办法。
告别抽卡、散装工具拼凑！通用AI视频智能体框架UniVA开源
在AI视频创作中，创作者常因频繁切换工具而疲惫。近期多所高校联合开源的UniVA框架，像「AI导演」，能整合视频工具，提供一站式自动化体验，改变「抽卡」式创作，还支持多轮交互等功能。
“电子黄金”价格暴涨，雷军都顶不住了
近期内存价格暴涨，被称为“电子黄金”。雷军称内存涨价太多，其原因是AI巨头对存储需求挤占产能。中芯国际判断供应缺口超5%，高价会持续。产业链各环节受影响，还出现新技术HBF。
告别「一条路走到黑」：通过自我纠错，打造更聪明的Search Agent
为解决知识实时性和推理复杂性挑战，搜索智能体（Search Agent）应运而生，但缺乏自我纠错能力。腾讯联合清华提出 ReSeek 框架，引入动态自我修正机制，还构建 FictionalHot 数据集评估，实验效果良好。