GoForum › 🌐 V2EX
有没有 token 用不完的佬一起做几何定理证明器
bombless ·
2026-09-18 20:13 ·
0 次点赞 · 1 条回复
想要支持的证明大概是这样的 https://github.com/AxiomMath/IMO2026/blob/main/IMO2026/Q2/solution.lean 但是要做可视化
当前只有自然数的证明，效果在 https://bombless.github.io/prover-typescript/
我目前还在免费的 luna 上手工 loop 推进，还没提交
1 条回复
添加回复
你还需要 登录
后发表回复
是可以 AI 接入然后调用的吗