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.

you are viewing a single comment's thread
view the rest of the comments
[–] 11 points 2 months ago* (last edited 2 months ago)

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.

  • source