Cada vez mais rostos de jovens de 00 estão aparecendo no mundo do venture capital.
O setor de investimentos soube que a Axiom Math completou oficialmente sua primeira rodada de financiamento de 64 milhões de dólares (aproximadamente 460 milhões de Renminbi), liderada pela B Capital, com a participação de instituições como Greycroft, Madrona e Menlo Ventures, avaliando a empresa em 300 milhões de dólares (cerca de 2 bilhões de Renminbi).
A criadora da Axiom é a jovem de 00, Hong Letong (Carina Hong) - nascida e criada em Guangzhou, ela estudou na famosa Escola Secundária Anexa da Universidade do Sul da China, ganhando várias medalhas em competições de matemática. Mais tarde, foi admitida no Instituto de Tecnologia de Massachusetts, obteve seu mestrado na Universidade de Oxford e depois foi para a Universidade de Stanford para fazer seu doutorado.
(Fonte da imagem: Instituto de Tecnologia de Massachusetts)
Curiosamente, a Axiom nasceu de uma conversa em um café.
Silenciosamente, os fundadores da geração 00 estão subindo ao palco da IA em massa.
10 pessoas, completaram a primeira rodada de financiamento, avaliadas em 2 bilhões.
Quem é a Axiom?
O site oficial mostra que esta emergente empresa de IA se posiciona como "começando com matemáticos de IA, construindo um sistema de raciocínio superinteligente que pode se autoaperfeiçoar."
Em outras palavras, este é um modelo que pode resolver problemas matemáticos complexos, gerando raciocínios detalhados sobre os diferentes passos tomados para obter a resposta, enquanto valida ao mesmo tempo.
Especificamente, a ideia da Axiom é converter o conteúdo matemático em inglês de livros didáticos, artigos e periódicos em conhecimento programático, para que a inteligência artificial possa resolver problemas matemáticos e verificar as respostas por meio de validação. No futuro, espera-se que os cenários de pesquisa deste modelo se expandam para áreas como modelagem financeira, arquitetura de chips e até mesmo negociação quantitativa.
Na visão da fundadora Hong Letong, este modelo pode talvez propor novas conjecturas matemáticas, gerando assim um novo conhecimento.
Por que focar na pista de matemática em IA? Houve um episódio interessante. No início do ano, o ChatGPT o3 foi acusado de trapaça em testes matemáticos, e Hong Letong destacou nas redes sociais que o motivo pelo qual o grande modelo da OpenAI se saiu bem nos testes matemáticos poderia ser porque a empresa já havia encontrado essas questões durante o treinamento do modelo.
Ela citou como exemplo que, no exame da Competição de Matemática dos EUA, alguns grandes modelos de linguagem podem alcançar uma precisão de 96%, mas quando solicitados a mostrar o processo de prova, a pontuação cai abruptamente para 5%. "Por que existe tal diferença? Porque há problemas na forma como são treinados." Os atuais grandes modelos de IA não conseguem resolver perfeitamente problemas de matemática combinatória, que é exatamente a especialidade da pesquisa de Hong Letong.
Na visão da Axiom, a inteligência artificial trouxe um ponto de inflexão histórico, onde as descobertas no campo da matemática podem se desenvolver em uma velocidade exponencial, e agora estamos à beira de um renascimento matemático. Esse renascimento é sustentado por três pilares: inteligência artificial, linguagens de programação e matemática. Juntos, eles impulsionam uma série de descobertas, cada quebra de paradigma fornece um poderoso impulso para a próxima inovação.
Agora, a primeira rodada de financiamento foi oficialmente anunciada, e a equipe central da Axiom também fez sua estreia - embora atualmente tenha apenas 10 funcionários em tempo integral, não faltam vários especialistas em IA que vêm da Meta.
Por exemplo, o atual CTO Shubho Sengupta, que liderou a equipe FAIR da Meta e desenvolveu o OpenGo e o CrypTen, anteriormente também participou da pesquisa do sistema de treinamento distribuído do Google e foi um dos primeiros especialistas a desenvolver a tecnologia CUDA; François Charton, que trabalhou na Meta com grandes modelos de linguagem em matemática e física teórica, começou a explorar como aplicar a tecnologia Transformer a problemas matemáticos complexos em 2019; Hugh Leather, também um ex-cientista de pesquisa em IA da Meta, desenvolveu um dos primeiros grandes modelos de linguagem usados para compiladores e geração de código GPU.
Como investidor principal, um parceiro da B Capital afirmou em seu site que resolver problemas matemáticos complexos é o núcleo de muitas invenções humanas, portanto, uma ferramenta capaz de propor novas hipóteses quantitativas e validá-las, fornecendo assim uma base confiável para a tomada de decisões, sem dúvida terá um valor extremamente alto. A equipe da Axiom também possui vantagens únicas, capazes de aproveitar essa oportunidade e transformar tecnologias avançadas de raciocínio matemático em realidade.
“Carina Hong é uma matemática excepcional, ela não apenas possui realizações acadêmicas extraordinárias, mas também possui a paixão e foco que os melhores empreendedores têm, combinando liderança visionária com uma execução firme.” Sua jornada apenas começou.
Uma estudante excepcional da geração 00 lidera, vinda de Guangzhou.
A história da Axiom não pode ser dissociada do extraordinário Hong Letong.
Nascida em Guangzhou, com 24 anos este ano, seus pais são nativos de Chaoshan. Embora seus pais não tenham recebido educação superior, Hong Letong já demonstrou um talento matemático excepcional desde jovem, tendo estudado em uma escola de prestígio em Guangdong, a Escola Secundária Normal do Sul da China.
Durante o ensino médio, Hong Letong foi uma das quatro únicas meninas da equipe provincial da Olimpíada de Matemática, conseguindo várias boas colocações em competições como a "Copa Jin de Hua Luogeng" e o Campeonato Nacional de Matemática do Ensino Médio. Em 2019, ela foi admitida no Instituto de Tecnologia de Massachusetts para estudar matemática e física em um programa de dupla graduação.
Durante sua graduação, Hong Letong foi presidente da associação de matemática e cursou 20 disciplinas de mestrado e doutorado, publicando vários artigos acadêmicos de alta qualidade, envolvendo funções L de curvas elípticas modulares e superfícies K3, conjectura da luz da lua, pesquisa sobre algoritmos de ordenação por pilha, entre outros campos. Antes e depois da formatura, Hong Letong inicialmente ganhou o Prêmio de Excelência em Matemática Schafer, que é concedido anualmente a uma única estudante de graduação; depois, recebeu a maior honra para estudantes de graduação em matemática da América do Norte - o Prêmio Morgan, sendo a quinta mulher a receber tal honra.
No final de 2022, Hong Letong conseguiu a bolsa de estudos Rhodes da Universidade de Oxford, tornando-se uma das quatro únicas vencedoras chinesas. A bolsa de estudos Rhodes é um dos programas de bolsas internacionais mais antigos e prestigiosos do mundo, conhecido como o "Nobel para estudantes de graduação".
Em seguida, Hong Letong foi para a Universidade de Oxford, no Reino Unido, estudar neurociência, onde obteve seu mestrado. Durante esse período, também realizou pesquisas em inteligência artificial e aprendizado de máquina na University College London, onde ela disse: "Como será a interação entre a inteligência artificial e os cientistas no futuro? É isso que espero pesquisar em seguida."
Em agosto de 2024, Hong Letong entrou na Universidade de Stanford para obter doutorado em matemática e direito. “Sempre fui uma pesquisadora.” Em uma entrevista anterior, ela disse que, no fundo, seu maior desejo era resolver problemas técnicos realmente difíceis. Em breve, ainda enquanto estava em doutorado, ela entrou no campo da IA.
Ela fundou a Axiom a partir de uma conversa em um café.
Em um final de semana do outono passado, Hong Letong conversou com Shubho Sengupta, que na época ainda trabalhava na Meta, em um café perto de Stanford. Os dois conversaram por várias horas, discutindo os pontos de interseção de suas áreas de pesquisa e a possibilidade de desenvolver inteligência artificial para resolver os problemas matemáticos mais desafiadores do mundo.
Logo após essa conversa, Hong Letong se retirou de Stanford e começou a fundar a Axiom. Curiosamente, as salas de reuniões da Axiom são nomeadas após grandes matemáticos, como Gauss e Ada Lovelace.
No início deste ano, quando o DeepSeek estava em alta global, Hong Letong expressou seu sentimento: "Uma equipe pequena, focada e singular. Um grupo de parceiros excepcionais formados por idealistas. Eles têm forte capacidade de execução e se envolvem diretamente. O mais precioso é a crença entre ideal e missão. Esta é a história do DeepSeek, e também a história que quero escrever pessoalmente."
Como a Axiom afirmou em seu site, "O futuro da descoberta matemática começa aqui."
Mergulhando em IA, a geração 00 está entrando em cena coletivamente.
De olho no futuro, os fundadores da geração 00 estão coletivamente subindo ao palco da IA.
Recentemente, duas fundadoras da geração 00 do MIT - Jessica Wu, de 22 anos, e Neil Deshmukh, de 23 anos - fundaram a Sola Solutions e conseguiram financiamento de capital de risco conhecido no Vale do Silício. O site oficial mostra que o financiamento inclui uma rodada de sementes de 3,5 milhões de dólares liderada pela Conviction, além de uma rodada A de 17,5 milhões de dólares liderada pela a16z e co-investida pela Conviction, totalizando 21 milhões de dólares (cerca de 15 milhões de yuanes).
Casos como este estão surgindo.
Em maio deste ano, a startup de IA Anysphere completou uma rodada de financiamento de 900 milhões de dólares (cerca de 6,5 bilhões de yuanes), alcançando uma avaliação de 9 bilhões de dólares, tornando-se uma das startups de programação em IA mais quentes deste ano. A empresa é liderada por quatro jovens - em 2022, Michael Truell, que se formou no MIT, e seus três colegas, decidiram empreender no campo da programação em IA, e seu produto Cursor transformou rapidamente a maneira de programar, conquistando o círculo de IA do Vale do Silício.
Curiosamente, em março deste ano, o site de recrutamento de IA Mercor anunciou que completou um financiamento de 100 milhões de dólares na rodada B, alcançando uma avaliação de 2 bilhões de dólares, uma taxa de crescimento impressionante. Os fundadores da empresa são três jovens que abandonaram a faculdade. No segundo ano, eles fundaram o Mercor em seu dormitório e depois decidiram deixar Harvard e Georgetown para empreender em tempo integral.
Vamos trazer nossa visão de volta ao país, uma cena semelhante também se desenrola.
No início deste ano, três "geeks" da geração 00 da Tsinghua - Min Yuheng, Cheng Yi, e Li Yizhe - fundaram uma empresa de robótica chamada Zero Power. Hoje, a empresa completou com sucesso um financiamento de nível de anjo e anjo++ de centenas de milhões, reunindo instituições conhecidas como Hechuang Capital, Tongchuang Weiye, Lihe Kechuang, Shuimu Fund, Ruifeng Lihe, e Ralph Venture Capital.
Além disso, a Lingchu Intelligent, que completou seu financiamento de anjo anteriormente, foi liderada por Hillhouse Capital e BlueRun Ventures. O co-fundador da empresa, Chen Yuanpei, é um jovem obcecado por robôs que foi pesquisador visitante em Stanford sob a orientação dos professores Karen Liu e Li Feifei; Yang Fengyu, fundador e CEO da empresa de inteligência corporificada UniX AI, nasceu em 2000, estudou ciência da computação na Universidade de Michigan e, após se formar com doutorado na Universidade de Yale, retornou à China para empreender, também atraindo a atenção de vários investidores de capital de risco.
Uma legião de jovens do ano 00 está surgindo silenciosamente. Alguns investidores analisaram que, nesta onda de empreendedorismo em IA, os fundadores da geração 00 têm o mesmo ponto de partida que os da geração 90 e 80, com a vantagem do primeiro grupo sendo ainda maior. Isso porque muitas coisas são novas demais, a experiência anterior não pode ser reutilizada diretamente, e a geração 00 não tem fardos, tendo mais sensibilidade ao reconhecimento de novas coisas.
“Sempre acreditamos que o empreendedorismo, muitas vezes, pertence aos jovens.” Dai Yusen, sócio da Zhenge Fund, comentou recentemente, “Os ignorantes não têm medo. Muitos resultados de inovações tecnológicas surgem exatamente porque os envolvidos, embora cientes, não têm medo, o que gera novas ideias inovadoras.”
“Os jovens têm uma energia vibrante, e o tempo certamente lhes pertence.” Cada nova geração de jovens empreendedores está destinada a deixar sua própria marca ao longo da história. (Wall Street Journal)
