20 octobre 2026, de nouveaux travaux sont apparus dans la liste d'arXiv, où des mathématiciens indiquent explicitement l'aide de modèles comme ChatGPT-6 Astra.
Parmi eux figure une démonstration de la conjecture d'Erdős–Szemerédi sur les tournesols pour tout k ≥ 3. Les auteurs notent que c'est précisément ChatGPT-6 Astra Pro qui a trouvé le théorème central.
Auparavant, seul le cas k = 3 était connu, obtenu en 2016 grâce à la percée du cap-set. Désormais, une amélioration explicite est annoncée : la taille d'une famille sans k-tournesol est bornée par une valeur inférieure à 2^n.
Dans la même liste figurent d'autres résultats impliquant l'IA : une estimation pour la conjecture de Borodine–Kostochka, une amélioration du temps de résolution des problèmes de programmation en nombres entiers et des contre-exemples à la conjecture d'Arveson dans le cas commutatif.
De nombreux auteurs écrivent que le modèle a proposé des étapes clés ou des démonstrations complètes, que les humains ont vérifiées et mises en forme. Certains travaux sont accompagnés de mentions de vérifications Lean, bien que les fichiers ne soient pas encore publiés.
Tous les résultats annoncés attendent une évaluation indépendante. Pour l'instant, ils conservent le statut « en attente de vérification ».
