OpenAI has just released a large number of amazing research results in math and computer science. The official post is at https://openai.com/index/sharing-ai-progress-in-mathematics/ and the repository is at https://github.com/openai/math
It will take a long time to digest, but it seems there are over 700 papers of significance in their respective areas, including proof of Unique Games Conjecture, better bounds on the matrix multiplication exponent $$$\omega\le\frac{9}{4}$$$, and L=RL.








feel the AGI!
more like "feel the (very narrow) ASI"
Besides the results OP mentioned, here are a few more that people here might be interested in:
this is some really crazy stuff, and apparently they did these with $$$1$$$ agent in $$$3$$$ hours on average for each one, which is a huge improvement over how they did the Navier-Stokes. it's crazy to think, but the frontier of math research is beyond human understanding, and probably will be forever.
OpenAI ❌
OpenSI ✅