Christian Szegedy
Founder, Math Inc; Angel Investor at math-inc
Reviewed Updated Jun 17, 2026This profile is AI-generated. If you spot an error, please help us fix it by sharing a URL to the correct information.
Background
Christian Szegedy is a research scientist turned founder and angel investor based in the San Francisco Bay Area. He was a Principal Scientist at Google Brain, where he is best known as the architect of the Inception / GoogLeNet convolutional neural network and as a co-author of the seminal paper introducing adversarial examples to deep learning 1. He was a co-founder of xAI, the AI lab founded by Elon Musk in 2023, alongside Greg Yang, Yuhuai Wu, Kyle Kosic and others 23.
After leaving xAI, Szegedy joined Morph Labs as Chief Scientist, focusing on formal verification and AI-assisted theorem proving 31. On September 11, 2025 he announced the launch of Math, Inc., a new company “dedicated to the creation of verified superintelligence via autoformalization,” building on infrastructure developed at Morph Labs 4. Math, Inc.’s autonomous agent GAUSS subsequently completed Terence Tao and Alex Kontorovich’s Strong Prime Number Theorem formalization project in three weeks — an effort that had stalled for 18 months under human progress 4.
Szegedy holds a doctorate from the University of Bonn (1998–2005), where he worked on matching theory and algebraic graph theory 1. He speaks English, Hungarian and German 1.
Stated Thesis
Szegedy has not published a formal investment thesis. In interviews he describes his interest in AI systems that combine large-scale compute with formal mathematical verification, and in teams pursuing what he views as the missing infrastructure for trustworthy AI. He told the Information Bottleneck podcast that he is “100% convinced that transformers will not be the…main workers in five years,” signaling skepticism of current architectures while remaining bullish on AI for mathematics 5.
He has not articulated stage, check size or sector preferences as an angel.
Inferred Thesis
Sample size is small — only three angel/advisor positions could be independently verified — so this section uses qualitative description rather than percentages.
- Stage: Seed and pre-seed. All three confirmed positions are at very early-stage technical companies.
- Sector concentration: AI infrastructure, AI for code, and AI for formal/verified systems. Kodesage applies AI to legacy enterprise software modernization (COBOL etc.) 67. Morph Labs (where he is Chief Scientist and an early investor) builds infrastructure for AI-generated code quality 3. Verita AI, where he serves as advisor and angel, sits in the AI-verification space 8.
- Founder profile: Technical founders with research or deep-engineering backgrounds. The Kodesage founding team (Gergely Dombi, Miklós Szurdi, György Szilágyi) are Hungarian technology entrepreneurs 69; Szegedy is himself Hungarian-origin and the Kodesage round has a Central European angel cluster (also Mario Götze) 67.
- Geography: Mixed US (Bay Area) and Central Europe (Hungary). Math Inc. and Morph Labs are Bay Area–based; Kodesage is Hungarian-founded.
- Pattern: Szegedy’s investing appears closely tied to his operating focus — he angels into companies whose work is adjacent to his own research priorities (autoformalization, AI code generation, verified AI systems).
Three confirmed angel/advisor positions is too thin to compute percentages, and there may be additional unannounced investments not visible in public sources.
Portfolio
| Company | Year | Stage | Source |
|---|---|---|---|
| Kodesage | 2026-06-04 | Seed (angel) | 6710 |
| Morph Labs | ~2024 | Seed (angel) | 3 |
| Verita AI | ~2025 | Angel + advisor | 8 |
This table represents only what could be independently verified from press and company announcements; Szegedy may have additional unannounced angel positions.
In Their Own Words
On the leverage of small teams with massive compute, describing the founding team of xAI:
“12 people for a year, who used initially 5,000-ish, then more like…200,000 GPUs.”
— Christian Szegedy, The Information Bottleneck podcast, interviewed by Ravid Shwartz-Ziv and Allen Roush, May 4, 2026 5
On why he left xAI to focus on formal mathematics:
“I leave xAI if we are doing this formalization project together.”
— Christian Szegedy, The Information Bottleneck podcast, May 4, 2026 5
On current architectures:
“I’m 100% convinced that transformers will not be the…main workers in five years.”
— Christian Szegedy, The Information Bottleneck podcast, May 4, 2026 5
On AI risk:
“I distrust humanity more than I distrust AI actually.”
— Christian Szegedy, The Information Bottleneck podcast, May 4, 2026 5
Announcing Math, Inc.:
“Excited to share that I am starting a new company dedicated to the creation of verified superintelligence via autoformalization. Building on the amazing RL infrastructure that we have developed at @morph_labs, @mathematics_inc has already achieved a breakthrough result…”
— Christian Szegedy, X (formerly Twitter), September 11, 2025 4
What Founders Say
No independently sourced founder testimonials about Christian Szegedy as an angel investor were found. Press coverage of Kodesage highlights his participation as a credibility signal but does not include direct founder quotes about working with him 67.
Connections
- Founder, Math, Inc. (2025–present) — autoformalization and verified superintelligence research company 4.
- Chief Scientist, Morph Labs — joined after leaving xAI; angel investor in Morph Labs seed 3.
- Co-founder, xAI (2023) — alongside Elon Musk, Greg Yang, Yuhuai Wu (Tony), Kyle Kosic and others 23.
- Former Principal Scientist, Google Brain — architect of the Inception/GoogLeNet convolutional network; co-author of foundational adversarial examples paper 1.
- Advisor and angel, Verita AI — joined approximately late 2025 8.
- Co-investor with Mario Götze on the Kodesage Seed round (June 2026) 67.
- Co-investor with VentureFriends and Portfolion on the Kodesage Seed round 6710.
Sources
-
Christian Szegedy LinkedIn profile, “Math Inc — San Francisco Bay Area,” accessed June 2026. https://www.linkedin.com/in/christian-szegedy-bb2848↩↩↩↩↩
-
Tracxn company profile for xAI, listing co-founders including Christian Szegedy, accessed June 2026. https://tracxn.com/d/companies/xai/__saKrxbHN3TRWW-I4lYH6zkx6N5P_kMTqlLcKTzWs2ug↩↩
-
The Information, “XAI Cofounder Joins AI Code Startup Morph As Chief Scientist,” accessed June 2026. https://www.theinformation.com/briefings/xai-cofounder-joins-ai-code-startup-morph-chief-scientist↩↩↩↩↩↩
-
Christian Szegedy (@ChrSzegedy), X post announcing Math, Inc., September 11, 2025. https://x.com/ChrSzegedy/status/1966186676289741117↩↩↩↩
-
The Information Bottleneck podcast, “Inside xAI, and the Bet on AI Math — with Christian Szegedy (Math Inc.),” interviewed by Ravid Shwartz-Ziv and Allen Roush, May 4, 2026. https://www.the-information-bottleneck.com/inside-xai-and-the-bet-on-ai-math-with-christian-szegedy-math-inc/↩↩↩↩↩
-
The Recursive, “Backed by xAI Co-Founder Christian Szegedy, Hungarian Kodesage Raises €5.67M,” June 2026, accessed June 2026. https://www.therecursive.com/hungarian-kodesage-raises-eur5-67m/↩↩↩↩↩↩↩
-
Budapest Business Journal, “Hungarian-founded Kodesage Raises USD 6.6 mln to Modernize Legacy Enterprise Software,” June 4, 2026, accessed June 2026. https://bbj.hu/business/tech/innovation/hungarian-founded-kodesage-raises-usd-6-6-mln-to-modernize-legacy-enterprise-software/↩↩↩↩↩↩
-
Verita AI LinkedIn announcement, “Excited for Christian Szegedy to join Verita as advisor and angel investor,” accessed June 2026. https://www.linkedin.com/posts/verita-ai_excited-for-christian-szegedy-to-join-verita-activity-7383984846064283648-XnuL↩↩↩
-
Tech.eu, “Kodesage raises $6.6M for AI-powered legacy software modernisation,” June 4, 2026, accessed June 2026. https://tech.eu/2026/06/04/kodesage-raises-66m-for-ai-powered-legacy-software-modernisation/↩
-
FinSMEs, “Kodesage Raises $6.6M in Seed Funding,” June 2026, accessed June 2026. https://www.finsmes.com/2026/06/kodesage-raises-6-6m-in-seed-funding.html↩↩