74
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop (www.theverge.com)
submitted 6 days ago by to c/technology@lemmy.world
41 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] 6 points 5 days ago (3 children)

Just make AI make sense of it for you. Isn't that the whole point?

  • permalink
  • fedilink
  • source
  • hideshow 3 child comments
    •
  • [–] 3 points 5 days ago (2 children)

    Hopefully this is sarcastic

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 2 child comments
    •
  • [–] 11 points 5 days ago*

    It is sarcastic. But it is also what OpenAI tried.

    The reason they just drop these and say nothing is because these are unverified slop.

    OpenAI's method of verification is rewrite them as Lean proofs that can be verified by computers. Two things have happened so far:

    1. The Lean proof proved the slop wrong, easy, retract.
    2. The Lean proof, being generated by a LLM, is susceptible to hallucinations. For example the Navier Stokes problem Lean proof turned out to be slightly different than the original natural language proof, because the LLM tried to bend a condition to make the proof compile.

    But, in case nobody found any problem, OpenAI gets to claim credit for the discovery until someone can review and prove something's wrong.

    You can say these proofs are "Schrodinger's correct"

  • permalink
  • fedilink
  • source
  • parent