A young entrepreneur is making waves in the tech world. Her name is Carina Hong. She is just 24 years old. She was born in China and studied in the United States. She dropped out of a Stanford Ph.D. program. She left to start her own company.
Her company is called Axiom Math. It is an artificial intelligence startup. The company focuses on advanced mathematics. Many experts believe math is key to creating super-smart AI.
Who is Carina Hong? Early Success and Funding
Carina Hong founded Axiom Math in March of this year. The company grew very fast. In September, it raised $64 million in seed funding. This is a very large amount for a new company.
She has built a team of 17 people. Many of her employees come from top tech companies. They come from Meta’s AI research lab and Google Brain. This shows her ability to attract top talent.
Carina Hong’s Background
Carina Hong grew up in Guangzhou, China. She loved math from a very young age. She taught herself English to read advanced math books. In high school, she was on her province’s math Olympiad team. She was one of only four girls on the team.
She did well in national math competitions. But she became more interested in research math. She said Olympiad math gives quick rewards. Research math is harder and involves struggle. She said she likes that challenge.
Her talent got her into MIT. She studied mathematics and physics there. She was the first in her family to go to college. She wrote nine research papers and took many hard courses. She won a major prize for her research in 2023.
She then studied at Oxford University as a Rhodes Scholar. After that, she went to Stanford for a law degree and a math Ph.D. She left Stanford to start her company.
Starting the Company
The idea for Axiom Math came from casual meetings. She often studied at a coffee shop near Stanford. There she met an AI researcher from Meta named Shubho Sengupta. They talked about using AI to solve hard math problems.
She remembered advice from AMD CEO Lisa Su. The advice was to run toward the hardest problems. When her company got funding, she dropped out of Stanford.
The name “Axiom” comes from mathematics. An axiom is a basic truth that starts a theory. Her goal is to build an “AI mathematician.” This AI would solve complex problems. It would generate proofs and check its own work.
She wants to turn math knowledge from books and papers into software. The AI could then create and verify new problems. She hopes it will one day propose new theories.
Attracting Top Talent
Carina Hong has recruited famous experts. One is Ken Ono, a world-renowned mathematician. He was her former mentor. He joined Axiom to help test the AI with hard problems. He said he joined for the intellectual challenge, not the money.
Other key hires include researchers from Meta. One solved a 100-year-old math problem. Another led safety research at Meta.
She says ambitious goals attract great people. Solving math with AI could be their legacy. The company’s work could also be used in finance, cryptography, and software verification.
Her office started with just a folding table and a friend’s couch. Now, she is leading one of the most watched AI startups in the world.