AITOP

神经符号AI

共 11 条相关 AI 资讯
8月11日
22:34
22:34Gary Marcus@GaryMarcus
Gary Marcus在X上发文称，Claude在黎曼猜想上的表现再次证明混合神经符号AI的价值。他指出，如果去掉其中的符号部分，仅靠神经网络无法成功解决该问题。这被视为神经符号AI在数学推理领域的重要验证。
AI模型ClaudeGary Marcus神经符号AI
推荐理由：想看AI数学推理到底行不行？Marcus说Claude解黎曼猜想靠的是符号+神经混合，不是纯神经网络。
原文
8月7日
04:11
8月6日
22:43
09:06
09:06官方一手arXiv: Google DeepMind@Agnese Chiatti, Michael Cochez, Cristina Cornelio, Sebastijan Dumancic, Artur d'Avila Garcez, Luis C. Lamb, Lia Morra, Mathias Niepert, Robert Peharz, Alberto Speranzon, Maarten Stol, Annette Ten Teije, Thiviyan Thanapalasingam, Frank Van Harmelen, Emile Van Krieken, Antonio Vergari, Benjie Wang
这篇论文提出RAIL框架，从推理、保证、接口与学习四个维度指导神经符号AI系统设计。作者用RAIL分析了Google DeepMind的Alpha-*系列等神经引导搜索系统，以及工具增强的大语言模型。该框架同样适用于物理感知机器学习和因果学习等研究方向。其目标是帮助工程师在生产级AI系统设计中做出更原则性的决策。
论文RAIL神经符号AIGoogle DeepMind
推荐理由：这篇论文把神经符号AI拆成RAIL四个原则，用同一套框架分析Alpha-*和工具增强LLM，搞系统设计的人可以翻翻。
原文
8月3日
03:09
8月2日
09:19
09:19Gary Marcus@GaryMarcus
Anthropic技术员工Jess Yan表示，模型与harness无法分离，分离就会损失性能。她认为测试模型时必须搭配harness进行，且会选择Anthropic自建的harness。Gary Marcus转发该言论，称这是神经符号AI的胜利。
行业Anthropic神经符号AIharness
事件专题
推荐理由：Gary Marcus转发Anthropic员工的话：模型和harness拆不开，测试必须连着一起测。神经符号AI派觉得这是胜利。
原文
7月24日
00:53
00:53Gary Marcus@GaryMarcus
Gary Marcus指出，当前用户使用的ChatGPT/Claude并非纯大语言模型（LLM），而是结合了“Harness”的混合系统。他将这种组合称为神经符号AI架构。这一变化解释了为什么2024-2025年的模型相比2022-2023年的纯LLM有明显性能提升。
AI模型ChatGPTClaudeLLM
推荐理由：Gary Marcus解释了现在ChatGPT和Claude比两年前强的原因——它们加了层'Harness'变成神经符号系统了。
原文
7月17日
09:49
7月8日
01:18
5月28日
00:44
5月26日
10:22