Sistema da empresa resolveu quatro problemas matemáticos difíceis
Na última semana, a inteligência artificial (IA) do Google DeepMind roubou a cena ao resolver quatro problemas matemáticos da Olimpíada Internacional de Matemática de 2024 (IMO, na sigla em inglês) de um total de seis.
O evento é considerado a principal competição de matemática para os “matemáticos mais brilhantes” do mundo. O rendimento da IA, obtido a partir de dois modelos, fez com que ela conquistasse 28 pontos, desempenho digno de medalha de prata – é a primeira vez que a IA conquista tamanho desempenho.
PUBLICIDADEPlay Video
Alex Davies, líder da iniciativa matemática do Google DeepMind, descreveu a façanha como “grande avanço” no raciocínio matemático por um sistema de IA. Já Pushmeet Kohli, vice-presidente de pesquisa da empresa, disse, ao The New York Times, que o sistema “não é perfeito, não resolvemos tudo. Queremos ser perfeitos”.
IA do Google é boa em matemática
- A empresa da gigante das buscas pediu que dois especialistas independentes julgassem o desempenho de seu sistema;
- O matemático Timothy Gowers e o desenvolvedor de software Joseph Myers. Ambos ganharam medalhas em IMOs passadas;
- Myers disse que “me esforcei para avaliar as tentativas da IA consistentemente com a forma como as tentativas humanas foram julgadas este ano”;
- Já Gowers afirmou ter ficado “definitivamente impressionado” e “minhas expectativas eram bem altas”, pois o laboratório já tinha intenção de colocar a IA para competir;
- Ele disse ainda que “o programa as atingiu e, em uma ou duas instâncias, as superou significativamente”;
- O sistema do Google resolveu dois problemas de álgebra, um de geometria e um de teoria dos números, mas não conseguiu resolver dois de combinatória;
- Enquanto os alunos tinham 4,5h por problema, o sistema poderia demorar quanto quisesse, e chegou a levar até três dias em um deles.
A equipe por trás da IA acredita que a velocidade de resolução é o de menos ante o sucesso geral, pois “é realmente apenas uma questão de quanto poder de computação você está preparado para colocar nessas coisas”, apontou Dr. Silver.
O fato de termos atingido esse limite, onde é possível até mesmo lidar com esses problemas, é o que representa uma mudança radical na história da matemática. E espero que não seja apenas uma mudança radical na IMO, mas, também, represente o ponto em que passamos de computadores sendo capazes de provar apenas coisas muito, muito simples, para computadores sendo capazes de provar coisas que os humanos não conseguem.David Silver, cientista pesquisador, em entrevista ao The New York Times
