Creating a database of motivated proofs

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