A OpenAI anunciou que um de seus modelos de inteligência artificial conseguiu resolver um problema matemático que estava em aberto há oito décadas. O feito foi validado por matemáticos e divulgado recentemente, envolvendo o enigma da distância unitária no plano, formulado pelo matemático húngaro Paul Erdős em 1946.

Entendendo o problema da distância unitária

O desafio proposto por Erdős busca determinar o número máximo de pares de pontos que podem ser separados por exatamente uma unidade de distância em um plano bidimensional. A conjectura inicial indicava que esse número cresceria um pouco mais rapidamente do que a quantidade total de pontos em consideração. Desde a sua formulação, matemáticos têm se esforçado para estabelecer limites para essa questão.

Avanços significativos na solução

Antes da descoberta da OpenAI, o limite superior mais preciso conhecido foi estabelecido em 1984. Segundo a empresa, seu modelo de IA encontrou um conjunto de configurações que superou esse limite, representando um avanço significativo na capacidade da inteligência artificial de lidar com questões complexas.

Modelo de raciocínio geral

Uma informação relevante é que o modelo utilizado pela OpenAI não foi especificamente treinado para resolver problemas matemáticos. De acordo com os cientistas da empresa, a abordagem adotada foi inovadora, substituindo uma teoria comumente associada ao problema da distância unitária no plano.

Validação por matemáticos humanos

Embora a OpenAI tenha atribuído a descoberta à sua IA, matemáticos externos foram convidados a revisar e confirmar os resultados. O matemático Thomas Bloom, da Universidade de Manchester, ressaltou que a demonstração da IA era válida, mas foi aprimorada pela colaboração de pesquisadores humanos.

Pontos de vista da comunidade matemática

A reação da comunidade matemática, segundo a OpenAI, foi majoritariamente positiva. O professor Tim Gowers, da Universidade de Cambridge, descreveu a solução como um marco na aplicação de inteligência artificial em matemática, afirmando que aceitaria um artigo baseado nesse resultado sem hesitação, caso fosse escrito por um humano.