Em 20 de maio de 2026, a OpenAI anunciou que um modelo interno de inteligência artificial havia refutado a conjectura da distância unitária de Erdős — um problema em aberto na geometria discreta desde 1946. Não foi uma mera verificação de uma prova existente: a IA construiu um contraexemplo original, …
Equipe editorial