#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

1196 Discussion Thread | Erdős Problems

The #Lonely #Runner #Conjecture explores the motion of n runners on a circular track of unit length, each starting at the same point with different constant speeds.

It posits that for every runner, there exists a time when they are "lonely," meaning they are at a distance of at least 1/n from every other runner on the track.

https://knowledgezone.co.in/kbits/64789b72c378ae04d312cb6f

✨ Une première: ChatGPT résout une conjecture mathématique

Qui aurait imaginé qu'un outil d'intelligence artificielle accessible à tous puisse participer à la création de...

Techno-Science.net
✨ Une première: ChatGPT résout une conjecture mathématique

Qui aurait imaginé qu'un outil d'intelligence artificielle accessible à tous puisse participer à la création de...

Techno-Science.net