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 :
Fil :
28