SapienTronic AI 发布无推理规则逻辑求解研究

SapienTronic AI（原 Minotaur AI）发布论文《A Logic Solver Without Rules of Inference》，称其不依赖语言模型和 GPU，通过测量而非预测进行推理，在全部 512 个标准三段论问题上给出的判定与已知答案完全一致，且未应用任何推理规则。 该公司称，其 MINOS 系统表示法本身已包含 and、or、not 三个逻辑连接词，逻辑谜题可像锅炉模型一样构建成系统并让其自行稳定求解；遇到无法判定的问题时，系统会明确说明并给出原因。上述结果与机制均为该公司说法。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。