#定理证明

15小时前

今天用dspy + coqpyt编了个agent，自动证明了我懒得写的一个leetcode的定理。虽然不知道这玩意稳定性如何。总之就是让Coq的报错喂给AI，然后AI会发现自己的递归没写对，反复试了几次以后就过了。 Coqpyt重新糊了一套界面，不然原来都不报错，模型直接抓瞎。

AI编程工具激战：Claude Code、Gemini Cli崛起· 860 条信息

#DSPy #coqpyt #agent #LeetCode #定理证明