Il semblerait que les problèmes d'Erdős soient à la fois une source inépuisable de divertissement et de drames 🤣. Il s'avère que le problème résolu hier par Harmonic était la version « facile » du n° 124, et la version difficile reste ouverte ! (Curieusement, la version formalisée allégée – formalisée par des humains – était encore plus faible que la version « facile », mais ceci est une autre histoire). En ce qui concerne les problèmes d'Erdős et d'IA, le n° 848, que nous décrivons dans l'article sur GPT-5, reste le plus élégant, résolu par une collaboration entre humains et IA. Quant aux problèmes ouverts de plus de 10 ans entièrement résolus par l'IA, je pense que le chapitre IV, section 3, en est un bon exemple : ouvert depuis 2012 seulement, il a été examiné par environ O(10) personnes, chacune pendant plusieurs semaines. Et il est crucial de toujours rappeler que cela n'est utile que dans la mesure où c'est utile aux mathématiciens humains. Il n'y a pas d'autre point à souligner.
Chargement du thread
Récupération des tweets originaux depuis X pour offrir une lecture épurée.
Cela ne prend généralement que quelques secondes.