O que aconteceu envolve uma conjectura de Erdős sobre distâncias unitárias no plano. Um modelo de inteligência artificial da OpenAI apresentou um contraexemplo, refutando uma das soluções clássicas. O feito ocorreu no âmbito de pesquisas em matemática computacional.
O tema ganhou tração ao ser visto como marco na relação entre IA e matemática, com validação de especialistas de peso. O episódio levou à discussão sobre a participação humana e o papel da máquina na descoberta de novos resultados.
O IMPA, instituto brasileiro de pesquisa matemática, tem participação relevante nessa leitura. Marcelo Viana, seu diretor-geral, comenta ceticismo cuidadoso sobre o alcance da máquina, ao mesmo tempo reconhecendo transformações no ritmo da pesquisa.
A distância unitária no plano analisa quantos pares de pontos podem ter a mesma distância entre si. Erdős formulou a conjectura em 1946; por décadas, a melhor solução era uma grade quadrada. Um arranjo alternativo mostrou um número maior de pares.
O estudo usa divulgação de padrões visuais para ilustrar a distribuição de pares de pontos com distância unitária igual. A imagem apresentada pela equipe mostra linhas que conectam esses pares, evidenciando a novidade encontrada pela IA.
Para além do caso específico, o texto aborda como IA tem acelerado problemas históricos da matemática. Em Cambridge e na China, pesquisadores já aplicam ferramentas de IA para avançar em problemas na álgebra e na fatoração de anéis.
O impacto envolve também a discussão sobre a natureza do raciocínio da máquina. Alguns matemáticos observam que as ferramentas já existentes foram aplicadas de forma diferente, enquanto outros ressaltam a criatividade da IA na combinação de conhecimentos.
No IMPA, a direção enfatiza a necessidade de verificação automática de resultados. Segundo Viana, demonstrações podem exigir validação rigorosa, e a IA pode acelerar esse processo, desde que haja controles apropriados.
O debate envolve ainda o interesse comercial por trás das tecnologias de IA. Empresas desenvolvem algoritmos que geram códigos e verificam demonstrações, o que sustenta o uso de IA na matemática, mas também traz riscos de vieses ou erros não detectados.
Sobre o futuro, a visão do IMPA é de evolução gradual. Jovens pesquisadores já utilizam a IA como ferramenta de pesquisa ética, enquanto a comunidade avalia os limites entre assistência e descoberta autônoma.
O que permanece claro é que a matemática vive uma transformação profunda. O uso de Lean e outras linguagens formais para registrar e verificar provas pode acelerar avanços, segundo o diretor do IMPA.
Entre na conversa da comunidade