PERSON DIRECTORY
Carina Hong
Carina Hong appears in 2 indexed conversations across Gradient Dissent, Latent Space. This directory brings every appearance, source, TL;DR, digest, and transcript into one searchable feed.
Scaling Past Informal AI - Carina Hong, Axiom Math
Axiom’s $200 million Series A at a reported $1.6 billion valuation bets that formal math can become infrastructure for AI-generated code, software, hardware, and science.Lean’s binary proof signal supported a 120/120 Putnam result and efficient reinforcement learning, while hardware offers the clearest willingness to pay; specification quality, ecosystem coverage, and commercial speed remain unresolved risks.
She Raised $64M to Build an AI Math Prodigy | Carina Hong, CEO of Axiom
Axiom’s $64 million wager combines probabilistic generation with deterministic Lean verification through a prover, conjecturer, shared knowledge base, and auto-formalization layer.Its provisional Putnam 2026 result of eight problems within exam time and a reported ninth signals capability, while chip verification, safety-critical code, and legacy-code equivalence offer commercial wedges whose harder constraint may be specifying what “correct” means.