OpenAI Afirma Ter Resolvido Enigma Matemático de 80 Anos com Nova IA
A IA Desvendando os Mistérios da Matemática
Imagine um problema que intriga mentes brilhantes por quase um século, um verdadeiro quebra-cabeça na geometria. Pois bem, a OpenAI está novamente na boca do mundo tech, afirmando que um de seus modelos de raciocínio, recém-desenvolvido, conseguiu produzir uma prova matemática original. E o mais interessante: essa prova refuta uma famosa conjectura não resolvida, proposta pelo lendário Paul Erdős em 1946. É como se a IA, com sua capacidade de processamento e análise, tivesse encontrado um atalho ou uma nova perspectiva em um labirinto que parecia intransponível para nós, humanos.
Agora, se essa história soa um pouco familiar, você não está sozinho. Há alguns meses, a OpenAI fez uma afirmação semelhante que, para ser gentil, se revelou um tanto quanto… precipitada. Naquela ocasião, um executivo da empresa havia anunciado que o GPT-5 tinha solucionado diversos problemas de Erdős. Contudo, a verdade veio à tona: o modelo apenas havia encontrado soluções já existentes na literatura, não criando nada novo. Isso gerou um burburinho e até provocações de figuras como Yann LeCun e Demis Hassabis, do Google DeepMind. O post foi prontamente removido, e a lição, aparentemente, foi aprendida.
Desta Vez, com o Selo de Aprovação dos Especialistas
Mas, desta vez, a situação parece ser diferente. A OpenAI não só fez o anúncio, como também publicou uma série de comentários de matemáticos de peso, endossando a nova prova. Nomes como Noga Alon, Melanie Wood e, notavelmente, Thomas Bloom — que mantém o site dos Problemas de Erdős e foi um dos críticos mais vocais do episódio anterior — estão entre os que apoiam a descoberta. É como ter um time de árbitros renomados validando a jogada, garantindo que o gol foi legítimo.
“Por quase 80 anos, matemáticos acreditavam que as melhores soluções possíveis se pareciam, grosso modo, com grades quadradas”, explicou a OpenAI em uma de suas publicações. “Um modelo da OpenAI agora refutou essa crença, descobrindo uma família inteiramente nova de construções que apresenta um desempenho superior.”
A empresa destaca que este é um marco importante: a primeira vez que uma inteligência artificial resolveu de forma autônoma um problema aberto e central em um campo da matemática. E o mais fascinante é que essa prova não veio de um sistema projetado especificamente para resolver problemas matemáticos ou mesmo para essa conjectura em particular, mas sim de um modelo de raciocínio de propósito geral. Isso nos mostra que a IA está amadurecendo, tornando-se capaz de encadear raciocínios longos e complexos, conectando ideias de maneiras que talvez nós, humanos, ainda não tenhamos explorado. As implicações são vastas, abrangendo desde a biologia e a física até a engenharia e a medicina. É como se a IA estivesse nos ajudando a enxergar novas salas e corredores na vasta catedral do conhecimento que construímos ao longo dos séculos. Que outras maravilhas ainda nos esperam?
