We got a 700+ Proof Dump (before GTA 6)

Hot off the printing press: OpenAI release 722 manuscripts solving problems from all over mathematics. Despite being completely indigestible, I give my best shot at summing up what’s happened and how it makes a lil PhD student feel. Remember to hype the video! Article: https://openai.com/index/sharing-ai-p... GitHub link: https://github.com/openai/math/tree/main Advisory Group on Mathematics and Artificial Intelligence: https://agmai.org