GPT-6 Astra, Liouville versiyonundaki Goldbach problemini çözdü, Lean tarafından bağımsız olarak doğrulandı.

动察 Beating AI hızlı haber: Anonim matematik topluluğu hesabı Captain Sude, GPT-6 Astra'nın bulduğu ve Liouville versiyonu Goldbach problemini çözen yeni bir kanıtı yayınladı.

Bu problem, klasik Goldbach varsayımındaki "iki asal sayı"yı "toplam asal çarpan sayısı tek olan iki tam sayı" olarak genişletiyor. Daha önce Durham Üniversitesi matematikçisi Alexander P. Mangerel bunu yalnızca genelleştirilmiş Riemann hipotezi geçerliyken ve çift sayı yeterince büyükken kanıtlayabiliyordu.

Astra şimdi bu iki kısıtlamayı kaldırarak 2'den büyük tüm çift sayılar için geçerli olduğunu kanıtlıyor. Temel yaklaşım, önce bir çift sayının bu şekilde ayrıştırılamayacağını varsaymak, sonra adım adım birbiriyle çelişen sonuçlar çıkarmaktır.

Tam kanıt Lean 4'e yazıldı. Proje normal şekilde derleniyor, bağımsız denetim deposu da başarıyla yeniden üretildi; `sorry` veya ek matematiksel aksiyom bulunamadı.

Klasik Goldbach varsayımının kendisi hâlâ çözülmemiştir, çünkü buradaki iki toplanan hâlâ bileşik sayı olabilir.