- O húngaro Paul Erdős lançou, em 1946, a conjectura sobre distâncias unitárias no plano; por décadas não havia contraexemplo, até um modelo de IA apresentar um.
- A IA encontrou um arranjo diferente que aumenta as possibilidades de pares a distância unitária, desmentindo a solução clássica de Erdős.
- O feito é visto como relevante, mas ainda gerou debate sobre até que ponto a máquina atuou de forma autônoma versus orientada por humanos.
- O IMPA e outros pesquisadores destacam que a IA acelera descobertas e pode transformar a matemática, com uso crescente para provar ou refutar conjecturas.
- A pesquisa com IA na matemática inclui ferramentas como Lean para verificação de demonstrações; o diretor do IMPA, Marcelo Viana, ressalta avanços e também riscos de uso irresponsável.
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