Set theorist and AI math benchmarker
Referenced in coverage
“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.”