IA resolve o que humanos não conseguiram
Um modelo de inteligência artificial resolveu um problema de geometria de 80 anos proposto pelo lendário matemático húngaro Paul Erdős, surpreendendo o mundo da matemática. O problema de Erdős, um dos cerca de 1.200 desafios não resolvidos deixados por ele, resistia a todas as tentativas humanas desde a década de 1940. Pesquisadores descobriram que a IA encontrou um arranjo mais complexo de pontos pareados — algo que matemáticos humanos nunca imaginaram — resultando em uma taxa de crescimento maior do que as abordagens convencionais permitiam.
Matemáticos pedem limites
O avanço gerou entusiasmo e preocupação. "Isto é o que a IA encontrou, como perdemos e por que importa", escreveu o Wall Street Journal. Mas a comunidade matemática também pede cautela. A Declaração de Leiden, assinada por importantes matemáticos, pede supervisão sobre o uso de IA em pesquisa matemática, alertando que a dependência excessiva de IA pode minar a criatividade humana no cerne da descoberta matemática.
Nova era para IA na ciência
Scientific American chamou a conquista de "maior avanço da IA na matemática". A solução demonstra que a IA pode contribuir para descobertas matemáticas autênticas, não apenas computação. Enquanto alguns celebram como ferramenta para acelerar pesquisas, outros temem que possa mudar a natureza da prova matemática. O debate reflete discussões mais amplas na ciência sobre onde traçar a linha entre assistência de IA e descoberta liderada por humanos.