论文报告了一个可复现的“验证式编程”实验：研究者仅通过提示 Claude，完成 Ninety-Nine Prolog Problems 前 33 题，生成 58 个逻辑过程、508 个测试和 257 个引理，共 11,800 行证明，并用 LPTP 检查类型、完备性、终止性、唯一性、存在性及部分函数正确性。
最近 24 小时暂无可用热度快照。