江小涓最新文章:数据、数据关系与数字时代的创新范式(1.7万字)

虽然不同学者探索研究的角度不同、具体内容多样,但理论的推理和对实际问题的观察均表明,随着数字技术的深入发展,创新范式已经发生重要变化。以往创新范式与科学研究范式并不交叉,创新范式主要沿袭创新链条上各方关系这条主线,科研范式主要体现科学发现的普遍手段,进人数字时代,两个范式有相当程度的交叉融合,“数据密集型...

分不清9.11和9.9大小,暴露大模型逻辑推理能力短板|快评

数学运算是典型的逻辑推理能力。即根据前提条件给出符合逻辑或潜在逻辑关系的结论,而数学运算是用精确的语言和符号进行纯逻辑的推演,因此,如此理解的话,更能直观地感受到大模型的逻辑推理能力。逻辑推理被认为是当前大模型最难攻克的一道关卡。而除了逻辑推理之外,对有限的碎片信息进行不断重组、搜寻以找到信息全貌等,...

计算计中的推理与调用

推理强调逻辑性和从前提到结论的推导过程,侧重于事实和逻辑的稳定性。调用则更侧重于根据特定条件或需求做出相应的行动或选择,更加动态和适应性强。在实际应用中,推理和调用经常结合使用,推理提供了理论基础和逻辑框架,而调用则根据推理的结果和实际情况做出实际行动或决策。二、在态势感知中,“态”与“感”往往使用...

万字推演OpenAI o1 self-play RL 技术路线

这种scaling的方式和LLM预训练的主要以记忆为主的scaling不同,这是o1带来的范式变革最大的不同。同时为什么认为需要以类似TDerror的方式来更新Verifier和Generator呢,这更多是把OutcomeSupervision变成ProcessSupervision的过程中,自然语言所扮演的步骤监督需要能够识别出来:在大量的推理步骤中,只有部分步骤是极为关键的...

历史研究与国际关系:一点关于反事实推理的思考

反事实推理就是设定与事实相反的条件(contrary-to-factconditionals),我们可以简单地把它们看作探讨因果关系的思维实验。在国际关系研究中,反事实推理可以帮助我们更好地理解历史事件和决策,揭示决策者的动机和意图,以及探讨不同政策选择的结果和影响。只有对历史有了深刻的了解,才能体会到真正意义上的政治家或战略家...

港中文团队提出大模型元推理范式,革新大模型的评价体系

其一，需要知道推理的最终结果和节点是什么；其二，需要对每一步推理节点的条件和前提进行审视性评判，并对节点和节点间的逻辑连接进行思考，以便判断当前步骤是否出错；其三，需要能够代入不同假设，或反事实地（counterfactually）针对未来的推理路径进行预演和分析，从而判断这一答案是否在正确的推理路径上(www.e993.com)2024年11月22日。这些需求将...

公理与定理的区别

定理:定理则是通过逻辑推理和证明过程形成的。数学家们从已知的真命题出发,运用演绎推理的方法,逐步推导出新的真命题。定理的形成过程体现了数学的严谨性和逻辑性。适用领域不同在应用上,公理和定理也各有其独特的功能。公理为数学理论提供了基础框架,它们确定了理论的边界和可能性。而定理则在这个框架内,通过逻辑...

...证券:持续看好AI算力,尤其是后续商业端成熟而带来的更多AI推理...

▍商业推演：Sora模型受制于能力与成本实用性较低，Gemini短期商业化潜力较大。尽管Sora相较于Gemini引起了更大的轰动，其本身也是技术上的进一步创新，但我们也无法忽视Sora目前存在的多种局限性。首先在能力上Sora距离可实用还有较大距离，OpenAI明确表示Sora虽然能理解部分因果关系与物理现象，但难以在较长视频中准确...

智能体模拟二战和战国时代!用LLM模拟推演战争,会改变历史吗?

推理增强系统:这些系统利用多个智能体的集体智慧来增强问题解决能力。例如,LLM-Debate引入了辩论概念,使智能体能够从同伴那里获得回应,并通过「心理论证」(mentalargumentation)过程来精炼解决方案。ChatEval建立了一个基于角色扮演的多智能体裁判团队,评估由语言模型(LLM)生成的文本质量。

奥数能力金牌级:DeepMind几何推理模型登上Nature,代码开源

AlphaGeometry是一个神经符号系统,由神经语言模型和符号推演引擎组成,它们共同寻找复杂几何定理的证明。一个系统提供快速、直观的想法,而另一种则提供更加深思熟虑、理性的决策。由于语言模型擅长识别数据中的一般模式和关系,因此它们可以快速预测潜在有用的结构,但通常缺乏严格推理或做出解释。另一方面,符号推演引擎基于...