O mundo académico foi recentemente abalado por uma grande notícia.

Um matemático de renome mundial, de 57 anos, anunciou subitamente que iria abdicar do seu cargo vitalício — para ir trabalhar para a sua ex-aluna de 24 anos.

Este matemático chama-se Ken Ono e lecionou durante muitos anos na Universidade da Virgínia. A empresa que acaba de integrar chama-se Axiom Math, uma startup focada em matemática com IA, cuja fundadora é precisamente a sua antiga aluna Carina Hong (洪乐澜).

Curiosamente, Ken Ono não era propriamente um entusiasta da aplicação da IA à matemática. Mas o desempenho recente destes modelos em tarefas de raciocínio e demonstração mudou por completo a sua perspetiva. Agora, na Axiom Math, é o "matemático fundador", responsável por treinar modelos, desenhar padrões de teste e definir a direção de investigação.

A Axiom Math foi fundada há pouco tempo e já arrecadou 64 milhões de dólares em financiamento. O seu objetivo é claro: criar uma IA capaz de realizar raciocínio matemático, demonstrações automáticas e verificação formal, e aplicar estas soluções em áreas como investigação científica, auditoria de segurança e validação de engenharia.

Falando agora da fundadora. Carina Hong fez a licenciatura em Matemática no MIT e depois doutorou-se em Matemática e Direito em Stanford (um duplo doutoramento JD+PhD). Já na licenciatura recebeu uma nomeação para o Prémio Morgan — uma das maiores distinções para estudantes de matemática a nível mundial. Após a graduação, integrou a equipa de IA avançada da Meta, onde se dedicou à investigação em raciocínio matemático, e acabou por reunir vários ex-colegas da Meta para criar a startup.

Actualmente, muitos no sector veem o surgimento da Axiom Math como um sinal: perante os atuais limites dos grandes modelos em raciocínio, a capacidade matemática pode ser o próximo grande avanço. A entrada de Ken Ono é, de certa forma, um voto de confiança do mundo académico tradicional nesta direção.

A título de curiosidade, Ken Ono é de ascendência japonesa e Carina Hong é de ascendência chinesa. Duas gerações, mais de trinta anos de diferença de idade, agora em equipa novamente nesta nova corrida da IA.