Modelo de raciocínio da OpenAI derruba conjectura de Erdős de 1946

Um modelo de raciocínio de propósito geral da OpenAI derrubou a conjectura das distâncias unitárias no plano, um desafio matemático proposto por Paul Erdős em 1946. O sistema, que não foi treinado especificamente para matemática, encontrou uma família infinita de configurações que supera o arranjo tido como ótimo por décadas, produzindo a prova de uma só vez. O resultado foi verificado por matemáticos externos e detalhado em artigos no arXiv, sendo comparado por especialistas como Tim Gowers e Gil Kalai a marcos históricos da computação, como a prova do teorema das quatro cores.

A OpenAI afirma que este sucesso demonstra um progresso relevante nas capacidades de raciocínio lógico de seus modelos de inteligência artificial. O feito destaca a aplicação prática de modelos de linguagem avançados em áreas complexas da ciência e pesquisa acadêmica, consolidando a IA como uma ferramenta capaz de resolver problemas de longa data na matemática pura.