Post #3040395

I've just realized that I missed a trick by not posting here on Mastodon about a project to create a database of "motivated proofs", which has received funding from the AI for Math Fund, a joint venture of Renaissance Philanthropies and XTX Markets. Very roughly, that means not just proofs but proofs presented in such a way that the origins of the ideas are made transparent. More details (including how you might be able to get involved if interested) in this blog post. https://gowers.wordpress.com/2025/09/22/creating-a-database-of-motivated-proofs/