arXiv · cs.AI · Nikolai Sergeev · 9 小时前模型评分43
Generative Logic：一种确定性推理引擎
Generative Logic: A Deterministic Reasoning Engine
导读
Generative Logic（GL）是一种确定性计算机架构，从极简数学编程语言（MPL）的公理定义出发，将定义编译为逻辑块网格，通过哈希表查找应用规则并保留完整推导来源。它已从给定定义推导出皮亚诺算术基本定律与高斯求和公式，并借助已证引理和给定猜想列表构建算术基本定理（FTA）的证明，导出至 Lean 4 并通过内核校验。下一步是让 GL 在不提供猜想的情况下自行推导 FTA。
分类置信度
中 · 待人工复核
- 只有单一媒体来源，需要人工复核。
来源级别：媒体与个人
应用领域：科学研究
事件类型：研究发布
证据摘录
- “We present Generative Logic (GL), a deterministic computer architecture for automated mathematical reasoning.”
- “The next step is for GL to derive the FTA as well, without supplied conjectures.”
来源：arXiv · cs.AI · arxiv.org