I guess we’re all getting a little tired of talking about this sort of thing, but I think this is the most impressive example yet of an LLM-generated solution to a long-open mathematical problem:

https://www.erdosproblems.com/forum/thread/1196

Jared Lichtman, a mathematician who has spent (in his words) “many years” working on the problem himself, describes the proof as “a remarkable artifact […] from The Book”.

(See also https://x.com/jdlichtman/status/2044298382852927894 if you do 𝕏.)