25-year-old Guangzhou post-00s Hong Letong: Using math to make AI reasoning verifiable, company Axiom secures $200M Series A funding valued at $1.6B

AI large models are powerful, but hallucinations remain an industry pain point—probabilistic errors could lead to disasters in key fields like finance and defense. Axiom, founded by 25-year-old Guangzhou post-00s Hong Letong, is solving this problem with math: making AI reasoning verifiable step-by-step like mathematical proofs.

Recently, Axiom announced a $200M Series A funding round, valuing the company at $1.6B and becoming a unicorn in less than a year. Hong's team uses Lean language to train AI, outputting results with verifiable proof processes to eliminate ambiguity. Ken Ono, a tenured professor at the University of Virginia, even resigned to join, having witnessed the possibility of mathematical superintelligence.

This generation of post-00s entrepreneurs like Hong Letong, who start businesses to solve technical problems rather than chase trends, are rewriting the narrative rules of the AI industry.