Christian SzegedyCo-founder · Math Inc.Researcher↗Both at Math Inc.
Researcher · Founder · Executive
Jesse Han
Math Inc.Co-founder and CEO
Han co-founded Math Inc. and leads Gauss, an AI agent that translates informal mathematics into proofs checked by Lean, a system that catches missing steps and logical errors. The goal is to make advanced mathematics easier to verify and eventually accelerate reliable mathematical discovery.
Career & education
Current roleMath Inc.2025-presentCo-founder and CEO
Math Inc.2025-presentPreviously
Morph Labs2023-2025Founder and CEO
OpenAI2021-2022Member of Technical Staff
Morph Labs2023-2025OpenAI2021-2022Education
Work and education history is primarily focused on AI-relevant roles and may not be comprehensive.
Citation Trend
Total citations to scholarly work, including research papers, technical reports, books and theses, as recorded by Google Scholar. Each point is a dated snapshot.
citations2,053As of Jul 19, '26
Updates 1
Selected contributions
GPT-4 Technical Report
With OpenAI, Joshua Achiam, Steven Adler, Sandhini Agarwal, Lama Ahmad, Ilge Akkaya, Florencia Leoni Aleman and others ·Reported GPT-4's capabilities, limitations and safety evaluations as a text-and-image input model.
Based on public sources. If accuracy is important, verify details using the links or references.
For corrections, updates, or requests to remove information, contact us.
Reviewed August 8, 2026 · Checked for accuracy and new information.