Set theorist and AI math benchmarker
Based on 3 scored articles
Referenced in coverage
“Objects forcefully to paper about Navier-Stokes mistranslation, defending validity of OpenAI's formalization work.”
“Set theorist who joined discussion about rumors that OpenAI is sitting on close to 100 solutions of longstanding mathematics problems.”
“Expressed skepticism that Astra is a step change beyond Sol, suggesting the breakthrough was a concerted elicitation effort partially achievable by Sol.”