20 ottobre 2026 nel nuovo elenco di arXiv sono apparsi lavori in cui i matematici indicano esplicitamente l'aiuto di modelli come ChatGPT-6 Astra.
Tra questi c'è la dimostrazione della congettura di Erdős–Szemerédi sui girasoli per ogni k ≥ 3. Gli autori osservano che il teorema centrale è stato trovato proprio da ChatGPT-6 Astra Pro.
In precedenza era noto solo il caso k = 3, ottenuto nel 2016 grazie al progresso con i cap-set. Ora si annuncia un miglioramento esplicito: la dimensione della famiglia senza k-girasole è limitata da una quantità inferiore a 2^n.
Nello stesso elenco ci sono altri risultati con il coinvolgimento dell'IA: una stima per la congettura di Borodin–Kostochka, un miglioramento del tempo di risoluzione dei problemi di programmazione intera e controesempi alla congettura di Arveson nel caso commutativo.
Molti autori scrivono che il modello ha proposto passaggi chiave o dimostrazioni complete, mentre le persone le hanno verificate e redatte. Alcuni lavori sono accompagnati da menzioni di verifiche con Lean, sebbene i file non siano ancora stati pubblicati.
Tutti i risultati annunciati attendono una revisione indipendente. Per ora restano nello stato di «in attesa di verifica».
