论文11:04用Claude和LPTP解决P-99 Prolog问题的案例研究一个用Claude写Prolog代码并用LPTP证明正确性的实验。有具体的数字和流程，适合对LLM+形式化验证感兴趣的人。#Claude#LPTP#P-99#PrologaarXiv: Anthropic@Fred Mesnard 等 4 人原文稍后读已读值得跟进有用关注 Claude