OpenAI anunciou 722 trabalhos matemáticos que provam e refutam uma variedade de problemas, um alcance que impressiona os acadêmicos.

A capacidade dos modelos de inteligência artificial (IA) de lidar com problemas matemáticos tem aumentado ao longo dos meses. Em 2019, esses modelos lutavam para obter uma nota mínima em provas de matemática do GCSE. No mês passado, eles resolveram um problema relacionado às equações de Navier-Stokes de dinâmica de fluidos, um dos maiores desafios matemáticos.

Em vez de focar em profundidade, a empresa optou por amplitude, lançando centenas de descobertas matemáticas de uma só vez. A OpenAI não identificou o modelo específico que fez as descobertas, apenas chamando-o de 'um modelo de fronteira interna'.

Francis Johnson, da Universidade College London, que trabalhou durante 25 anos no problema de Wall's D(2), diz estar surpreso pela rapidez com que a IA resolveu o problema, mas não surpreso pelo resultado.

Kevin Buzzard da Imperial College London alerta para a necessidade de cautela. Ele observa que, entre os 30 trabalhos relevantes para sua área de teoria dos números, apenas sete pareceram impressionantes e apenas um foi verificado formalmente em Lean, um tipo de análise computacional.

Ben Allanach da Universidade de Cambridge afirma que empresas de IA têm contratado matemáticos e investido em pesquisa, considerando descobertas matemáticas como um troféu intelectual.