GitHub · 灵魂体仓库·· 3 天前AI 评分44
AlphaCentauri：AI 自主形式化一阶算术元数学的实验仓库
FormalizedFormalLogic/AlphaCentauri
来源与原文
GitHub · 灵魂体仓库
发布时间：（北京时间）
阅读原始来源 · github.com ↗完整链接与内容说明
https://github.com/FormalizedFormalLogic/AlphaCentauri
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
FormalizedFormalLogic 组织的 AlphaCentauri 项目尝试让 AI 智能体自主形式化一阶算术的元数学，基于 Lean 4 数学逻辑库 Foundation 构建。人类通过 GitHub issue 决定形式化目标，素材取自 [HP98] 与 [Lin97]，AI 智能体负责编写、审查和维护 Lean 代码，并提供 just cache、just axiom-audit、算术理论 Zoo 图等工具。项目采用 Apache-2.0 许可证。
来源：GitHub · 灵魂体仓库 · github.com