Garota prodígio de matemática de Guangzhou aos 25 anos consegue mais de 1,4 mil milhões de financiamento, com avaliação da empresa de 11 mil milhões

Pergunte à IA · Como é que o sistema de IA da Axiom está a revolucionar a indústria da verificação de código?

Formada em Instituto de Tecnologia de Massachusetts e na Universidade de Oxford, a prodígio matemática de Guangzhou, aos 25 anos, Hong Letong, desistiu de Stanford para lançar uma startup; há apenas umas semanas, acabou de garantir uma ronda de financiamento de 200 milhões de dólares, com uma avaliação de 1.600 milhões de dólares, o equivalente a cerca de 11.000 milhões de renminbi.

Ela afirma que tem grande entusiasmo em usar IA para fazer matemática: “Como é que a matemática dá dinheiro? Desde o início, enfrentámos este desafio. Agora, os sinais comerciais já estão muito mais claros. A matemática consegue criar valor porque consegue verificar-se a si própria, fazer uma checagem a si própria.”

A empresa de Hong Letong chama-se Axiom (axioma), com o objetivo de criar “AI matemáticos”. Em termos simples, o que um grupo de matemáticos está a desenvolver é um sistema de IA capaz de validar automaticamente código de computador; o princípio é semelhante ao de matemáticos que provam problemas matemáticos complexos.

O seu valor está no facto de, ao escrever código com IA, não se saber quando é que o código tem falhas. Com base nessa ideia, em agosto de 2024, Hong Letong garantiu um investimento de 9,6 milhões de dólares na ronda-semente, aproximadamente 6600 milhões de renminbi. Na perspetiva dela, no futuro, os produtos da Axiom poderão servir fundos de cobertura e empresas de negociação quantitativa, resolvendo rapidamente problemas matemáticos complexos relacionados com a fixação de preços de ativos e previsões sobre o mercado de ações.

Em meados de março, Hong Letong anunciou que tinha angariado 200 milhões de dólares numa ronda Série A, junto de empresas de capital de risco como Menlo Ventures, Greycroft e Madrona, o que equivale a cerca de 1,4 mil milhões de renminbi. Neste momento, a Axiom tem mais de 20 funcionários, e Hong Letong está ocupada a recrutar. Ela publica frequentemente anúncios de recrutamento em plataformas sociais no estrangeiro, à procura de pessoas com espírito para “fazer matemática com IA”, seus semelhantes.