If this is an example of an LLM proving something, it’s a very non-central example. It was finetuned specifically for mathematics and then used essentially as a program synthesis engine in a larger system that proved the result.
DeepMind can’t just keep running this system and get more theorems out—once the engineers moved on to other projects I haven’t heard anything building on the results.
If this is an example of an LLM proving something, it’s a very non-central example. It was finetuned specifically for mathematics and then used essentially as a program synthesis engine in a larger system that proved the result.
DeepMind can’t just keep running this system and get more theorems out—once the engineers moved on to other projects I haven’t heard anything building on the results.
I believe AlphaEvlolve built on the results.
Yes, it’s becoming harder to say whether LLMs have discovered anything.