Hi fellow haters. This video shows how LLMs are solving important math problems unsloved for a long time. I’m not a mathematician, but this flies against my biases of thinking LLMs are a marketing stunt and are overblown. Anybody competent in math or adjacent fields willing to jump in and clarify this progress? Cause, I’m having troubles making llm model solve a simple thing from time to time and here they are making progress with fucking Riemann hypothesis. This is hurting my ego, not gonna lie.
No clue, but it doesn’t really surprise me. Since math is a completely abstract system, it makes sense you can brute force solutions. AI’s been beating us at chess for a decade at least.
I’m curious if AI “knew” it found the solution, or if it spit out multiple plausible solutions that needed to be vetted by a human. I’m guessing the latter.