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:
Discussione:
45