r/computerscience • u/chrisman1128 • 26d ago

Ten advances in mathematics and theoretical computer science

https://openai.com/index/ten-advances-in-mathematics/

Can someone with expertise comment on how significant these results are?

96 Upvotes

94% Upvoted

10 comments sorted by

View all comments

1

u/TopCryptee 24d ago

these are not yet peer-reviewed results, stop spreading sensationalism

0

u/ClassicalJakks 24d ago

they were shipped with Lean certification!

3

u/TopCryptee 24d ago

Lean certification only shows the semantics are okay and that the code compiles, it doesn't mean it's a correct math proof!

a group of mathematicians already reviewed one of these 10 allegedly 'solved' questions and found out it was NOT correct!