Christian SzegedyResearcher
Math Inc.
Co-founder
via Math Inc.
Researcher · Founder · Executive
Jesse Han
JH
Co-founder and CEO at Math Inc.
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.
See something inaccurate or outdated?
Background
Current role
Co-founder and CEO 2025-presentMath Inc.
Math Inc.Previously
2023-2025Founder and CEO, Morph Labs
2021-2022Member of Technical Staff, 
OpenAI
OpenAIEducation
About this data
Work and education history is primarily focused on AI-relevant roles and may not be comprehensive.
Last editorial review: August 8, 2026News 1
Citation Trend
1 snapshots2,053citations as of Jul 19, '26
For today’s citation count and citations per paper, visit Google Scholar.