8
An amateur just solved a 60-year-old math problem—by asking AI (www.scientificamerican.com)
submitted 4 months ago by to c/mathematics@lemmy.ml
14 comments fedilink hide all child comments
 

https://archive.ph/kIgcr

all 14 comments

sorted by: hot top controversial new old
[–] 2 points 4 months ago* (7 children)

Assuming the answer given is indeed correct, it only suggests to me that someone previously solved it and the LLM was trained on it. LLMs can’t actually do math.

ETA: to clarify, if this was a model trained for mathematics instead of an LLM I wouldn’t have this opinion, but the article suggests it’s just an LLM.

  • permalink
  • fedilink
  • source
  • hideshow 7 child comments
    •
  • [–] [S] 1 point 4 months ago (6 children)

    Vast majority of new discoveries in math come from combining existing ideas in novel ways. Where LLMs shine is having a huge training set of all kinds of algorithms, formulas, proofs, and theorems. They are able to make associations that no human could. That's the value, once the association is made that two particular theorems work together, the human can take over and prove the result.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 6 child comments
    •
  • [–] 1 point 4 months ago (5 children)

    The issue I have with this idea, is that the LLM doesn’t have an understanding of the algorithms, formulas, proofs or theorems. It “knows” they exist, but not what they actually mean. It’s like having a toddler pick out associations on a word board and hoping they happen to relate to each other.

    Yes, there is more to an LLM, and I can’t really think of a good analogy. My point is that the associations being made aren’t based in mathematical knowledge, it’s based on “do these things relate to each other in my training data.”

    LLMs specifically are incapable of “new thoughts.”

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 5 child comments
    •
  • [–] [S] 3 points 4 months ago

    It doesn't need to have an understanding of algorithms any more than evolution needs to have an understanding of how a brain works to make one. LLMs are a tool used by humans who give it direction and have understanding. The LLMs are absolutely capable of new thoughts in a very real sense. When the LLM puts different ideas in a novel way that is a genuinely new thought that can be picked up by a human with full understanding of this thought.

  • permalink
  • fedilink
  • source
  • parent
  • [–] -1 points 4 months ago (3 children)

    You have no idea what you're talking about and are making all of this up.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 3 child comments
    •
  • [–] 1 point 4 months ago (2 children)

    You realize there are many, many cases where an LLM just abysmally fails at basic math questions, right? The obvious ones that get news attention are corrected rather quickly, but there are plenty of times they just plainly fail at basic “math as word problem” situations.

    If they can’t “understand” basic math reliably, why would they be able to “understand” complex concepts any more reliably?

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •
  • [–] 0 points 4 months ago (1 child)

    There's thousands of cases of humans failing at simple math, why would they be able to understand complex math problems?

    Yet they again and again do solve complex math problems...

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 1 child comment
    •
    • [–] -5 points 4 months ago (5 children)

    So, the program that constantly lies and makes up nonsense to gaslights everyone it is facts, has solved a math problem when it "seems to have used a totally new method for problems of this kind".

    Sounds like it's spewing bullshit again.

    Remember everyone, its glue that makes your pizza so tasty. All hale AI Jesus.

  • permalink
  • fedilink
  • source
  • hideshow 5 child comments
    •
  • [–] [S] 9 points 4 months ago (4 children)

    It appears that you have no clue how mathematics or LLMs work. It doesn't matter how you arrive at a solution. Once you have a candidate then you can formally verify it. Sounds like you need to stop writing cringe comments on subjects you clearly have no business opining on.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 4 child comments
    •