A OpenAI anúnciou na semana passada que um de seus modelos internos de inteligência artificial conseguiu resolver um problema matemático que permanecia sem solução há oito décadas. O feito representa um avanço significativo na capacidade da IA de lidar com questões matemáticas complexas e marca a primeira vez que um sistema autônomo resolve um problema considerado central para uma área específica da matemática.
O problema formulado por Paul Erdős
O problema em questão é conhecido como "distância unitária no plano" e foi formulado pelo matemático húngaro Paul Erdős em 1946. A questão propõe uma pergunta aparentemente simples: qual é o número máximo de pares de pontos que podem estar separados por exatamente uma unidade de distância em um plano bidimensional? Na formulação original, Erdős sugeriu que esse número cresceria um pouco mais rápido do que a quantidade total de pontos considerados, e desde então, matemáticos de todo o mundo tentam estabelecer limites precisos para essa questão.
A solução encontrada pela IA
Até 1984, o limite superior mais preciso conhecido havia sido definido por pesquisadores da área. A OpenAI revelou que seu modelo interno conseguiu identificar um conjunto de configurações que ultrapassou esse limite associado ao trabalho anterior, algo que especialistas não haviam alcançado em décadas de pesquisa. Um dos aspectos mais notáveis highlighted pela empresa é que o modelo utilizado foi desenvolvido para raciocínio geral, não tendo sido treinado especificamente para resolver esse problema matemático.
Abordagem inovadora
Os cientistas da OpenAI explicaram que o sistema empregou uma abordagem considerada inéditas para substituir uma teoria normalmente associada ao problema da distância unitária. Os conceitos utilizados já eram conhecidos por especialistas em teoria algébrica dos números, however, foi surpreendente identificar implicações dessas ideias para questões geométricas, demonstrando como a IA pode fazer conexões interdisciplinares inesperadas.
Validação pela comunidade científica
Apesar de atribuir a descoberta à inteligência artificial, a OpenAI destacou que matemáticos externos foram convidados para revisar e confirmar os resultados. Esses pesquisadores produziram um artigo complementar explicando o contexto da solução encontrada pelo modelo. Thomas Bloom, matemático da Universidade de Manchester e responsável pelo site dedicado aos problemas de Erdős, afirmou no trabalho complementar que a demonstração produzida pela IA era válida, mas foi significativamente aprimorada por pesquisadores humanos da OpenAI e por outros matemáticos envolvidos.
Bloom enfatizou que a participação humana continua fundamental para discutir, interpretar, aperfeiçoar a prova matemática e investigar suas consequências. Esta colaboração entre inteligência artificial e mathematicians humanos representa um novo paradigma na pesquisa matemática.
Reações da comunidade matemática
As reações de matemáticos citados pela OpenAI foram majoritariamente favoráveis. Tim Gowers, professor de matemática da Universidade de Cambridge, classificou a solução como um marco para a matemática produzida por inteligência artificial. Segundo ele, se o artigo tivesse sido escrito por um pesquisador humano e submetido à revista Annals of Mathematics, sua recomendação seria pela aceitação sem hesitação. Gowers também afirmou que nenhuma demonstração gerada por IA havia alcançado um nível semelhante anteriormente.
Contexto e próximos passos
A OpenAI argumenta que o resultado serve como demonstração de que sistemas de IA podem contribuir para pesquisas de fronteira. Ainda assim, a empresa enfatiza que a tecnologia deve funcionar como ferramenta de apoio aos matemáticos, e não como substituta do trabalho humano. O anúncio ocorre após um episódio anterior envolvendo declarações da OpenAI em outubro do ano passado, quando representantes afirmaram que o GPT-5 havia resolvido dez problemas matemáticos não solucionados atribuídos a Erdős. Após especialistas apontarem que os problemas mencionados já haviam sido resolvidos anteriormente por matemáticos humanos, a empresa retractou as afirmações.
Este novo resultado representa uma conquista significativa para o campo da inteligência artificial aplicada à matemática, demonstrando o potencial de colaboração entre máquinas e humanos na resolução de problemas complexos que desafiam a humanidade há décadas.
Fonte: https://olhardigital.com.br
