Hacker News new | ask | show | jobs
Creating a database of motivated proofs (gowers.wordpress.com)
9 points by furcyd 264 days ago
1 comments

Along the same lines, and with Tim Gowers as author, too: https://arxiv.org/html/2412.15184v1