Minotaur 如何在不使用 LLM 和 GPU 的情况下实现可验证推理

Minotaur 是一种不使用语言模型和 GPU 的 AI 架构，通过 ELC 表示系统并以单一 settling 操作完成推理。作者称其在盲测中覆盖演绎、归纳、诊断、反事实和询问顺序等任务，在普通处理器核心上达到当前语言模型的水平，并为答案提供证书和实际推理步骤。文中还介绍其从数据学习系统、诊断故障、跨系统传递结论以及恢复亚里士多德逻辑的测试。