Rafael NazarA OpenAI anunciou que um de seus modelos de inteligência artificial conseguiu resolver um problema matemático que estava sem solução há 80 anos. O feito, que foi validado por matemáticos, envolve o problema da distância unitária no plano, formulado pelo matemático húngaro Paul Erdős em 1946.
Essa conquista representa um marco significativo na capacidade da IA de abordar questões matemáticas complexas. A OpenAI destaca que esta é a primeira vez que uma inteligência artificial resolve de forma autônoma um problema em aberto considerado central na matemática.
O que é o problema da distância unitária no plano
O problema proposto por Erdős busca determinar o número máximo de pares de pontos que podem estar separados por exatamente uma unidade de distância em um plano bidimensional. Erdős sugeriu que esse número cresceria um pouco mais rápido do que a quantidade total de pontos considerados.
Desde a formulação original, matemáticos têm tentado estabelecer limites para essa questão. O limite superior mais preciso conhecido até agora foi definido em 1984, e a OpenAI afirma que seu modelo encontrou configurações que superaram esse limite.
Modelo não foi treinado especificamente para matemática
Um aspecto interessante do modelo utilizado é que ele não foi treinado especificamente para resolver problemas matemáticos. Em um artigo de pesquisa, os cientistas da OpenAI afirmaram que o sistema empregou uma abordagem inovadora, substituindo teorias normalmente ligadas ao problema da distância unitária.
Embora os conceitos utilizados já fossem conhecidos por especialistas, a aplicação em questões geométricas foi uma descoberta surpreendente. Isso demonstra o potencial da IA em explorar novas conexões entre diferentes áreas do conhecimento.
Revisão humana confirmou os resultados
Apesar do destaque para a inteligência artificial, a OpenAI enfatizou que matemáticos externos foram convidados a revisar e confirmar os resultados. O matemático Thomas Bloom, da Universidade de Manchester, validou a demonstração produzida pela IA, que foi aprimorada por pesquisadores humanos.
A participação humana continua sendo essencial para discutir e interpretar as provas matemáticas. Isso ressalta a importância da colaboração entre humanos e máquinas na pesquisa matemática.
Comunidade matemática reage de forma positiva
A reação da comunidade matemática foi majoritariamente positiva. O professor de matemática Tim Gowers, da Universidade de Cambridge, classificou a solução como um marco para a matemática gerada por inteligência artificial.
Ele afirmou que, se o artigo tivesse sido escrito por um pesquisador humano, sua recomendação seria pela aceitação imediata. A OpenAI argumenta que esse resultado demonstra que sistemas de IA podem ser valiosos na pesquisa, mas devem ser vistos como ferramentas complementares ao trabalho humano.
