Uma IA resolve um puzzle de geometria com 80 anos de idade. O que fazem os matemáticos disso?
Oito décadas depois de Paul Erdős ter proposto o problema da distância unitária em 1946, uma IA de finalidade geral produziu configurações que ultrapassam os limites conjecturados há muito tempo, provando pelo menos pares de distância unitária n^(1+δ) para algum δ>0. Matemáticos da Princeton verificaram o resultado, com figuras como Tim Gowers e Arul Shankar a classificarem-no como um avanço significativo. Principais conclusões: A OpenAI resolveu o puzzle de Paul Erdős de 1946 com construções de
Coinpedia·05-31 21:24