-20
OpenAI's internal model solved over 700 longstanding open problems. (openai.com)
submitted 1 month ago by to c/technology@lemmy.world
7 comments fedilink hide all child comments
 

overview of all results is here:

https://github.com/openai/math/blob/main/overview.pdf

Several are fields medal worthy results. One proves the Riemann hypothesis for Re(z) >7/8, which is a substantial improvement over previous results

you are viewing a single comment's thread
view the rest of the comments
[–] 2 points 1 month ago (1 child)

Sounds conspiratorial. Which of these problems did you find incomplete or dishonest?

It's mathematics, there's no 'trust me bro' required the proof is either logically consistent or it isn't.

You can check the proofs, they've even provided them in lean: https://github.com/openai/math/tree/main/lean

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 1 child comment
    •
  • [–] 9 points 1 month ago* (last edited 1 month ago)

    How many of those over 700 proofs have you evaluated yourself?

    Whatever critcisms of the proofs by OpenAI is unlikely to be found in documents published by OpenAI.

    Here's one criticism of one proof:

    https://www.scientificamerican.com/article/did-openai-solve-the-wrong-navier-stokes-problem/

    Edit: I'm not saying that none of those proofs are correct, but if you want a full and complete picture of what those proofs are and what they mean in context, you're absolutely not going to get it from OpenAI. Mathematics is not "just trust me bro", nor is it publishing press releases.

  • permalink
  • fedilink
  • source
  • parent