Mathematicians react to hundreds of AI-generated proofs released by OpenAI
Original titleSome early first-hand accounts of encountering a narrow superhuman intelligence as mathematicians grapple with the hundreds of big AI pro...
AISummary
Ethan Mollick shares early first-hand accounts from mathematicians grappling with hundreds of AI proofs released by OpenAI. He highlights problems solved in ways no human has yet understood, raising questions about what it means to know something.
The linked Scott Aaronson post quotes a researcher, Dana, describing the proofs as unclear and hard to read without AI help, with some possibly verified by a Lean certificate.
Source: Ethan Mollick · x.com