A inteligência artificial acaba de entrar em um território que, até pouco tempo atrás, parecia exclusivamente humano: a descoberta matemática profunda.
Pesquisadores revelaram que um modelo desenvolvido pela OpenAI conseguiu refutar uma conjectura matemática que permaneceu praticamente intocada por quase oito décadas. O problema estava ligado ao célebre matemático húngaro Paul Erdős, uma das figuras mais influentes da matemática do século XX.
O feito surpreendeu especialistas do mundo inteiro não apenas pelo resultado em si, mas pela maneira como a IA chegou até ele.
Segundo matemáticos envolvidos na revisão do trabalho, trata-se possivelmente do avanço mais significativo já alcançado por uma inteligência artificial em matemática pura.
O problema parecia simples — mas resistiu por gerações
Tudo gira em torno do chamado “problema da distância unitária”, formulado por Erdős em 1946.
A pergunta parece simples à primeira vista: se vários pontos forem distribuídos em um plano, quantos pares podem ficar exatamente à mesma distância entre si?
Erdős acreditava que a melhor maneira de maximizar essas conexões seria organizar os pontos em uma espécie de grade geométrica. Durante décadas, muitos matemáticos seguiram essa intuição tentando demonstrar que ela estava correta.
Mas ninguém conseguiu provar definitivamente a hipótese.
Agora, a IA descobriu algo ainda mais surpreendente: Erdős provavelmente estava errado.
A IA encontrou um caminho que humanos praticamente ignoravam
O detalhe mais impressionante talvez seja a estratégia usada pelo sistema.
Em vez de seguir os métodos geométricos tradicionais explorados por gerações de pesquisadores, a IA recorreu à teoria algébrica dos números — uma área extremamente abstrata da matemática que raramente ocupava papel central nesse problema específico.
A partir dessas estruturas matemáticas complexas, o modelo conseguiu construir configurações de pontos muito mais eficientes do que as previstas pelas abordagens clássicas.
Segundo pesquisadores ligados ao projeto, as construções geradas pela IA são tão intrincadas que seria extremamente difícil representá-las visualmente em uma folha de papel.
A reação dos matemáticos foi imediata
O impacto na comunidade matemática foi enorme.
“É um problema que eu não esperava ver resolvido durante minha vida”, afirmou Misha Rudnev, da Universidade de Bristol, em entrevista à revista New Scientist. “Isso é absolutamente uma bomba.”
O matemático Timothy Gowers, vencedor da Medalha Fields — considerada o equivalente ao Nobel da matemática —, afirmou que recomendaria imediatamente a publicação do trabalho em uma das revistas matemáticas mais prestigiadas do mundo caso ele tivesse sido apresentado por um pesquisador humano.
Já Will Sawin, da Universidade de Princeton, classificou o episódio como “o avanço mais significativo da IA em matemática até agora”.
Um modelo que nem foi treinado especificamente para matemática
Outro ponto que deixou especialistas impressionados é que, segundo a OpenAI, o sistema não foi desenvolvido exclusivamente para pesquisa matemática avançada.
A empresa afirma que se trata de um modelo de raciocínio geral.
Mesmo assim, a IA produziu centenas de páginas de demonstrações, cálculos e argumentos matemáticos que depois foram analisados e validados por pesquisadores independentes.
O trabalho não resolveu completamente o problema original — a IA não encontrou o número máximo exato de pares possíveis. Mas ela demonstrou que o limite imaginado por Erdős era baixo demais.
Ou seja: a famosa intuição do matemático estava incorreta.
Por que ninguém encontrou isso antes?
Especialistas acreditam que o diferencial da IA não foi criar matemática totalmente inédita, mas combinar ideias já existentes de maneiras que humanos simplesmente não haviam explorado.
Durante décadas, muitos matemáticos concentraram esforços em provar que Erdős estava certo, não em buscar contraexemplos complexos.
Além disso, pesquisadores humanos tendem a abandonar caminhos excessivamente difíceis ou pouco promissores depois de certo tempo.
A IA, por outro lado, consegue persistir por muito mais tempo em linhas de raciocínio extremamente abstratas sem sofrer fadiga mental ou perda de motivação.
Thomas Bloom, especialista em problemas ligados a Erdős, afirmou ao jornal The Guardian que o sistema obteve resultados justamente por continuar explorando caminhos que um humano provavelmente teria descartado.
Jacob Tsimerman resumiu essa diferença de forma marcante em entrevista à Scientific American: segundo ele, as inteligências artificiais conseguem navegar por “águas mais perigosas” durante muito mais tempo.
A criatividade humana ainda continua essencial
Apesar do entusiasmo, matemáticos ressaltam que os humanos continuam desempenhando papel central.
A demonstração produzida pela IA precisou ser revisada, reorganizada e refinada antes de ser apresentada publicamente.
Além disso, alguns especialistas apontaram limitações importantes. Melanie Matchett Wood alertou que o sistema às vezes apresentava ideias já conhecidas na literatura matemática como se fossem completamente originais.
Ainda assim, o episódio marca uma mudança histórica.
Até pouco tempo atrás, inteligências artificiais eram vistas principalmente como ferramentas para cálculo ou automação. Agora, começam também a participar de algo muito mais complexo: a descoberta matemática.
E isso deixa uma sensação difícil de ignorar dentro da comunidade científica.
Como resumiu Daniel Litt, matemático da Universidade de Toronto: “Este é o único resultado realmente interessante produzido de forma autônoma por IA até agora.” Mas ele completou com uma frase ainda mais inquietante: “Minha suspeita é que estamos prestes a descobrir que esses casos não serão tão raros assim.”
[ Fonte: DW ]
