Neel Somani a résolu un problème d'Erdős ?
Neel Somani
Neel Somani11 janv., 13:00
Victoire du week-end : La preuve que j'ai soumise pour le Problème d'Erdős #397 a été acceptée par Terence Tao. La preuve a été générée par GPT 5.2 Pro et formalisée avec Harmonic. De nombreux problèmes ouverts sont là, attendant que quelqu'un demande à ChatGPT de les résoudre :
Alors que CT se désintègre, c'est amusant de voir de vieux personnages dans la nature
46