>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…
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…
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…
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…
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…
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…
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…
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...
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…
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...
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.…
can we have a moratorium on notetaking apps?
they are friends according to https://www.ams.org/journals/notices/202607/noti3372/noti337...
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.
find it difficult to engage with AI generated text. What am I getting here that I couldn't get from a chatbot.
I was expecting Grothendieck. Conway is hardly the poster child for theory building.
>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…
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…
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…
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…
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…
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…
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…
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...
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…
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...
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.…
can we have a moratorium on notetaking apps?
they are friends according to https://www.ams.org/journals/notices/202607/noti3372/noti337...
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.
find it difficult to engage with AI generated text. What am I getting here that I couldn't get from a chatbot.
I was expecting Grothendieck. Conway is hardly the poster child for theory building.