OpenAI refuta a conjectura das distâncias unitárias de Erdős: problema em aberto há 80 anos é encerrado por contraexemplo de IA
Em 1946, Paul Erdős propôs o problema das distâncias unitárias: entre n pontos no plano, quantos pares podem estar a distância exatamente 1? Por quase 80 anos, acreditou-se que a malha quadrada era ótima. A OpenAI afirma que seu modelo de raciocínio interno produziu a primeira prova por contraexemplo totalmente autônoma.