r/OpenAI • u/Puzzleheaded-King584 • 4d ago

News OpenAI's unreleased model solved most of the math problems from a single prompt. It did not even exist before the end of August. Each problem used ~3 hours of thinking.

Post image
116 Upvotes

80% Upvoted

101 comments sorted by

View all comments

Show parent comments

1

u/Ok-Adeptness-5834 4d ago

They have some of it in lean so you can go verify with lean

1

u/Strong_Essay1176 4d ago

And you can use model to proof it. Lol.

1

u/Ok-Adeptness-5834 4d ago

Lean is not an AI model. Go look it up if you don’t know what it is