Neel Somani a rezolvat o problemă Erdos?
Neel Somani
Neel Somani11 ian., 13:00
Victorie de weekend: Dovada pe care am trimis-o pentru Problema Erdos #397 a fost acceptată de Terence Tao. Demonstrația a fost generată de GPT 5.2 Pro și formalizată cu Harmonic. Multe probleme deschise stau acolo, așteptând ca cineva să-l determine pe ChatGPT să le rezolve:
Pe măsură ce CT se destramă, este distractiv să vezi personaje vechi în sălbăticie
34