Há alguns meses, a AI foi notícia por resolver um quebra-cabeça matemático que intrigava especialistas há décadas. O matemático Paul Erdős propôs a conjectura da distância unitária, prevendo quantos pares de pontos poderiam estar à mesma distância. A AI provou que ele estava errado ao encontrar um grupo de contraexemplos infinitos para a solução que Erdős propôs.
Fonte: TechXplore AI
Publicado em 2026-08-17