20 Ekim 2026 tarihinde arXiv'nin yeni listesinde, matematikçilerin ChatGPT-6 Astra gibi modellerin yardımına doğrudan işaret ettiği çalışmalar yer aldı.
Bunlar arasında, her k ≥ 3 için ayçiçekleri üzerine Erdős–Szemerédi hipotezinin ispatı da var. Yazarlar, merkezî teoremi tam olarak ChatGPT-6 Astra Pro'nun bulduğunu belirtiyor.
Daha önce yalnızca k = 3 durumu biliniyordu; bu da 2016 yılında cap-set alanındaki atılım sayesinde elde edilmişti. Şimdi açık bir iyileşme iddia ediliyor: k-ayçiçeği içermeyen ailenin boyutu 2^n'den küçük bir değerle sınırlı.
Aynı listede yapay zekânın katıldığı başka sonuçlar da var: Borodin–Kostochka hipotezi için bir tahmin, tam sayılı programlama problemlerinin çözüm süresinde iyileşme ve değişmeli durumda Arveson hipotezine karşı örnekler.
Birçok yazar, modelin kilit adımları ya da tam ispatları önerdiğini, insanların ise bunları doğrulayıp düzenlediğini yazıyor. Bazı çalışmalarda Lean doğrulamalarına yapılan atıflar eşlik ediyor, ancak dosyalar henüz yayımlanmadı.
Bildirilen tüm sonuçlar bağımsız hakem değerlendirmesini bekliyor. Şimdilik «doğrulama bekliyor» statüsünde kalıyorlar.
