Carina Hong (@CarinaLHong) / X

Carina Hong

775 posts

Carina Hong

@CarinaLHong

@axiommathai : axiommath.ai/careers

Joined November 2021

Pinned
Carina Hong
@CarinaLHong
Mar 12
Excited to announce Axiom’s Series A. We raised $200 million fresh capital at a $1.6 billion+ valuation in a round led by Menlo Ventures to accelerate our strong execution momentum — extending our lead in formal math into Verified AI. Mathematicians and theoretical scientists
Axiom
@axiommathai
Mar 12
Axiom launched six months ago with one conviction: mathematics is the right foundation for building systems that reason. Today we announce Axiom's Series A. We raised $200M at a $1.6B+ valuation, led by @MenloVentures, to extend our lead in formal mathematics into Verified AI.
00:00
111K
Carina Hong
@CarinaLHong
Sep 30, 2025
Today, I am launching @axiommathai At Axiom, we are building a self-improving superintelligent reasoner, starting with an AI mathematician.
00:00
1.3M
Carina Hong
@CarinaLHong
Oct 22, 2025
To the brilliant scientists at Meta FAIR & GenAI: You are world-class. We have read your work. You deserve a new place you call home. Axiom is a frontier reasoning lab, just out of stealth with a $64M seed.🚀 No politics. Only SOTA research. Restoring the golden age of FAIR.
412K
Carina Hong
@CarinaLHong
Jan 19, 2025
1. OAI binds Epoch to an NDA until eve of o3 performance claim, preventing Epoch to disclose OAI is the donor and that OAI has exclusive data access 2. Mathematicians then sign NDA on the problem & solution they create. They were led to believe it is to prevent data contamination
65K
Carina Hong
@CarinaLHong
Jan 18, 2025
Replying to @GaryMarcus
Six mathematicians who significantly contributed to the FrontierMath benchmark confirmed this is true - that they are unaware that OpenAI will have exclusive access to this benchmark (and others won’t). Most express they are not sure they would have contributed had they known.
62K
Carina Hong
@CarinaLHong
Oct 23, 2025
Wow, since yesterday afternoon we received many excellent applications. Come work with the best team!
Carina Hong
@CarinaLHong
Oct 22, 2025
To the brilliant scientists at Meta FAIR & GenAI: You are world-class. We have read your work. You deserve a new place you call home. Axiom is a frontier reasoning lab, just out of stealth with a $64M seed.🚀 No politics. Only SOTA research. Restoring the golden age of FAIR.
50K
Carina Hong
@CarinaLHong
Oct 2, 2025
Join us! New website: axiommath.ai
Carina Hong
@CarinaLHong
Sep 30, 2025
Today, I am launching @axiommathai At Axiom, we are building a self-improving superintelligent reasoner, starting with an AI mathematician.
00:00
14K
Carina Hong
@CarinaLHong
Sep 30, 2025
Replying to @CarinaLHong
Mathematical discovery unlocks everything: from the human brain to the cosmos. Throughout history, every mathematical breakthrough amplified the next. AI changes this game entirely. Mathematical discoveries can now unfold at exponential scale and unprecedented speed. We’re at
14K
Carina Hong
@CarinaLHong
Sep 30, 2025
Replying to @CarinaLHong
Our team: the architect of synchronous training at scale, the first to bring deep learning to code generation, and the pioneer who used Transformers to solve century-old math conjectures. Three disciplines. One mission.
14K
Carina Hong
@CarinaLHong
Sep 30, 2025
Replying to @CarinaLHong
This renaissance rests on three pillars: 1/ AI generates ideas at unimaginable scale. 2/ Programming languages makes abstract concepts real. 3/ Mathematics ties it all together. This creates a flywheel of discovery where each breakthrough accelerates the next.
8.6K
Carina Hong
@CarinaLHong
Sep 30, 2025
Replying to @CarinaLHong
An AI mathematician at your fingertips. Join us on this mission: axiommath.ai/join-us/
14K
Carina Hong
@CarinaLHong
Nov 7, 2025
Being on a podcast I'm a huge fan of is a bit surreal. Grateful to @samcharrington and @twiml for the space to talk about why this moment in AI + mathematics feels special -- not just because models are smarter, but because three worlds are finally converging: LLM reasoning,
The TWIML AI Podcast
@twimlai
Nov 4, 2025
In this episode, @CarinaLHong, founder and CEO of @axiommathai, joins us to discuss her work building an "AI Mathematician." Carina explains why this is a pivotal moment for AI in mathematics, citing a convergence of three key areas: the advanced reasoning capabilities of modern
00:00
12K
Carina Hong
@CarinaLHong
Sep 17, 2025
Today is the Pythagorean Triangle day! 09/16/25 🎉🎉🎉
7.2K
Carina Hong
@CarinaLHong
Jan 19, 2025
Replying to @CarinaLHong
“I would also emphasize more broadly that labs benefit greatly from having truly uncontaminated test sets.” Tamay’s right: in ML, having high quality, diverse, but most importantly truly uncontaminated test sets gives OAI a (somewhat unfair, due to lack of transparency) advantage
5.8K