Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
Gowers's Weblog
(Uncensored)
subscribe
Creating a database of motivated proofs | Gowers's Weblog
https://gowers.wordpress.com/2025/09/22/creating-a-database-of-motivated-proofs/
links
backlinks
Tagged with:
news
ai
computing
mathematics
demystifying proofs
automatic-theorem-proving
It’s been over three years since my last post on this blog and I have sometimes been asked, understandably, whether the project I announced in my previous post was actually happening. The ans…