@marcusgnt

Math Professor at Harvard. Interested in arithmetic geometry.

Joined October 2013
  • Tweets141
  • Following139
  • Followers462
I had turned off data sharing on ChatGPT on 9/9 (you know why!) and even used the method requesting @OpenAI to stop using my data, so I have the confirmation email. Now I look today and data sharing is turned on again! WTF @OpenAI ?
6
12
3
137
30,948
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.
2
10
5,081
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.
1
21
4,589
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
3
43
5,992
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
2,158
I for one welcome our new AI overlords. openai.com/index/model-dispr…

An OpenAI model has disproved a central conjecture in discrete geometry

An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.

openai.com
13
1,753
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,934
Load more