Modelo da OpenAI desbanca conjectura de Erdős sobre distâncias unitárias com prova original

Modelo interno de raciocínio geral da OpenAI produz prova original que derruba conjectura aberta desde 1946 — Will Sawin (Princeton) refina depois para δ=0,014 e Tim Gowers (Fields medalist) escreve paper acompanhador descrevendo o resultado como milestone.