Quanta Magazine, bir yapay zeka sisteminin kuasi-Riemann hipotezine bir kanıt ürettiğini ve böyle bir sonuçtan ne çıkacağını sorduğunu bildiriyor.
Rapora göre kanıt şu anda kutlanmak yerine inceleme nesnesidir: Matematikçilerin sonucu kesin sayabilmek için makine üretilen bir argümanı satır satır kontrol etmesi gerekir; bu doğrulama görevi kendisi hikâyenin bir parçasıdır. Makale, matematik topluluğunun AI destekli sonuçları nasıl özümseyeceği — kimlerin hakemlik yapacağı, hangi sunum standartlarının geçerli olacağı ve insan zihninin yazmadığı bir kanıta nasıl güven inşa edileceği — sorularını bir test vakası olarak ele alıyor.
Başlık sorusu sonucu hem geriye hem ileriye doğru takip eder. Bu büyüklükte bir kanıt AI yardımıyla üretilebiliyorsa, matematikçilerin önceliklendirdiği açık problemler, lisansüstü öğrencilerin yetiştirilme biçimi ve dergilerin yayın normları da tartışma alanına girer. Sonuç, matematiği resmileştirmeye ve üretmeye odaklanan daha geniş bir AI dalgasının ortasına düşüyor.
Kanıtın kaynakları ve çalışan matematikçilerin tepkileri dahil olmak üzere tam anlatım Quanta Magazine raporunda. Sonuç kesin kabul edilmeden önce doğrulama durumu kaynaktan teyit edilmelidir.
Daha fazlası: Quanta Magazine.
