20 Oktober 2026, dalam daftar arXiv terbaru muncul karya-karya yang secara langsung menyebutkan bantuan model seperti ChatGPT-6 Astra.
Di antaranya adalah pembuktian hipotesis Erdős–Szemerédi tentang bunga matahari untuk sembarang k ≥ 3. Para penulis mencatat bahwa teorema intinya ditemukan justru oleh ChatGPT-6 Astra Pro.
Sebelumnya hanya kasus k = 3 yang diketahui, yang diperoleh pada tahun 2016 berkat terobosan cap-set. Kini diklaim ada peningkatan eksplisit: ukuran keluarga tanpa k-bunga matahari dibatasi oleh besaran yang lebih kecil dari 2^n.
Dalam daftar yang sama terdapat hasil-hasil lain yang melibatkan AI: estimasi untuk hipotesis Borodin–Kostochka, peningkatan waktu penyelesaian masalah pemrograman bilangan bulat, dan contoh penyangkal terhadap hipotesis Arveson dalam kasus komutatif.
Banyak penulis menulis bahwa model mengusulkan langkah-langkah kunci atau pembuktian lengkap, sedangkan manusia memverifikasi dan merapikannya. Beberapa karya disertai penyebutan pemeriksaan Lean, meskipun berkasnya belum dipublikasikan.
Semua hasil yang diklaim menunggu tinjauan independen. Untuk sementara, semuanya masih berstatus "menunggu pemeriksaan".
