lhd1

5 ms·

1.
by lhd1 4d ago
>Mathematics is probably the same way. There's a short-term rush when you pull the lever, but there's less desire to get invested in what comes out. Perhaps it will take until the next generation to come along to really embrace
2.
by lhd1 5d ago
If you consider this event in isolation it is cause for celebration. But the controversy around this isn't so much about how the proof was obtained but what this means for the practice of mathematics going forward. It seems we can prob
3.
by lhd1 8d ago
It would be good if someone made a list of allresults obtained with AI so far just to see what kinds of problems AI excels at. Are there any that aren't of the existence-proof type? Reductively, math can be said to be either problem so
4.
by lhd1 8d ago
This is also what I've been thinking. The result itself is amazing but it's not like this was completely unexpected. There has been a huge amount of progress on the problem in the last 10 years without which it seems unlikely toda
5.
by lhd1 8d ago
So what do you think his contribution was? His preprint record shows no research on fluids - and the statement says that the first LLM-generated proof Tristan received from Levent was 'the most horrendous I have ever read.' Levent
6.
by lhd1 9d ago
I find the framing a little strange, a sort of David vs Goliath (with his enormous computational resources at his disposal). Since Levent is at Anthropic whose internal models are presumably as capable as anything OpenAI has. So why wasn&#x
7.
by lhd1 14d ago
This point of view is essentially codified in effective field theory, which tells us why so much of classical physics (EM, fluids, gravity) can be seen as low order approximations of some more complete theory that we found later on. One of
8.
by lhd1 14d ago
and you can do one better than that - Birkhoff's theorem, the relativistic analogue of the shell theorem. https://en.wikipedia.org/wiki/Birkhoff%27s_theorem_(relativi...
9.
by lhd1 14d ago
One of the cool facts about gravity is that the gravitational field of a body 'feels' spherical at a distance, even if those bodies are not spherical themselves. There are higher multipoles but they are increasingly suppressed the
10.
by lhd1 16d ago
Incidentally, Duminil-Copin, who also works in percolation theory, wrote an essay on the impact of AI on math. https://proofsandprompts.com/2026/08/30/care-for-a-little-mo...
11.
by lhd1 1mo ago
Scott Aaronson spoke about this in a colloquium where he said that this was mooted at OpenAI before the decision was made by Altman to not implement it for the reasons you describe. https://youtu.be/9udWn1Hlj_s?si=VWOiK5-y4z
12.
by lhd1 2mo ago
can we have a moratorium on notetaking apps?
13.
by lhd1 2mo ago
they are friends according to https://www.ams.org/journals/notices/202607/noti3372/noti337...
14.
by lhd1 3mo ago
Look for triads and "it's not this, but that". These are dead giveaways. You can also pass it through Pangram which is quite reliable these days.
15.
by lhd1 3mo ago
find it difficult to engage with AI generated text. What am I getting here that I couldn't get from a chatbot.
16.
by lhd1 4mo ago
I was expecting Grothendieck. Conway is hardly the poster child for theory building.