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 […]

I've just followed Bridgy Fed for the fediverse at Bluesky. If I understand correctly, that means that my posts there will appear here under the name @wtgowers.bsky.social It's probably too much to hope for, but nevertheless I hope that that will give me the best of both worlds -- a platform […]