bluesky — Timothy Gowers — 16 Oct 2026
This is just the beginning of a wider project -- I'm looking forward to seeing where it will go. More generally, I am (l…
#ai-assisted-mathematics #mathematical-reasoning #human-computer-interaction
This is just the beginning of a wider project -- I'm looking forward to seeing where it will go. More generally, I am (like many people) excited by the possibilities that imaginative interfaces will bring to mathematical reasoning.