Math Professor at Harvard. Interested in arithmetic geometry.
Joined October 2013
- Tweets 57
- Following 132
- Followers 104
- Likes 203
Photos and videos
Jun 1
For those predicting AI will solve math, why am I not hearing about amazing AI papers in theoretical physics ? It’s less formal so one might think it’s more amenable to natural language.
1
1
543
May 30
When an LLM writes a proof in natural language, which a mathematician has to check, its calling the mathematician as a tool. So if you haven't checked the output that's not a "proof". Its a bug in your harness, just like if your LLM failed to properly call the Lean kernel.
6
748
May 23
The "AI is about the make mathematicians obsolete" view misses that mathematics is not a monolith. There are many areas of math where the progress of AI, even as a research aide has been modest since 2023.
6
2
39
3,383
May 23
The unit distance result is beautiful and impressive, but its quite a leap to jump from this super specific problem to 'its over for mathematicians'.
5
657
May 19
The arxivgate controversy is like the police announcing that they will dust for fingerprints at crime scenes, and people complaining that they can't be expected to keep their glassware spotless at all times.
7
7
128
6,116