Asaf Karagila
Researcher
2
MENTIONS
2
EPISODES
2
PODCASTS
Search complete. 2 mentions across 2 episodes found for "Asaf Karagila".
Oct 9, 2026
JamieHOST
The volume is drawing sharp criticism.
JamieHOST
Set theorist Asaf Karagila calls it a denial of service on mathematicians, and Harvard's Melanie Wood notes that the work of understanding a proof only begins after release.
JamieHOST
Lab announced solved problems are claims until expert review checks each result against its formal statement.
JamieHOST
Budget reviewer time before building on any of them.
speaker_0HOST
So he wants mathematics to measure progress less by problems solved and more by explanation and new research directions.
speaker_0HOST
The set theorist Asaf Karagila makes a related complaint about one paper, which claims to settle a century-old question in his field.
speaker_0HOST
He says the paper is so unclear that a journal should reject it on quality alone, whether or not the proof is right, and he says he will not spend his time decoding it.
speaker_0HOST
OpenAI says it will ask its advisory group whether the rules for future releases should change.