math/overview.pdf at main · openai/math

Shared on Bluesky by 5 AI experts

• Naomi Saphra @nsaphra.bsky.social amplified

  @neumannstefan.com

  So, the OpenAI results include: - A proof the unique games conjecture - L = RL - Matrix multiplication in n^(9/4) time - Almost-linear-time exact matching - Integer multiplication faster than n log n - Quasipolynomial al…

  View on Bluesky →
• Sung Kim @sungkim.bsky.social amplified

  @davidcrespo.bsky.social

  377 novel results clearly stolen from mathematicians' chat logs

  View on Bluesky →
• Vincent Conitzer @conitzer.bsky.social: (1/2) Contrary take on these dumps of math results: *if* these models are going to be built & released anyway, then better that the results … →
• Colin @colin-fraser.net: I probably should have linked to this →
• S Shubhendu Trivedi @shubhendu.bsky.social: Jokes aside, seems like they have partial results for three millennium problems. UGC I don't care about. It seems like they went through a l… →