3 ms·Creating a database of motivated proofs9 points by furcyd 1y agofriederrr 1y agoAlong the same lines, and with Tim Gowers as author, too: https://arxiv.org/html/2412.15184v1 https://arxiv.org/html/2412.15184v1