Cheuk Hei Chu

Cheuk Hei Chu is a Hong Kong mathematician and AI researcher. Representing Hong Kong, he competed in the International Mathematical Olympiad 2020-2023, winning Gold in 2022 and 2023 and Silver in 2021, while at St Paul's Co-educational College. He studied at MIT (B.S., Double Major in AI & Math, 2023-2026), did undergraduate research at MIT CSAIL under Phillip Isola, and was a 2025-2026 MIT SuperUROP/MGAIC scholar in mechanistic interpretability of vision-language models. He completed a Quantitative Research Internship at Citadel Securities (Jun-Aug 2025, alpha research) and won first prize at the 2025 Citadel Securities Quant Invitational. His LinkedIn lists him as a Researcher at OpenAI (2026-), consistent with his commits to OpenAI's cdc-lean formalization repository and his naming in press coverage of OpenAI's September 2026 Navier-Stokes announcement.

Notes13

• OpenAI published 'On the Navier-Stokes Millennium Prize Problem' (8 Sep 2026) with an AI solution and Lean formal proof; a WSJ feature (8 Sep 2026) opens with Cheuk Hei Chu learning of the result 'when he looked at his phone after emerging from an escape room', placing him on the OpenAI team involved.Sep 8, 2026
• Contributed to openai/cdc-lean, an OpenAI Lean/mathlib formalization repo: commit 'Formalize Seymour 6-flow implication to CDC' by author Cheuk Hei Chu (~mid-2026), tying him to the Lean formal-math work behind OpenAI's Sept 2026 Navier-Stokes announcement.Jun 2026
• LinkedIn headline 'Math + AI @ MIT | IMO Gold '22 '23'; profile lists OpenAI as current employer and MIT (B.S., Double Major in AI & Math, 2023-2026). Primary identity anchor.2026
• LinkedIn (index) lists 'Quantitative Research Intern' at Citadel Securities, Jun 2025-Aug 2025 (~3 months), Miami, FL, 'alpha research'. Index-only self-reported profile field; not independently confirmed - see the 'Quant employment verification' note.Aug 2025
• Quant employment verification: UNRESOLVED. Evidence: a Quantitative Research Intern role at Citadel Securities (Jun 2025-Aug 2025, ~3 months, Miami FL, 'alpha research') is listed on his LinkedIn profile - the only document carrying it. This is an index-only, self-reported claim: no Citadel Securities primary source (e.g. a firm team page, offer/announcement, or third-party verifiable record) was located, so per the task's standard it is NOT treated as independent primary-source confirmation. Identity is otherwise well supported (IMO Gold 2022/2023 and Silver 2021 for Hong Kong; MIT math/AI; Hong Kong origin; OpenAI research), so the subject is identified, but the specific role's authenticity beyond the self-report is unverified. Employer classification: Citadel Securities is a global market maker / electronic trading firm and DOES operate in quantitative finance, so the role type would qualify if the role is genuine. Excluded as non-employment: 'Citadel Securities Quant Invitational' (Jan 2025, 1st place, $10,000 with teammate Tristan C.) is a competition, not a job. No other quant employer found; OpenAI, Thespian Labs and MIT roles are non-quant. Verdict: UNRESOLVED (self-reported/index-only; employment not independently confirmed).Aug 2025
• Separately listed: 'Citadel Securities Quant Invitational' (Jan 2025) with description 'first place' - a competition, not employment.Jan 2025
• MIT SuperUROP scholar: 'MIT MGAIC | MIT Generative AI Impact Research and Innovation Scholar', cohort 2025-2026, EECS and Mathematics, research title 'Mechanistic Interpretability of Modern Vision-language Models', supervisor Phillip Isola; public email [contact omitted].2025
• IMO record for Hong Kong: 2023 rank 28, 95.6%, Gold (35); 2022 rank 38, 93.7%, Gold (34); 2021 rank 53, 91.6%, Silver (23); 2020 also listed. Four appearances 2020-2023.Jul 2023
• Undergraduate Researcher at MIT CSAIL, 2025-2026, supervised by Prof. Phillip Isola; Isola's MIT group page lists Cheuk Hei Chu under 'Former Members and Visitors'.2026
• Teammate Tristan C. (Math & CS @ MIT) states 'Together with Cheuk Hei Chu, we won the $10000 first prize at the Second Annual Quant Invitational by implementing several stochastic techniques and time series' - independent corroboration of the competition and $10,000 prize.2025
• Won IMO 2022 Gold for Hong Kong while at St Paul's Co-educational College, per HK government press release (18 Jul 2022).Jul 18, 2022
• AI Research Intern at Thespian Labs, Jan 2026 (1 month, Cambridge, MA), human behavior models - a brief non-quant internship.Jan 2026