#mathématiques voilà j'ai enfin vu la discussion en L. Price , T. Tao et quelques autres sur la #conjecture of #Erdős, Sárközy, and Szemerédi. Lichtman et sa démonstration à l'aide de GPT5.4 dont on parle bcp depuis un mois. Je suis pas assez fort dans le domaine pour tout suivre mais on voit que cette démonstration utilise des techniques existantes, bien rodées sur d'autres problèmes du même type, et que "l'amateur" Price les maîtrise un minimum (mieux que moi).
https://www.erdosproblems.com/forum/thread/1196?order=oldest







