\u201cMeu nome \u00e9 Ken Ono, e eu sou NI\u201d, dizia ele. \u201cNaturalmente inteligente.\u201d<\/p>\n\n\n\n
Agora, ele \u00e9 o funcion\u00e1rio mais improv\u00e1vel de uma startup que quer revolucionar a matem\u00e1tica com IA.<\/p>\n\n\n\n
Aos 57 anos, Ono est\u00e1 tirando uma licen\u00e7a prolongada da academia, sem planos de voltar. Ele est\u00e1 se juntando a uma empresa fundada por uma de suas ex-alunas, Carina Hong \u2014 dona de um curr\u00edculo t\u00e3o brilhante que deixaria qualquer IA insegura.<\/p>\n\n\n\n Depois de se formar no MIT em tr\u00eas anos, vencer o Pr\u00eamio Morgan como a melhor pesquisadora de matem\u00e1tica de gradua\u00e7\u00e3o nos EUA e ganhar uma bolsa Rhodes, ela foi para Stanford buscar um doutorado conjunto em Direito e Matem\u00e1tica. Quando largou os cursos para fundar a Axiom Math, ela levantou US$ 64 milh\u00f5es, recrutou alguns pesquisadores de IA da Meta \u2014 e contratou seu mentor. Para ela, foi uma decis\u00e3o \u00f3bvia.<\/p>\n\n\n\n \u201cKen Ono \u00e9 o \u00eddolo de muitos estudantes de matem\u00e1tica\u201d, disse Hong, presidente-executiva da Axiom.<\/p>\n\n\n\n A empresa recebeu o nome do termo matem\u00e1tico para uma verdade b\u00e1sica capaz de fundamentar toda uma teoria. O objetivo de Hong \u00e9 construir um \u201cmatem\u00e1tico de IA\u201d, capaz de raciocinar sobre problemas conhecidos, encontrar novos e validar o pr\u00f3prio trabalho por meio de provas formais. Se der certo, a Axiom pode resolver quest\u00f5es que intrigam humanos h\u00e1 s\u00e9culos.<\/p>\n\n\n\n Os investidores da startup apostam que uma superintelig\u00eancia matem\u00e1tica teria diversos usos comerciais \u2014 verifica\u00e7\u00e3o de software e hardware, otimiza\u00e7\u00e3o log\u00edstica, trading algor\u00edtmico e engenharia financeira. As empresas mais ricas do mundo est\u00e3o gastando bilh\u00f5es e alimentando temores de uma bolha, mas matem\u00e1ticos est\u00e3o cada vez mais otimistas sobre o potencial da IA em auxiliar suas pesquisas e impulsionar descobertas.<\/p>\n\n\n\n Quando conversei com Ono, era o dia seguinte \u00e0 assinatura dos documentos que oficializaram sua licen\u00e7a. Enquanto se preparava para atravessar o pa\u00eds, ele relutava em fazer previs\u00f5es para o futuro. Mas o professor de matem\u00e1tica que agora trabalha para uma startup compartilhou um de seus pr\u00f3prios axiomas:<\/p>\n\n\n\n \u201cSe eu for o primeiro, que seja\u201d, disse ele. \u201cN\u00e3o serei o \u00faltimo.\u201d<\/p>\n\n\n\n Ono \u00e9 um ponto fora da curva, e sua carreira foi incomum desde o in\u00edcio. Na inf\u00e2ncia, a press\u00e3o dos pais o deixou t\u00e3o infeliz que ele n\u00e3o concluiu o ensino m\u00e9dio. Sem diploma, mesmo assim entrou na universidade, descobriu sua paix\u00e3o pela matem\u00e1tica e lecionou durante d\u00e9cadas na Universidade de Wisconsin e em Emory antes de chegar \u00e0 Universidade da Virg\u00ednia em 2019. Ele tamb\u00e9m liderou o principal programa de pesquisa para alunos de gradua\u00e7\u00e3o e orientou 10 vencedores do Pr\u00eamio Morgan \u2014 incluindo sua nova chefe.<\/p>\n\n\n\n \u201cEle \u00e9 uma figura maior que a vida na matem\u00e1tica\u201d, disse Ken Ribet, ex-presidente da Sociedade Americana de Matem\u00e1tica.<\/p>\n\n\n\n Na matem\u00e1tica, Ono \u00e9 conhecido por seu trabalho em diversos temas da teoria dos n\u00fameros, das congru\u00eancias de Ramanujan \u00e0 conjectura umbral moonshine.<\/p>\n\n\n\n E se essa frase te deu suor frio, pode relaxar.<\/p>\n\n\n\n Ono tamb\u00e9m \u00e9 conhecido por aplicar matem\u00e1tica a outras \u00e1reas. Ele assessorou nadadores da Universidade da Virg\u00ednia e campe\u00f5es ol\u00edmpicos dos EUA. Ajudou a orientar a Ag\u00eancia Nacional de Seguran\u00e7a. Trabalhou na produ\u00e7\u00e3o do filme \u201cO Homem que Viu o Infinito\u201d (2015). Depois apareceu em um comercial de cerveja certificando que 64 (as calorias da Miller64) \u00e9 menor que 80 (as concorrentes).<\/p>\n\n\n\n E ele \u00e9 conhecido por mais uma coisa: sua impressionante cole\u00e7\u00e3o de camisas havaianas.<\/p>\n\n\n\n \u201cEspero que a Axiom fa\u00e7a um contrato com a Tommy Bahama\u201d, brinca. \u201cEsse \u00e9 meu sonho.\u201d<\/p>\n\n\n\n Nos \u00faltimos anos, Ono come\u00e7ou a acompanhar o r\u00e1pido progresso da IA. Ficou intrigado, mas n\u00e3o intimidado. A IA era surpreendente em tarefas cognitivas e na resolu\u00e7\u00e3o de problemas j\u00e1 vistos, mas tinha dificuldades com a criatividade de sua \u00e1rea \u2014 que exige intui\u00e7\u00e3o e pensamento abstrato.<\/p>\n\n\n\n Essa criatividade \u00e9 t\u00e3o fundamental para a matem\u00e1tica pura que Ono acreditava que seu emprego estaria seguro por d\u00e9cadas.<\/p>\n\n\n\n Mas, na primavera passada, ele foi um dos 30 matem\u00e1ticos convidados a selecionar problemas de pesquisa para testar modelos de IA. Ele saiu do simp\u00f3sio profundamente abalado com o que viu.<\/p>\n\n\n\n \u201cA vantagem que eu tinha sobre os modelos estava diminuindo\u201d, disse ele. \u201cE em \u00e1reas da matem\u00e1tica fora da minha especialidade, senti que os modelos j\u00e1 me ultrapassavam.\u201d<\/p>\n\n\n\n Durante meses, Ono viveu um luto pela pr\u00f3pria identidade. N\u00e3o sabia o que fazer, consciente de que os modelos s\u00f3 ficariam mais inteligentes.<\/p>\n\n\n\n \u201cEnt\u00e3o tive uma epifania\u201d, disse. \u201cPercebi que os modelos ofereciam uma forma diferente de fazer matem\u00e1tica.\u201d<\/p>\n\n\n\n Ele j\u00e1 tinha colegas, alunos de p\u00f3s-gradua\u00e7\u00e3o e brilhantes estudantes de gradua\u00e7\u00e3o como colaboradores. Agora tamb\u00e9m tem a IA.<\/p>\n\n\n\n \u201cPasso uma ou duas horas por dia trocando ideias com os modelos\u201d, diz ele. \u201cTarde da noite, quando n\u00e3o consigo dormir, pego meu iPhone e fico conversando sobre matem\u00e1tica com os modelos em um n\u00edvel absurdamente alto.\u201d<\/p>\n\n\n\n Ao mesmo tempo, a IA n\u00e3o era o \u00fanico motivo para que seu trabalho como professor parecesse inst\u00e1vel.<\/p>\n\n\n\n Com o Departamento de Justi\u00e7a pressionando o ensino superior, ele temia amea\u00e7as ao financiamento federal de pesquisa. No in\u00edcio do ano, o presidente da Universidade da Virg\u00ednia renunciou sob press\u00e3o do governo Trump. Como assessor de STEM do reitor, Ono passava mais tempo lidando com pol\u00edtica \u2014 e menos tempo fazendo matem\u00e1tica.<\/p>\n\n\n\n Ele decidiu deixar a Universidade da Virg\u00ednia pela IA porque n\u00e3o conseguiu resistir \u00e0 oportunidade de influenciar o mundo al\u00e9m do quadro-negro.<\/p>\n\n\n\n \u201cTenho o luxo de participar de uma transforma\u00e7\u00e3o de como o mundo realmente funciona\u201d, disse Ono. \u201cComo matem\u00e1tico puro, isso raramente foi o caso.\u201d<\/p>\n\n\n\n Quando concluiu que era hora de mudar, sabia exatamente para quem ligar.<\/p>\n\n\n\n Carina Hong havia sido aluna de seu programa de pesquisa em 2020, antes de ganhar o Pr\u00eamio Morgan e o Pr\u00eamio Schafer como melhor estudante de matem\u00e1tica do pa\u00eds. Nascida e criada na China, ela aprendeu ingl\u00eas sozinha ainda jovem para ler livros avan\u00e7ados da \u00e1rea. Treinou em programas de Olimp\u00edadas de Matem\u00e1tica, resolvendo problemas sob press\u00e3o, mas ficou obcecada por outro tipo de matem\u00e1tica.<\/p>\n\n\n\n \u201cSempre me interessei por descobertas matem\u00e1ticas\u201d, disse. \u201cA matem\u00e1tica ol\u00edmpica d\u00e1 picos constantes de dopamina, mas a pesquisa \u00e9 bater a cabe\u00e7a na parede. \u00c9 dor e sofrimento. Eu gosto disso.\u201d<\/p>\n\n\n\n Na nossa conversa, ela descreveu tanto a pesquisa matem\u00e1tica quanto seu primeiro ano na faculdade de direito como \u201cmuito divertidos\u201d. Ela \u00e9 uma das poucas pessoas que saberia comparar. Estudante de primeira gera\u00e7\u00e3o, Hong brilhou no MIT. Em vez de ir para um fundo quantitativo, foi para Oxford como bolsista Rhodes. Depois de estudar neuroci\u00eancia e escrever duas disserta\u00e7\u00f5es, seguiu para Stanford.<\/p>\n\n\n\n Nos fins de semana, estudava em uma cafeteria perto do campus. Bebendo matcha, lia artigos dif\u00edceis e ficou amiga de Shubho Sengupta, cientista de IA da Meta que tamb\u00e9m frequentava a mesa comunit\u00e1ria. Em suas conversas, perceberam que podiam unir seus mundos.<\/p>\n\n\n\n Em suas corridas matinais, quando cogitava deixar a escola e abrir uma empresa, Hong lembrava o conselho de Lisa Su, CEO da AMD: corra na dire\u00e7\u00e3o dos problemas mais dif\u00edceis.<\/p>\n\n\n\n \u201cA pesquisa matem\u00e1tica \u00e9 muito dif\u00edcil\u201d, disse Hong. \u201cIA para matem\u00e1tica \u00e9 mais dif\u00edcil ainda.\u201d<\/p>\n\n\n\n Ela largou tudo assim que a rodada de investimento semente da Axiom foi conclu\u00edda no \u00faltimo ver\u00e3o.<\/p>\n\n\n\n![\"\"\/](\"https:\/\/media.investnews.com.br\/uploads\/2025\/12\/Math%20Legend%202.jpg\")
<\/figure>\n\n\n\n![\"\"\/](\"https:\/\/media.investnews.com.br\/uploads\/2025\/12\/Math%20Legend%201.jpg\")
<\/figure>\n\n\n\n