Timothy Gowers
@wtgowers.mathstodon.xyz.ap.brid.gy
Holder of the Chaire Combinatoire at the Collège de France. Fellow of Trinity College Cambridge.
[bridged from https://mathstodon.xyz/@wtgowers on the fediverse by https://fed.brid.gy/ ]
[bridged from https://mathstodon.xyz/@wtgowers on the fediverse by https://fed.brid.gy/ ]
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 […]
Original post on mathstodon.xyz
mathstodon.xyz
October 1, 2025 at 10:42 AM
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 […]
It's probably too much to hope for, but nevertheless I hope that that will give me the best of both worlds -- a platform […]
November 30, 2024 at 9:34 PM
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 […]
It's probably too much to hope for, but nevertheless I hope that that will give me the best of both worlds -- a platform […]