AI mathA theorem proved nine days earlier turned up as OpenAI's 'Paper 148,' as YouTube weighs AI's math report card
A video about a young Princeton mathematician who found his own just-proved theorem among 722 papers released by OpenAI went up Oct 21 and passed 41,000 views.
Per the channel Adem B10, OpenAI released 722 AI-written math papers on the night of Oct 6. At a party, Constantin Kogler of the Institute for Advanced Study scrolled through them and found Paper 148: a proof of the exact overlaps conjecture, which he and Samuel Kittle had proved nine days earlier and were still writing up. OpenAI's unreleased model found it on Sept 24, three days before them. But their own first proof also came from AI, GPT-6 Astra, on Sept 27 after about two and a half hours. They posted their paper to arXiv on Oct 7 with a machine contribution statement.
Around the same time, Korean science channel Unrealscience posted a video, now at 69,000 views, arguing that OpenAI's September Navier-Stokes announcement was not a complete solution, with fluid dynamics expert Min Tae-ki explaining its scope and limits. "At first I thought they'd found a general solution and was really shocked," one viewer wrote.
Skepticism showed up too. "Who says OpenAI never fakes the dates?" drew 24 likes under the Kogler video, and "If OpenAI sticks to releasing on GitHub, there's no reason a human can't write a paper on the same topic" drew 32.
