IMProofBench open problem solved by GPT-5

(leanprover.zulipchat.com) by marojejian | Dec 18, 2025 | 1 comments on HN