IA da OpenAI derruba problema de geometria de 80 anos
Neste domingo, a OpenAI revelou que um de seus modelos de raciocínio geral conseguiu disprovar o famoso problema da unidade de distância de Erdős, uma questão que desafiou matemáticos por cerca de 80 anos. Esse feito não apenas demonstra o potencial da…