Henry Yuen

OpenAI's internal model has solved ten open problems in mathematics and theoretical computer science, including parallel repetition for arbitrary quantum games and a lower bound on the arithmetic circ…

OpenAI released a 249-page manuscript claiming its internal Astra model solved ten open problems in mathematics and theoretical computer science, with Lean 4 formal proofs published on GitHub under Ap…

OpenAI announced it solved 10 open math problems using its unreleased Astra model, drawing reactions from mathematicians who called the results 'incredible' and a 'big deal.' Jay Cummings, a math prof…