Researcher on the OpenAI reasoning team. Known for leading work behind the model that reached IMO gold-medal level, and for using a general-purpose model to help disprove a decades-old mathematical conjecture. Focuses on advanced reasoning and math.
Researcher on the OpenAI reasoning team. Known for leading work behind the model that reached IMO gold-medal level, and for using a general-purpose model to help disprove a decades-old mathematical conjecture. Focuses on advanced reasoning and math.