14
OpenAI Says Astra Solved 10 Open Math Problems With Lean Proofs: The proof files are public, but the new model is still private. (www.implicator.ai)
submitted 3 weeks ago by to c/technology@lemmy.world
23 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] 0 points 3 weeks ago (1 child)

Depends how you define superintelligence, what I meant is a more specialized superintelligence than AGI. We already seen that with Go and Chess. But if AI overtakes humans in mathematics it takes on a different quality. But we will see. I doubt it stops here.

the machine churns, does some mystery math

Yeah, the sauce is in the mystery math. See my other reply. You're making a category error.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •
  • [–] 2 points 2 weeks ago* (1 child)

    My understanding was that any hitherto success of LLMs in mathematics was in its trying approaches and information from different fields where they weren't traditionally applied (within mathematics), they have surfaced potential links but haven't created anything in any real sense. Still, a potential legitimate use for them that I personally hadn't anticipated.

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •
  • [–] 1 point 2 weeks ago

    I mean that math is so far beyond me I have no clue if or how the proofs would "create anything" or lead to anything useful. I'm sure they do, besides adding a little bit to our civilization's knowledge.

    I do suspect that LLMs think very "broadly" with a very broad knowledge but can't really reason very deep without training for a special problem. So rapidly trying different approaches does sound like how they do it. So maybe it is a little bit similar to a typing monkey except that it apparently did these proofs with a relatively limited budget.

  • permalink
  • fedilink
  • source
  • parent