Ronaldo Lemos aponta contribuição brasileira para IA na matemática
O avanço provocado pela inteligência artificial (IA) na matemática é tema da coluna publicada neste domingo (20) por Ronaldo Lemos na Folha de S.Paulo. O texto relata um encontro do colunista com o diretor-geral do IMPA, Marcelo Viana, e destaca a contribuição do cientista da computação e matemático brasileiro Leonardo de Moura, criador da linguagem de programação Lean.
Na coluna “O Brasil ajudou a IA a revolucionar a matemática”, Lemos aborda o recente anúncio da OpenAI sobre uma suposta solução para um caso relacionado ao problema de Navier-Stokes, um dos Problemas do Milênio. O autor chama atenção para uma particularidade do estudo de 166 páginas divulgado pela empresa: “O estudo não é assinado por ninguém. No topo consta apenas ‘OpenAI’. E, mesmo não sendo assinado, o estudo usa o pronome ‘nós’ para descrever os achados. Quem seria esse ‘nós’? O coletivo do conhecimento humano? Um ‘nós’ real, ou luciferiano?”, questiona.
Para o colunista, o avanço está relacionado ao desenvolvimento do Lean, criado por Leonardo de Moura em 2013 e utilizado para formalizar e verificar demonstrações matemáticas por computador. Lemos destaca ainda o crescimento da Mathlib, biblioteca de matemática formalizada construída sobre o Lean.
“Só foi possível para a inteligência artificial atuar na fronteira da matemática por causa do Lean. Sem ele, provar a resolução do problema Navier-Stokes não teria sido possível. O Lean deveria estar incluído no ‘nós’ do estudo”, escreve.
O texto também aborda o debate provocado pelo avanço da IA entre matemáticos, incluindo uma carta assinada por 25 medalhistas Fields que manifesta preocupação com o uso da resolução de problemas matemáticos como métrica para empresas de inteligência artificial.
A discussão se soma a outros conteúdos publicados recentemente na Folha de S.Paulo sobre o avanço da IA na matemática. Em artigo de opinião publicado na quinta-feira (17), Marcelo Viana e Artur Avila, pesquisador extraordinário do IMPA e professor da Universidade de Zurique, analisaram o papel da inteligência artificial na pesquisa matemática a partir do anúncio da OpenAI relacionado a Navier-Stokes. Na publicação, os dois pesquisadores discutem as novas relações entre inteligência artificial, demonstração e pesquisa matemática. O artigo está disponível neste link.