Big Techs·Publicado em 23 de mai. de 2026IA da OpenAI refuta conjectura matematica de Erdos que resistiu por 80 anosNo dia 20 de maio de 2026, um modelo de raciocinio da OpenAI fez algo que nenhum matematico havia conseguido em quase oito decadas: refutou a conjectura da distancia unitaria planar, um problema aberto proposto pelo matematico hungaro Paul Erdos em 1946. A descoberta, verificada de maneira independente por matematicos de Princeton e outras universidades, […]
