做视频AI导航网
AI导航
热门工具
Agent智能体
Skills技能
AI大模型
AI创作
AI工具集
视频Video
素材下载
创作灵感
Github神器
导航
资讯
视频素材
视频模版
音乐音效
Luts调色预设
整合包
CNY (
¥
)
首页
/
Lean证明
使用Lean证明助手把数学命题和推理步骤转成可由计算机内核检查的形式化代码。
订阅
0
取消订阅
相关资源
热门
最新
OpenAI Math – 查看AI生成数学手稿、Lean证明与修订记录
数学研究仓库
从手稿、Lean工件到版本修订，追踪AI数学成果的验证进度
OpenAI Math是OpenAI公开内部前沿模型数学成果的官方仓库，收录手稿、Lean形式化工件、推理摘要…
没有更多了
