Ethan Mollick (@emollick.bsky.social): Some early first-hand accounts of the experience of encountering a narrow superhuman intelligence as mathematicians grapple with the hundreds of big AI proofs released by OpenAI. Problems solved in…
Shows the immediate impact of superhuman AI on mathematical research and the challenges of interpreting alien intelligence outputs.
AI Summary
Mathematicians are struggling to understand 372 AI-generated proofs from OpenAI, including a proof of the long-unsolved Unique Games Conjecture, which appear superhuman but incomprehensible to humans.
Excerpt
Some early first-hand accounts of the experience of encountering a narrow superhuman intelligence as mathematicians grapple with the hundreds of big AI proofs released by OpenAI. Problems solved in inhuman ways that make us wonder what it means to actually know things... scottaaronson.blog?p=10169
