Um problema formulado em 1946 pelo matemático Paul Erdős foi resolvido por uma inteligência artificial da OpenAI. A questão, conhecida como o problema da distância unitária, perguntava quantos pares de pontos podem estar a distância 1 ao colocar n pontos no plano. Durante mais de oito décadas, os matemáticos usavam grades e números com muitos divisores, mas só conseguiam avanços limitados, com um limite superior apenas ligeiramente maior que n.
A abordagem da IA para resolver a conjectura 🤖
A IA da OpenAI abordou o problema analisando configurações geométricas não baseadas em grades quadradas. Em vez de redimensionar com números divisíveis, explorou distribuições aleatórias e padrões de simetria. O sistema gerou conjuntos de pontos onde a quantidade de pares a distância 1 superou os limites humanos. Os resultados indicam que o limite superior é n multiplicado por uma constante, um avanço que os matemáticos não conseguiram em 80 anos. A IA validou suas descobertas com testes automatizados.
Enquanto isso, os matemáticos continuavam com suas grades 📐
Os matemáticos passaram 80 anos desenhando quadradinhos e recontando divisores, como quem procura as chaves debaixo do poste porque ali há luz. A IA, sem preconceitos nem cafés, chegou e disse: por que não tentar outra coisa. E funcionou. Agora os humanos podem se sentir orgulhosos: criaram uma ferramenta que resolve em horas o que eles não conseguiram em décadas. É verdade, da próxima vez que alguém perguntar como foi feito, a resposta será: não sei, pergunte à máquina.