Dana Moshkovitz
Israeli computer scientistWikipedia
9
MENTIONS
7
EPISODES
7
PODCASTS
Search complete. 9 mentions across 7 episodes found for "Dana Moshkovitz".
Oct 10, 2026
ParzivalHOST
And as one reader of the papers put it, "Any one of these would normally be a career." Scott Aaronson calls it the Mathocalypse.
ParzivalHOST
One of the results is a proof of the unique games conjecture, which his wife, the complexity theorist Dana Moshkovitz, worked toward her whole career, and their nine-year-old son told her, "Mommy, I heard you got cooked." Her verdict on the proof? Some alien craziness.
ParzivalHOST
Will DePue had two frontier models rank the big discoveries of the last three years, and eighty-one percent of that list came out in this one drop.
ParzivalHOST
OpenAI's Mark Chen calls it a decade of mathematical progress in a week.
Type 3 AudioNARRATOR
Quote, Scott Aaronson, Shtetl-Optimized.
Type 3 AudioNARRATOR
Last night my nine-year-old son was taunting my wife, complexity theorist Dana Moshkovitz, as follows, "Mommy, I heard you got cooked.
Type 3 AudioNARRATOR
I heard that a robot solved the math problem you worked on for your whole career." Oof.
Type 3 AudioNARRATOR
While my son was being a brat, he also wasn't wrong.
Type 3 AudioNARRATOR
Whether you're thrilled, depressed, angry, or whatever else about it, yesterday was surely one of the biggest days in mathematical history.
Type 3 AudioNARRATOR
And yes, among the 372 huge results released yesterday by OpenAI on the recommendation of its advisory group of Timothy Gowers, Edward Witten, and other distinguished mathematicians, was a proof of Subhash Khot's Unique Games Conjecture, UGC, a statement that my wife has worked toward proving for the entire time I've known her End quote.
Type 3 AudioNARRATOR
Then there is the other kind of new problem where those in denial who three years ago took comfort in talking about how LLMs could not do math have to find a new way to explain why anything an AI can do is not real or not meaningful.
Type 3 AudioNARRATOR
Quote, Shtetl Optimized.
Type 3 AudioNARRATOR
Scott Aaronson reports on the mathocalypse.
Type 3 AudioNARRATOR
Quote, Scott Aaronson, Shtetl-Optimized: "Last night my nine-year-old son was taunting my wife, complexity theorist Dana Moshkovitz, as follows, 'Mommy, I heard you got cooked.
Type 3 AudioNARRATOR
I heard that a robot solved the math problem you worked on for your whole career.' Oof.
Type 3 AudioNARRATOR
While my son was being a brat, he also wasn't wrong.
Type 3 AudioNARRATOR
Whether you're thrilled, depressed, angry, or whatever else about it, yesterday was surely one of the biggest days in mathematical history.
Type 3 AudioNARRATOR
And yes, among the 372 huge results released yesterday by OpenAI on the recommendation of its advisory group of Timothy Gowers, Edward Witten, and other distinguished mathematicians was a proof of Subhas Khot's unique games conjecture, UGC, a statement that my wife has worked toward proving for the entire time I've known her End quote.
Type 3 AudioNARRATOR
Then there is the other kind of new problem where those in denial who three years ago took comfort in talking about how LLMs could not do math have to find a new way to explain why anything an AI can do is not real or not meaningful.
Type 3 AudioNARRATOR
Quote, Shtetl-Optimized.
AaronHOST
He called this one of the biggest days in mathematical history.
AaronHOST
The most striking reaction came from his wife, Dana Moshkovitz, who has worked on this conjecture her entire career.
AaronHOST
She called the proof alien.
AaronHOST
It uses a new tree-based code instead of the standard techniques, and she said it reads like something written by someone on psychedelics.
denolfeHOST
Source, Shtetl Optimized.
denolfeHOST
The post discusses the recent release of 372 mathematical proofs generated by OpenAI's AI, including a proof of the unique games conjecture, a major goal for Dana Moshkovitz.
denolfeHOST
The author highlights the mixed reactions, excitement over AI's new capabilities and concern about the quality and interpretability of the proofs, which are often poorly written and hard for humans to understand.
denolfeHOST
The community debated whether these proofs are trustworthy, whether AI could have manipulated the results, and the implications for future mathematical research and the value of human insight.
![[YOU] on AI · Ahora](https://particle.news/cdn-cgi/image/format=auto,width=128/https://cdn.particle.pro/url/media/4e91d5b0-2117-58a6-bbc5-99f50507c704/4ba59d61cb1532c3192cbd071151c34c20f282a4cc8dbcff1e4711bdb0859bab)
Edo SegalHOST
OpenAI publicó esta semana setecientos veintidós manuscritos matemáticos generados por un modelo aún no lanzado y solo ciento sesenta y dos incluyen demostraciones verificables por máquina.
Edo SegalHOST
Scott Aronson señaló que el lote parece incluir una demostración verificada en Lean de la conjetura de juegos únicos, un problema en el que su esposa, Dana Moshkovitz, dedicó toda su carrera.
Edo SegalHOST
La preocupación más profunda que se plantea: la IA ya genera matemáticas más rápido de lo que incluso los mejores expertos pueden verificarlas, convirtiendo a los trabajadores del conocimiento en audiencia, no en autores.
Edo SegalHOST
[carraspea] Soy Edo Segal en Opus.
speaker_0HOST
Aaronson trusts the Lean check.
speaker_0HOST
He says almost none of the proofs have been understood by a human yet, but the unique games proof comes with a Lean certificate, so in his words, "We're pretty sure that it's a proof." His wife, the complexity theorist Dana Moshkovitz, has worked toward this conjecture for years.
speaker_0HOST
She says the paper is so badly written that it can't be read without help from an AI.
speaker_0HOST
Aaronson says she never doubted that the conjecture is true, even when many of her colleagues did.