OpenAI Just Changed What It Means To Do Math
Two Minute Papers · 8:49
OpenAI has released 722 AI-generated mathematical papers, some claiming proofs of long-open problems. Two Minute Papers' Károly Zsolnai-Fehér calls this a major milestone, with reservations: many of the proofs are ine...