# Yuhuai (Tony) Wu

> Yuhuai (Tony) Wu is a machine learning researcher and xAI co-founder whose work has focused on mathematical reasoning. From theorem-proving research at the University of Toronto to Minerva, autoformalization, AlphaGeometry and Grok 3, his career has followed a persistent question: how can AI produce answers that can be checked? He announced his departure from xAI in February 2026.

- **Role:** Machine learning researcher and entrepreneur
- **Organizations:** xAI, Google Research, Google DeepMind, Stanford University, University of Toronto, University of New Brunswick
- **Education:** BSc in Mathematics, University of New Brunswick, PhD in Computer Science, University of Toronto
- **Known for:** Co-authored AlphaGeometry, which solved 25 of 30 Olympiad geometry problems in its published benchmark., Co-authored Minerva, a language-model approach to quantitative reasoning., First author of Autoformalization with Large Language Models.

## Career timeline

- **2013** — Part of a University of New Brunswick team that placed second at the Science Atlantic Mathematics Competition.
- **2014** — Won first place for an undergraduate oral research presentation at the Science Atlantic mathematics conference.
- **2015** — Completed undergraduate mathematics studies at the University of New Brunswick and began doctoral study at the University of Toronto.
- **Before 2023** — Did postdoctoral research at Stanford with Percy Liang and Jay McClelland, and worked with Google’s N2Formal team led by Christian Szegedy.
- **2022** — Co-authored STaR, Minerva and Autoformalization with Large Language Models.
- **2023** — Joined xAI as a co-founder.
- **2024** — Co-authored the AlphaGeometry paper in Nature; University of Toronto thesis record lists his doctoral dissertation.
- **2025** — Appeared in xAI’s Grok 3 launch presentation.
- **2026-02** — Announced his resignation from xAI.

## Achievements

- Co-authored AlphaGeometry, which solved 25 of 30 Olympiad geometry problems in its published benchmark.
- Co-authored Minerva, a language-model approach to quantitative reasoning.
- First author of Autoformalization with Large Language Models.
- Co-authored STaR: Bootstrapping Reasoning With Reasoning.
- Received a Google PhD Fellowship and an NSERC Canada Graduate Scholarship (Doctoral).
- Won first place for an undergraduate research presentation at the 2014 Science Atlantic mathematics conference.

## Latest updates

- **2026-02** — Announced his resignation from xAI on X.

## Links

- Website: https://yuhuaiwu.github.io/
- LinkedIn: https://www.linkedin.com/in/yuhuai-tony-wu-02a641b5/
- Twitter/X: https://x.com/Yuhu_ai_
- GitHub: https://github.com/tonywu95

---

Profile page: https://yespress.io/yuhuai-tony-wu
Published by YesPress — https://yespress.io
Last updated: 2026-09-29