Complexity Theorist at University of Texas at Austin
Mathematician whose career work on the Unique Games Conjecture was solved by OpenAI's AI model, representing a significant milestone in AI-assisted mathematics.
Referenced in coverage
“Moshkovitz worked on the Unique Games Conjecture for her entire career before OpenAI's AI model solved it, finding the proof difficult to understand.”