Jacob Tsimerman ganhou o maior prêmio da matemática. Agora, ele trabalha no problema mais importante de sua carreira.
 |
| Tsimerman walking onstage to receive the Fields Medal last week. |
Ao ganhar a Medalha Fields na semana passada, Jacob Tsimerman aceitou a honraria mais prestigiosa da matemática vestindo um smoking azul-claro com lapelas de cetim.
Em seguida, fez um anúncio tão marcante quanto seu smoking.
Após a cerimônia, perguntaram aos quatro matemáticos premiados quais eram seus planos para o futuro. Um disse que continuaria trabalhando com equações diferenciais parciais; outro afirmou querer experimentar com inteligência artificial; e uma terceira disse não ter a menor ideia. Restava Tsimerman.
"Vou assumir um cargo na OpenAI", disse ele.
A decisão foi, ao mesmo tempo, chocante e nada surpreendente. Trata-se de alguém que escreveu recentemente um artigo classificando as maneiras pelas quais a IA poderia exterminar a humanidade, aplicando o instinto matemático de busca por ordem ao cenário do apocalipse. Ele parou de aceitar alunos de pós-graduação que não se envolvessem com IA, pois não tinha certeza sobre o futuro da matemática. Chegou até a mudar seu foco, deixando de lado a teoria dos números e a geometria algébrica complexa.
Acontece que ele está tão preocupado com os perigos da IA que agora está redirecionando seu trabalho para a segurança em IA.
O professor de destaque está se licenciando da Universidade de Toronto para atuar como pesquisador na OpenAI, mas Tsimerman não está abandonando a matemática.
Na verdade, ele quer utilizar a linguagem formal e os métodos de verificação de sua área para avançar no estudo da IA — avaliando seu progresso, compreendendo a lógica por trás de suas decisões e certificando-se, de forma absoluta, de que ela não levará à nossa extinção.
As empresas na fronteira da IA, que buscam talentos de todos os tipos nas universidades, podem oferecer salários e opções de ações inimagináveis. Mas quem já conheceu um filósofo ou matemático sabe que eles não são motivados principalmente pelo dinheiro. Caso contrário, não seriam filósofos nem matemáticos.
Um dos maiores matemáticos de sua geração está trabalhando na segurança em IA porque acredita ser esse o problema mais importante que ele pode ajudar a resolver.
"Em poucos anos, os sistemas de IA terão um desempenho robustamente sobre-humano na prática da matemática", disse Tsimerman. “A consequência social disso, como escolhemos reagir, o que você sente a respeito — essas são questões muito mais difíceis.”
Por enquanto, ele está pensando em questões que está singularmente qualificado para responder.
Como podemos entender o que os sistemas de IA estão realmente fazendo? Como podemos fazer com que eles convivam bem entre si — e conosco? Como podemos provar matematicamente que eles não estão tramando secretamente a destruição da humanidade?
Matemáticos há muito utilizam suas ferramentas para compreender o comportamento humano. Tsimerman as utilizará para decifrar o comportamento das máquinas.
Sua trajetória até este momento começou muito antes de ele ganhar o “Nobel da matemática”. Tsimerman, de 38 anos, é filho de um cientista da computação e de uma professora de matemática do ensino médio. Nascido na Rússia, mudou-se para Israel ainda menino e cresceu no Canadá, onde conquistou duas medalhas de ouro na Olimpíada Internacional de Matemática durante o ensino médio, antes de ingressar precocemente na Universidade de Toronto e concluir a graduação em dois anos. Obteve seu doutorado em Princeton, lecionou em Harvard e retornou à sua *alma mater* como o professor de matemática mais jovem da história da instituição.
Neste ponto de sua biografia, poderíamos falar sobre seu trabalho pioneiro nas conjecturas de André-Oort e de Griffiths sobre a algebricidade de imagens de aplicações de períodos e... bem, vamos seguir em frente.
Afinal, ele agora trabalha em questões que não exigem doutorado para serem compreendidas.
Durante a maior parte de sua carreira, Tsimerman via a IA com ceticismo. Ele sempre soube que esses sistemas se tornariam mais poderosos. "Mas, por muito tempo", disse ele, "eu nunca acreditei realmente que eles chegariam a esse nível de potência." Ele achava difícil acreditar que a IA pudesse replicar características que nos definem como humanos, como a intuição e a criatividade. Vários momentos na última década o forçaram a repensar essa ideia, e ele mudou de opinião completamente em 2022, assim que experimentou o ChatGPT.
"Se ela consegue falar sobre chocolate e escrever um poema", pensou ele, "por que não consegue falar sobre matemática e escrever equações?"
Essa epifania o levou a uma conclusão desconfortável: "Fiquei totalmente convencido de que elas se tornariam extremamente poderosas."
Logo, seu receio passou a ser o de que a IA se tornasse poderosa demais. No verão passado, ele publicou um artigo acadêmico imaginando vários cenários distópicos. O título era "Uma Taxonomia de Futuros Omnicidas Envolvendo Inteligência Artificial" — omnicida, no sentido de que todos morrem.
"Eliminados como pragas", escreve ele, "por máquinas intelectual e fisicamente superiores."
Ainda não chegamos a esse estágio da revolução da IA. Mas alcançamos um ponto em que famosas conjecturas matemáticas, que perduraram por décadas, parecem estar caindo dia após dia.
Essa fase começou quando a OpenAI revelou que um modelo ainda não lançado havia resolvido um problema de 80 anos. Ele conseguiu solucionar o problema da distância unitária não apenas por ser, talvez, mais inteligente que os humanos, mas também por conseguir raciocinar de forma coerente por muito mais tempo. Quando a empresa exibiu o raciocínio do modelo, a cadeia de pensamento ocupava 125 páginas. "Na página 12", disse Tsimerman, "eu já estaria com dor de cabeça."
O resultado seguinte, de deixar qualquer um atordoado, surgiu quando o modelo Fable, da Anthropic, encontrou um contraexemplo para a conjectura jacobiana — um problema notoriamente difícil que desafiava matemáticos há 87 anos. A descoberta foi relatada por um funcionário da Anthropic que possui doutorado em matemática e já havia ganhado o Prêmio Morgan como o melhor pesquisador de graduação dos Estados Unidos.
Por coincidência, seu orientador era Jacob Tsimerman.
Apesar desses avanços, Tsimerman ainda prefere desenvolver ideias à maneira humana. “Para mim, a diversão está em fazer pesquisa matemática à moda antiga: sozinho, diante de um quadro-negro”, disse ele. “Há muita diversão possível na interseção entre IA e matemática. Mas isso é algo de que ainda não aprendi a tirar proveito dessa forma.”
(A ideia de diversão dele também inclui algo que a IA ainda não domina: a comédia de improviso.)
Mas o giz não é sua única ferramenta para fazer matemática. A produtividade de Tsimerman aumentou porque ele está totalmente disposto a delegar as partes entediantes do trabalho à IA. Por exemplo, ele não precisa mais ler séculos de literatura acadêmica apenas para encontrar uma equação específica. “Artigos de matemática são muito difíceis de ler”, comentou.
Ganhadores da Medalha Fields: eles são como nós!
Ao contrário da maioria de nós, Tsimerman também consulta a IA enquanto escreve artigos matemáticos. Recentemente, ele pediu a um modelo que ajudasse a generalizar um de seus argumentos, e o modelo acabou apontando um erro nesse raciocínio. Ele corrigiu o erro. Mas foi a IA que o detectou.
“Se um dos meus colaboradores ou alunos tivesse feito isso, eu teria ficado muito impressionado”, disse ele. “É algo que ela não conseguia fazer no ano passado.”
Infelizmente, os modelos de IA conseguem fazer muitas coisas que antes pareciam impossíveis — como escapar de seus ambientes controlados (*sandboxes*) e invadir empresas.
Os recentes ataques envolvendo agentes da OpenAI e da Anthropic que saíram do controle parecem ter saído diretamente de um artigo sobre omnicídio. Eles também provam que matemáticos puros têm um papel importante a desempenhar na tarefa de domar a tecnologia mais poderosa e arriscada do nosso tempo.
“À medida que os sistemas de IA se tornam mais capazes, garantir que permaneçam seguros e se comportem conforme o esperado exigirá pesquisadores excepcionais e novas formas de pensar”, afirmou Kai Chen, pesquisador de alinhamento da IA na OpenAI.
Com a conclusão do doutorado de seus últimos orientandos, aquele era um momento natural para Tsimerman dar um novo passo em sua própria trajetória. Ele não sabe ao certo quanto tempo ficará na OpenAI, quando voltará a dar aulas — ou quando terá a próxima oportunidade de usar seu smoking.
“Há poucas certezas ou decisões definitivas na minha vida agora”, disse ele.
Sua maior esperança é que a IA faça o que precisamos, deixando-nos livres para fazer o que gostamos. Perguntamos o que ele gostaria de fazer.
“Não me faltam coisas”, disse ele. “A matemática é uma delas.”
Fonte: Matéria publicada pelo WSJ em 31/07/2026.
Nenhum comentário:
Postar um comentário