Estreia | Axiom acaba de conseguir financiamento de 1,4 mil milhões, com Hong Letong, de 25 anos, a liderar a equipa

Investing界 soube da mais recente rodada de financiamento —

A startup de IA fundada por Hong Letong, Axiom, anunciou a conclusão de uma rodada Série A de 200 milhões de dólares, liderada pela Menlo Ventures, com aportes contínuos de Greycroft, Madrona Venture, B Capital, Toyota Ventures e outros acionistas antigos. Assim, a avaliação da empresa atingiu 1,6 bilhão de dólares (aproximadamente 110 bilhões de RMB).

Hong Letong tem 25 anos, nasceu em Guangzhou, estudou na Escola Secundária Anexa à Universidade Normal de South China, e ganhou múltiplos prêmios em competições de matemática olímpica. Depois, sua trajetória acadêmica passou pelo MIT, Universidade de Oxford, até que, durante o doutorado na Stanford, decidiu se dedicar ao empreendedorismo.

O setor de investimentos já teve contato privado com Hong Letong, quando a Axiom ainda estava em estágio inicial. Lembro-me de uma mensagem que ela escreveu na rede social durante a fundação da Axiom: “Desejo fazer de mim uma flor e uma árvore. Colorida e apaixonada, mas também isolada e firme.”

Fonte da imagem: MIT

Além das escolhas individuais, uma nova face de uma era está emergindo: fundadores nascidos após 2000 estão conquistando o palco da IA.

Acabaram de levantar 1,4 bilhão

Fundada há um ano, avaliada em 11 bilhões

A história começou numa conversa numa cafeteria.

Era um fim de semana de outono de 2024, quando Hong Letong, de 23 anos, encontrou Shubho Sengupta, então Diretor de Pesquisa de IA na Meta, perto de Stanford.

Durante horas, discutiram sobre as interseções de suas áreas de pesquisa e como a IA poderia resolver os problemas matemáticos mais difíceis do mundo. Logo, Hong Letong tomou uma decisão calma, mas resoluta: abandonar Stanford e fundar a Axiom.

A história de uma jovem prodígio sempre vem com um halo. Em pouco tempo, o nome Hong Letong se espalhou de forma discreta e rápida no círculo de venture capital. Nesse momento, ela quase não fala sobre tendências ou disrupções, mas sim sobre sua curiosidade pelos problemas e sua clareza na avaliação do potencial tecnológico.

Hoje, a Axiom anunciou a conclusão de uma rodada Série A de 200 milhões de dólares, e, com menos de um ano de existência, já entrou na lista dos unicórnios.

Há apenas cinco meses, a startup havia concluído sua rodada seed. Naquela época, a empresa emergente transmitia uma mensagem firme ao mercado: a matemática é a base correta para construir capacidades de raciocínio na IA.

Em dezembro do ano passado, o sistema central da Axiom obteve nota máxima na competição Putnam, considerada a Olimpíada de Matemática para estudantes de graduação, resolvendo todas as 12 questões. Para se ter uma ideia, nos últimos quase 100 anos, apenas cinco pessoas alcançaram esse feito. Depois, o sistema também provou autonomamente várias conjecturas abertas em teoria dos números.

Resolver problemas matemáticos é só a ponta do iceberg. A Axiom está transferindo essa capacidade de raciocínio matemático “absolutamente correto” para o campo da verificação de código, usando aprendizagem por transferência, tentando solucionar diversos problemas da IA generativa.

Atualmente, a indústria de IA enfrenta uma contradição aguda: modelos grandes evoluem rapidamente, mas sua confiabilidade permanece uma caixa preta. As “besteiras” na aplicação diária podem não ser graves, mas em setores como finanças, defesa ou infraestrutura crítica, qualquer erro probabilístico pode causar desastre.

“Estamos entrando num mundo onde a IA quase pode programar todo o software, mas por trás há um problema quase invisível: todo código não verificado representa um risco enorme”, afirma Matt Kraning, sócio da Menlo Ventures. “A IA escreverá todo o código, mas a matemática verificará sua correção.”

A resposta da Axiom é a IA verificável (Verified AI).

De forma simples, seu diferencial está na validação formal: usando a linguagem de programação Lean, converte provas matemáticas em programas executáveis, garantindo a correção dos resultados. Aqui, modelos grandes deixam de “adivinhar” respostas com base em probabilidades, e passam a transformar o código em lógica matemática rigorosa, provando os resultados. Cada passo do raciocínio deve passar por um verificador determinístico.

“Grandes avanços científicos geralmente envolvem duas etapas: propor hipóteses e depois verificá-las com provas. Criar a Axiom é uma tentativa de comprimir ao máximo o tempo entre a curiosidade e a verdade”, explica Hong Letong. Para ela, a evolução recursiva da IA está próxima, e sua missão final é clara:

“Verified AI não se preocupa apenas em corrigir falhas na IA. Seu verdadeiro objetivo é explorar o limite da IA, o caminho para a superinteligência.”

Uma líder feminina nascida após 2000

De Guangzhou

A história da Axiom não se desvincula de Hong Letong, que sempre esteve em alta.

Nascida em 2001 em Guangzhou, filha de pais潮汕. Desde pequena, mostrou talento excepcional em matemática, estudando na renomada Escola Normal de South China. No ensino médio, foi uma das quatro meninas na equipe de matemática olímpica de sua província, conquistando várias premiações em competições como o Prêmio Hua Luogeng e a Liga Nacional de Matemática do Ensino Médio.

Em 2019, ingressou no MIT, cursando dupla graduação em Matemática e Física. Após três anos, recebeu a prestigiosa bolsa Rhodes na Universidade de Oxford, sendo uma das quatro chinesas a conquistá-la. A bolsa Rhodes é uma das mais antigas e prestigiadas do mundo, conhecida como o “Nobel de graduação”.

Depois, obteve mestrado em Oxford e realizou pesquisas em IA e aprendizado de máquina na University College London, expressando seu interesse: “Como será a interação futura entre IA e cientistas? É um tema que quero explorar.”

Em agosto de 2024, entrou na Stanford para cursar doutorado em Matemática e Direito. “Sempre fui uma pesquisadora”, afirmou em uma entrevista anterior, destacando seu desejo de resolver problemas técnicos realmente desafiadores. Logo, ela entrou no universo da IA.

Quando a DeepSeek explodiu mundialmente, ela comentou: “Uma equipe pequena, focada, independente. Um grupo de idealistas que trabalha com força e dedicação. O mais valioso é a crença compartilhada na missão. Essa é a história da DeepSeek, e também a minha.”

Hoje, a Axiom conta com uma equipe central de alto nível:

CTO Shubho Sengupta, ex-diretor de pesquisa de IA na Meta, envolvido no desenvolvimento do sistema de treinamento distribuído do Google e um dos pioneiros na tecnologia CUDA;

Cientista-chefe François Charton, pioneiro na introdução do modelo Transformer na matemática, que usou modelos grandes para refutar uma conjectura de 30 anos;

E o mais impressionante: a entrada do matemático Ken Ono, vencedor de prêmios como Guggenheim e Sloan, ex-vice-presidente da American Mathematical Society, que abandonou a posição na Universidade da Virgínia para se dedicar integralmente à Axiom.

Uma história recorrente é que Ono, ao longo de seus 40 anos de carreira, orientou dez ganhadores do Prêmio Morgan, entre eles Hong Letong.

“Ela combina uma base matemática sólida, uma eficiência operacional surpreendente e a capacidade de atrair talentos de classe mundial”, comenta um investidor. “É uma das fundadoras mais impressionantes que já vi na minha carreira de vinte anos no Vale do Silício, sem exagero.”

Atualmente, a Axiom conta com mais de 30 funcionários, e sua equipe continua crescendo. Sua história está apenas começando a ser escrita.

Era da IA

Geração pós-2000 em destaque

A onda de IA já é o palco dos jovens.

Na semana passada, a startup Lingchu Intelligent, fundada há pouco mais de um ano, anunciou uma rodada de financiamento total de 2 bilhões de RMB, com investidores de alto nível. Seu cofundador, Chen Yuanpei, nascido em 2001, estudou na Peking University e Stanford, sob orientação de Fei-Fei Li.

Outro exemplo é Yang Fengyu, fundadora da Youliqi, também nascida após 2000. Doutora pela Yale, graduada pela Universidade de Michigan, trabalhou na DeepMind. Na semana passada, a empresa anunciou uma nova rodada de quase 300 milhões de RMB.

A lista é longa. Quatro startups de IA de programação fundadas por jovens de até 20 anos, como Anysphere, avaliada em cerca de 29 bilhões de dólares; Serena Ge, de 19 anos, fundadora da Datacurve, com financiamento de mais de 100 milhões; e os três cofundadores de Mercor, todos com 22 anos, que se tornaram os mais jovens bilionários autônomos do mundo…

Um impacto mais direto é no ranking de bilionários: a IA é uma das áreas mais jovens. Segundo o “Relatório de Bilionários U40 do Hurun 2026”, há 27 bilionários de mais de 10 bilhões de dólares na área, representando um quarto do total, com média de idade de apenas 32 anos, acumulando quase 700 bilhões de RMB.

Testemunhando as ondas de crescimento e queda, mais de um investidor comentou que esses jovens empreendedores de IA, surgidos em apenas dois ou três anos, demonstram uma maturidade que transcende a idade, com visão, resiliência e capacidade de inovação impressionantes. Alguns até disseram que, se não tivessem um parceiro principal de 00, talvez nem investiriam.

Por que jovens? Segundo Fu Jixun, sócio-gerente da GGV Capital, “cada era de inovação é liderada por jovens, porque eles não têm amarras”. Cada época tem sua inovação e sua própria inércia, às vezes até um peso. Em certa medida, a IA de hoje é uma oportunidade para os nascidos após 95 e 00.

Na véspera de uma reconstrução tecnológica do mundo, não ter amarras é muitas vezes a melhor bagagem.