Modelo da OpenAI resolve problema matemático de 80 anos

Um modelo de raciocínio de propósito geral desenvolvido pela OpenAI alcançou um feito inédito ao solucionar a conjectura da distância unitária de Erdős, um desafio matemático que persistia sem resposta desde 1946. A resolução, que refuta uma premissa central da geometria discreta, foi validada através da disponibilização da prova formal pela empresa, marcando um avanço significativo na aplicação de sistemas de IA para a exploração de fronteiras da ciência fundamental. Ao demonstrar competência em raciocínio lógico de alto nível, a tecnologia provou ser um aliado estratégico para pesquisadores em áreas que exigem rigor matemático extremo. Esta conquista não apenas altera o entendimento atual no campo da geometria, mas também estabelece um novo precedente para o uso de modelos computacionais na resolução de problemas científicos que permanecem sem solução há gerações.