Varto proves complete PutnamBench AI math benchmark in Isabelle

(varto.ai) by simonbohnen | Aug 4, 2026 | 0 comments on HN