Shubo

Shubo is the cofounder of Axiom mentioned in 137. 对洪乐潼的4小时访谈：AI for Math、把数学变成Lean、数学天书中的证明、直觉、被创造与被发现的. The episode identifies him through his long-running conversations with Hong Letong / 洪乐潼 at a Palo Alto cafe, where they discussed mathematics, AI, history, science, and eventually the possibility of building an AI For Math company.

Source Position

• The source treats Shubo’s joining as important because Hong saw the problem as too large and lonely for one founder.
• His connection to Hong starts as intellectual friendship rather than a conventional founder search.
• The episode uses the relationship to frame Axiom’s origin as a mix of technical conviction, mathematical curiosity, and repeated high-density discussion.

Connections

• Hong Letong / 洪乐潼 — cofounder relationship in the source.
• Axiom, Axiom Prover, and AI For Math — company and technical mission he joins.
• AI Organization Design — founder-team formation and early deep-tech execution context.