OpenAI reports its internal model made progress on unsolved maths problems
Why it matters
OpenAI's unreleased model is producing checkable maths results, so expect that reasoning strength in products you can buy later.
Ask your team
Which of our workflows depend on multi-step reasoning that a stronger model could change?
What happened
OpenAI released findings on unsolved maths problems worked by one of its internal . Machine-checked Lean versions of the proofs, plus supporting write-ups, are posted on GitHub.
Tap an underlined word to see what it means.
Impact on Research & academia
The context Last OpenAI story: OpenAI explains how it will watermark text under EU rules (6 Oct) · 8 OpenAI stories in the last 30 days
Read the original at OpenAI News
Something wrong in this story? Report a mistake. We check it against the source within 24 hours.
Share with your take
Start from our line and make it yours. It stays on your device until you post it.
Ask about this story
Answered only from this story, with the line it came from.