Post by Timothy Gowers @wtgowers on X
Timothy Gowers @wtgowers@wtgowers
XAssuming this is correct, it is for me the first example of an LLM solving a problem not in my area that was nevertheless big enough that I had very definitely heard of it. Again it's a counterexample, so not in "end of mathematics" territory, but still pretty amazing.
1.7K likes49 repliesPosted Jul 20, 2026