from Hacker News

When Computers Write Proofs, What's the Point of Mathematicians?

by deterministic on 1/16/25, 10:46 AM with 0 comments