Share this page!

Enter URL or ID to Unroll

You can paste full URL like: https://x.com/threadreaderapp/status/1644127596119195649
or just the ID like: 1644127596119195649

How to get URL link on X (Twitter) App

  1. On the Twitter thread, click on or icon on the bottom
  2. Click again on or Share Via icon
  3. Click on Copy Link to Tweet
  4. Paste it above and click "Unroll Thread"!
  5. More info at Twitter Help
Ernest Ryu Profile picture
Ernest Ryu
@ErnestRyu
Professor of Mathematics at UCLA. Interested in deep learning and optimization.
Aug 21 • 9 tweets • 2 min read
This is really exciting and impressive, and this stuff is in my area of mathematics research (convex optimization).

I have a nuanced take. 🧵 (1/9) There are 3 proofs in discussion:
v1. ( η ≤ 1/L, discovered by human )
v2. ( η ≤ 1.75/L, discovered by human )
v.GTP5 ( η ≤ 1.5/L, discovered by AI )

Sebastien argues that the v.GPT5 proof is impressive, even though it is weaker than the v2 proof. (2/9)
Jul 19 • 10 tweets • 2 min read
Two cents on AI getting International Math Olympiad (IMO) Gold, from a mathematician.

Background:
Last year, Google DeepMind (GDM) got Silver in IMO 2024.
This year, OpenAI solved problems P1-P5 for IMO 2025 (but not P6), and this performance corresponds to Gold. (1/10) The two cents:
1. The OpenAI IMO solutions to P1-P5 seem to be correct.
2. P6 is a significantly novel and more difficult problem. P1-P5 are arguably within reach of “standard” IMO problem-solving techniques, but P6 requires creativity. (2/10)