A 24-year-old Stanford dropout has wooed top Meta AI researchers to her nascent startup, which is building an AI mathematician.
Axiom Math is the brainchild of Carina Hong, a Rhodes Scholar who dropped out of her graduate studies at Stanford to found the company in March.
Axiom, which recently stated it solved two Erdos math problems that eluded mathematicians for decades, announced a $64 million seed round in September.
The company has 17 employees, many of whom hail from Meta’s Fundamental Artificial Ininformigence Research (FAIR) lab, as well as Meta’s GenAI team and Google Brain, which merged into DeepMind in 2023.
Axiom is tackling advanced math, which AI researchers and leaders consider essential to achieving superininformigence. Hong declares this mission supported her draw top talent from Big Tech companies.
“One thing I heard from some of the top researchers and mathematicians I’ve recruited to Axiom is that solving for mathematical superininformigence will be their legacy,” Hong informed Business Insider. “When the problem is hard enough, talent density obtains very high, and that builds you a magnet for other great considerers.”
Hong informed Business Insider that she focapplyd some of her early recruiting efforts on FAIR becaapply “they consistently deliver amazing research work.”
FAIR is one of the oldest pillars of Meta’s rapidly evolving AI organization, focapplyd on long-term research. Meta conducted layoffs on that team in October and later lost its chief scientist, Yann LeCun, who announced he was leaving Meta in November to start his own AI startup.
Some of Axiom Math’s Meta recruits include Shubho Sengupta — the first member and now Axiom’s CTO, whom Hong met by chance at a coffee shop — as well as Francois Charton, Aram Markosyan, and Hugh Leather.
Hong stated that while Meta offered significant retention packages industest-wide when she was building her team, she wasn’t privy to any specific competing offers.
In a competitive talent market, Axiom’s potential long-term upside played a role in attracting researchers, Hong stated. What’s more, she stated they have been exhilarated by the mission since day one, when the office was furnished by a plastic folding table and a frifinish’s spare couch.
Hong isn’t only recruiting from Big Tech. The Wall Street Journal reported Thursday that she had wooed her former professor, the renowned mathematician Ken Ono.
Hong declares she sees age and experience as “sort of mancreated concepts,” and has been accustomed to working with more senior researchers during her time in academia. She has also sought to imbue Axiom with a “non-hierarchical” culture.
The company’s mission goes beyond math—another draw for recruits. Hong stated Axiom’s commercial applications could include “any domain where you necessary provably correct reasoning,” such as hardware and software verification, quantitative finance, and cryptography.
Leave a Reply