Neel Somani ha risolto un problema di Erdos?
Neel Somani
Neel Somani11 gen, 13:00
Vittoria del weekend: La dimostrazione che ho inviato per il Problema di Erdos #397 è stata accettata da Terence Tao. La dimostrazione è stata generata da GPT 5.2 Pro e formalizzata con Harmonic. Molti problemi aperti sono lì, in attesa che qualcuno chieda a ChatGPT di risolverli:
Mentre CT si disintegra, è divertente vedere vecchi personaggi in libertà
39