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, proposta pelo matemático húngaro Paul Erdős em 1946, que trata do número máximo de pares de pontos a uma mesma distância. 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 e produziu a prova de uma só vez, enquanto a empresa o avaliava num conjunto de problemas de Erdős.

O resultado foi verificado por matemáticos externos e detalhado em artigos no arXiv. Tim Gowers, ganhador da Medalha Fields, chamou o feito de marco da IA na matemática, e Gil Kalai comparou sua importância à da prova assistida por computador do teorema das quatro cores, de 1976.