Ken Ono, uma figura de destaque no mundo da matem\u00e1tica, est\u00e1 passando por uma grande transforma\u00e7\u00e3o em sua trajet\u00f3ria profissional. Reconhecido como professor da Universidade da Virg\u00ednia, Ono tem ampliado sua influ\u00eancia para al\u00e9m dos muros acad\u00eamicos, envolvendo-se desde colabora\u00e7\u00f5es em produ\u00e7\u00f5es cinematogr\u00e1ficas at\u00e9 o treinamento de atletas ol\u00edmpicos. Agora, ele est\u00e1 prestes a iniciar uma nova fase ao deixar seu cargo vital\u00edcio para trabalhar ao lado de uma jovem empreendedora de 24 anos no Vale do Sil\u00edcio.<\/p>\n
At\u00e9 pouco tempo atr\u00e1s, a ideia de integrar uma startup de intelig\u00eancia artificial (IA) parecia distante para Ono, que se considerava, at\u00e9 ent\u00e3o, um c\u00e9tico em rela\u00e7\u00e3o \u00e0 tecnologia. Chegava a brincar nas suas palestras que era \u201cinteligente naturalmente\u201d, em contraponto ao hype sobre IA. Contudo, a realidade mudou completamente, e hoje ele \u00e9 um dos funcion\u00e1rios mais improv\u00e1veis de uma empresa que busca revolucionar a matem\u00e1tica atrav\u00e9s da IA.<\/p>\n
Aos 57 anos, Ono se afastou temporariamente da academia, sem inten\u00e7\u00e3o de retorno, para colaborar com a Axiom Math, startup criada por sua ex-aluna Carina Hong. Hong tem um curr\u00edculo excepcional: formou-se no MIT em tr\u00eas anos, recebeu o Pr\u00eamio Morgan como a melhor pesquisadora de matem\u00e1tica da gradua\u00e7\u00e3o nos EUA, foi bolsista Rhodes, e buscou doutorado conjunto em Direito e Matem\u00e1tica em Stanford. Ao deixar os cursos para fundar a empresa, arrecadou US$ 64 milh\u00f5es, contratou pesquisadores de IA da Meta e trouxe Ono para a equipe.<\/p>\n
A Axiom \u00e9 nomeada em refer\u00eancia a um conceito matem\u00e1tico fundamental que serve de base para teorias complexas. A miss\u00e3o de Hong \u00e9 desenvolver um \u201cmatem\u00e1tico de IA\u201d capaz n\u00e3o apenas de solucionar quest\u00f5es matem\u00e1ticas conhecidas, mas tamb\u00e9m de descobrir problemas in\u00e9ditos e validar as solu\u00e7\u00f5es por meio de provas formais. Se alcan\u00e7ada, essa tecnologia pode desatar enigmas matem\u00e1ticos que intrigam cientistas h\u00e1 s\u00e9culos.<\/p>\n
Os investidores est\u00e3o confiantes de que essa superintelig\u00eancia matem\u00e1tica ter\u00e1 aplica\u00e7\u00f5es comerciais amplas, como a verifica\u00e7\u00e3o de softwares e hardwares, otimiza\u00e7\u00e3o log\u00edstica, an\u00e1lise algor\u00edtmica e engenharia financeira. Enquanto gigantes do mercado investem bilhares na \u00e1rea e preocupa\u00e7\u00f5es sobre bolhas tecnol\u00f3gicas se espalham, a comunidade matem\u00e1tica se mostra cada vez mais otimista sobre o apoio da IA em avan\u00e7ar pesquisas e descobertas.<\/p>\n
No dia seguinte \u00e0 assinatura que oficializou sua licen\u00e7a na universidade, Ono demonstrava cautela ao falar sobre o futuro, mas compartilhava seu pr\u00f3prio axioma: \u201cSe eu for o primeiro, que seja. N\u00e3o serei o \u00faltimo.\u201d<\/p>\n
A carreira de Ono sempre foi at\u00edpica. Durante a inf\u00e2ncia, sofreu press\u00e3o dos pais que o deixou desmotivado, chegando a abandonar o ensino m\u00e9dio. Mesmo assim entrou na universidade, encontrou seu amor pela matem\u00e1tica e construiu uma carreira acad\u00eamica s\u00f3lida em universidades como Wisconsin e Emory antes de se juntar \u00e0 Universidade da Virg\u00ednia em 2019. Ele dirigiu importantes programas de pesquisa e orientou diversos vencedores do Pr\u00eamio Morgan, inclusive a atual CEO da startup.<\/p>\n
Reconhecido por seus trabalhos na teoria dos n\u00fameros, abrangendo desde congru\u00eancias de Ramanujan at\u00e9 a conjectura de moonshine sombra, Ono tamb\u00e9m \u00e9 famoso por aplicar a matem\u00e1tica em \u00e1reas variadas. Entre seus projetos est\u00e3o a orienta\u00e7\u00e3o de atletas ol\u00edmpicos, colabora\u00e7\u00e3o com a Ag\u00eancia Nacional de Seguran\u00e7a e participa\u00e7\u00e3o em produ\u00e7\u00f5es cinematogr\u00e1ficas, al\u00e9m de protagonizar um comercial de cerveja. E n\u00e3o menos conhecido \u00e9 seu gosto por camisas havaianas, que ele brinca querer tornar oficial na empresa.<\/p>\n
Nos \u00faltimos anos, acompanhou o avan\u00e7o acelerado da IA com interesse e certa desconfian\u00e7a. Embora a tecnologia tenha demonstrado capacidade surpreendente para tarefas cognitivas e problemas j\u00e1 estudados, Ono entendia que a criatividade, que envolve intui\u00e7\u00e3o e pensamento abstrato, permaneceria fora de seu alcance. Essa vis\u00e3o o fazia crer que sua posi\u00e7\u00e3o na matem\u00e1tica pura seria segura por d\u00e9cadas.<\/p>\n
No entanto, na primavera passada, ao participar de um simp\u00f3sio com 30 matem\u00e1ticos convidados para testar modelos de IA em problemas de pesquisa, ele saiu impressionado e preocupado. Percebeu que sua vantagem sobre os modelos estava diminuindo e, em \u00e1reas fora da sua especialidade, que as m\u00e1quinas j\u00e1 o superavam.<\/p>\n
Esse reconhecimento desencadeou uma reflex\u00e3o profunda sobre sua identidade profissional, sabendo que a intelig\u00eancia artificial s\u00f3 se tornaria mais sofisticada. \u201cEnt\u00e3o tive uma epifania\u201d, contou Ono. \u201cPercebi que os modelos ofereciam uma nova maneira de fazer matem\u00e1tica.\u201d<\/p>\n
Enquanto antes contava com colegas e estudantes como principais colaboradores, agora a IA passou a ser uma parceira constante. Ele relata que conversa por uma ou duas horas di\u00e1rias com os modelos matem\u00e1ticos, inclusive durante a noite quando n\u00e3o consegue dormir, trocando ideias em n\u00edveis altamente complexos.<\/p>\n
Al\u00e9m dos avan\u00e7os da IA, o ambiente acad\u00eamico tamb\u00e9m o preocupava, principalmente pelo risco de cortes no financiamento federal de pesquisas. A Universidade da Virg\u00ednia enfrentava press\u00f5es pol\u00edticas, incluindo a ren\u00fancia do seu presidente sob o governo anterior. Nessas circunst\u00e2ncias, Ono passava mais tempo lidando com burocracias e menos com matem\u00e1tica.<\/p>\n
Por essa raz\u00e3o, a mudan\u00e7a para a Axiom foi natural, visto que lhe oferecia a oportunidade de impactar o mundo real de forma mais direta e relevante. \u201cTenho o privil\u00e9gio de participar de uma transforma\u00e7\u00e3o do funcionamento do mundo que, como matem\u00e1tico puro, raramente tive.\u201d<\/p>\n
Ao decidir mudar, ele procurou quem sabia que poderia guiar essa mudan\u00e7a: Carina Hong, sua ex-aluna, premiada estudante e pesquisadora autodidata, que aprendeu ingl\u00eas para antecipar o estudo avan\u00e7ado que faria e viveu treinamentos intensos em olimp\u00edadas de matem\u00e1tica, embora fosse apaixonada principalmente pela pesquisa e pelos desafios extremos dessa atividade.<\/p>\n
Hong, origin\u00e1ria da China e jovem l\u00edder da Axiom, encontrou na IA um desafio maior que o da pr\u00f3pria matem\u00e1tica pura, seguindo o conselho da CEO da AMD, Lisa Su, para atuar nos problemas mais dif\u00edceis. Ela largou os estudos para arrecadar capital e formar um time de peso, incluindo pesquisadores de IA da Meta, com quem tinha conex\u00f5es em Stanford. Sua empresa foi fundada pouco antes de modelos de IA alcan\u00e7arem medalhas na Olimp\u00edada Internacional de Matem\u00e1tica, confirmando o potencial disruptivo da \u00e1rea.<\/p>\n
Enquanto recrutava um time estelar, Hong chamou a aten\u00e7\u00e3o de Ono. Ele e sua esposa, junto ao cachorro da fam\u00edlia, Mochi, mudaram-se para Palo Alto, e ele tornou-se o 15\u00ba funcion\u00e1rio da startup.<\/p>\n
Ap\u00f3s negocia\u00e7\u00e3o, seu cargo formal ficou como \u201cmatem\u00e1tico fundador\u201d. Sua fun\u00e7\u00e3o principal \u00e9 testar e expandir os limites dos modelos de IA, criando problemas matem\u00e1ticos complexos e definindo benchmarks que servir\u00e3o como refer\u00eancias para medir o desempenho dos sistemas.<\/p>\n
Ono compara esse trabalho a um mapa para um navegador, essencial para identificar os pontos j\u00e1 explorados antes de partir rumo a descobertas novas.<\/p>\n
Ele destaca que sua motiva\u00e7\u00e3o n\u00e3o \u00e9 financeira, tendo recusado remunera\u00e7\u00f5es maiores e participa\u00e7\u00f5es relevantes em outras startups. Trata-se de uma busca por conhecimento e impacto.<\/p>\n
Nas instala\u00e7\u00f5es da empresa em Palo Alto, as salas de reuni\u00e3o recebem nomes de matem\u00e1ticos ic\u00f4nicos, como Poincar\u00e9, Gauss, Hilbert, Lovelace e Turing. Ap\u00f3s arrecadarem US$ 64 milh\u00f5es na rodada inicial, os funcion\u00e1rios brincam com n\u00fameros matem\u00e1ticos relacionados ao financiamento.<\/p>\n
Curiosamente, muitos colegas de Ono est\u00e3o em fases similares de vida, buscando deixar seu legado por meio de projetos transformadores.<\/p>\n
Mesmo com a perspectiva da superintelig\u00eancia, Ono acredita que muitos enigmas matem\u00e1ticos ainda resistir\u00e3o, e ele permanece determinado a continuar a busca pelas respostas.<\/p>\n