20 października 2026 roku w kolejnej liście arXiv pojawiły się prace, w których matematycy wprost wskazują na pomoc modeli takich jak ChatGPT-6 Astra.
Wśród nich znajduje się dowód hipotezy Erdősa–Szemerédiego o słonecznikach dla dowolnego k ≥ 3. Autorzy zaznaczają, że centralne twierdzenie znalazł właśnie ChatGPT-6 Astra Pro.
Wcześniej znany był tylko przypadek k = 3, uzyskany w 2016 roku dzięki przełomowi z cap-set. Teraz ogłoszono wyraźną poprawę: rozmiar rodziny bez k-słonecznika jest ograniczony wielkością mniejszą niż 2^n.
Na tej samej liście znajdują się inne wyniki z udziałem AI: oszacowanie dla hipotezy Borodina–Kostochki, poprawa czasu rozwiązywania zadań programowania całkowitoliczbowego oraz kontrprzykłady do hipotezy Arvesona w przypadku przemiennym.
Wielu autorów pisze, że model proponował kluczowe kroki lub pełne dowody, a ludzie je weryfikowali i redagowali. Niektóre prace zawierają wzmianki o weryfikacjach w Lean, choć pliki nie zostały jeszcze opublikowane.
Wszystkie ogłoszone wyniki czekają na niezależną recenzję. Na razie pozostają w statusie „oczekuje na weryfikację”.
