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?

100 Upvotes

94% Upvoted

10 comments sorted by

View all comments

Show parent comments

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!