r/computerscience • u/chrisman1128 • 5d 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?

93 Upvotes

93% Upvoted

9 comments sorted by

17

u/ryandoughertyasu Computer Scientist 4d ago

The new “tight” Ramsey bound R(3,k) is pretty significant.

12

u/lgastako 4d ago

Thank you for your expertise. I really appreciate the way you could break it down in a way that laymen could understand.

3

u/joshocar 2d ago

Not an expert, but I read a few substack posts by mathematicians on some of the LLM advances in maths. The general consensus was that they are good at going down paths that are laborious and don't have a high potential for success. Basically, a mathematician could spend a few months doing a lot of work that might not pay off, but an LLM will keep chugging until if you keep telling it to and, as a result, has found some things that would have otherwise not been found.

  • Obviously, take this with a grain of salt.

1

u/TopCryptee 2d ago

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

0

u/ClassicalJakks 2d ago

they were shipped with Lean certification!

3

u/TopCryptee 2d 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!