You think a company shooting for a $2 trillion IPO is going to publish complete and honest information?

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: github.com/openai/math/tree/main/lean

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:

scientificamerican.com/…/did-openai-solve-the-wro…

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.

Downvotes? Use your words.

If this is a scam or indicative of evil, etc, it deserves upvotes. Otherwise it sort of looks like plugging your ears, guys.

Downvote is probably because the source is OpenAI so this is just an ad.

I posted this. I don’t like open ai much for various reasons. but you can’t argue with the quality of some of these results

Don’t fucking care. Shut it down.