铭光 发表于 2026-5-29 08:43:07

MathCode 是一个终端 AI 编程助手，内置数学形式化引擎。

MathCode 是一个终端 AI 编程助手，内置数学形式化引擎。用自然语言给它一个数学问题，它会自动将其转换为 Lean 4 定理，并尝试进行形式化证明。
地址：github.com/math-ai-org/mathcode ​​​


页: [1]
查看完整版本: MathCode 是一个终端 AI 编程助手，内置数学形式化引擎。