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

13 主题	1 回帖	41 积分

发表于昨天 08:43 | 显示全部楼层 |阅读模式

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

您需要登录才可以下载或查看，没有账号？立即注册

关注公众号

相关侵权、举报、投诉及建议等，请发 E-mail：2776601884@qq.com