SapienTronic AI 用系统表示法复现亚里士多德逻辑，无需语言模型和 GPU

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