El 20 de octubre de 2026 aparecieron en la nueva lista de arXiv trabajos en los que los matemáticos señalan directamente la ayuda de modelos como ChatGPT-6 Astra.
Entre ellos figura la demostración de la conjetura de Erdős–Szemerédi sobre los girasoles para cualquier k ≥ 3. Los autores señalan que el teorema central lo encontró precisamente ChatGPT-6 Astra Pro.
Anteriormente solo se conocía el caso k = 3, obtenido en 2016 gracias al avance con cap-set. Ahora se anuncia una mejora explícita: el tamaño de la familia sin k-girasol está acotado por una magnitud menor que 2^n.
En la misma lista figuran otros resultados con participación de IA: una estimación para la conjetura de Borodin–Kostochka, una mejora del tiempo de resolución de problemas de programación entera y contraejemplos a la conjetura de Arveson en el caso conmutativo.
Muchos autores escriben que el modelo propuso pasos clave o demostraciones completas, y que las personas las verificaron y las redactaron. Algunos trabajos incluyen menciones a verificaciones en Lean, aunque los archivos aún no se han publicado.
Todos los resultados anunciados esperan una revisión independiente. Por ahora permanecen en el estado de «pendiente de verificación».
