OpenAI, Yapay Zekasının 372 Açık Matematik Problemini Çözdüğünü Söylüyor. Matematikçiler Şüpheli

Ekim ayının başlarında OpenAI, GitHub’da şirketin hiçbir zaman kamuya açmadığı tek bir dahili model tarafından üretilen 722 matematik el yazması yayınladı. OpenAI’ye göre sistem, sayılar teorisi, geometri, olasılık ve teorik bilgisayar bilimi gibi 17 matematik dalında yaklaşık 4.000 açık problemi ele aldı ve bunların 372’sinde sonuç üretti. Duyuru, Çinli matematikçi Wang Hong’un Kakegawa varsayımının üç boyutlu versiyonu üzerine yaptığı çalışmayla disiplinin en yüksek onuru olan Fields Madalyası’nı kazanmasından üç aydan kısa bir süre sonra geldi. Şirketin öne sürdüğüne göre OpenAI’nin modeli bir boyut daha ileri gitmişti.

Duyurunun yayılmasını sağlayan şey bu çerçeveleme oldu. Matematik, yapay zeka için beklenmedik bir sınav alanı haline geldi, çünkü makale yazmak veya görüntü üretmekten farklı olarak bir ispat kontrol edilebilir. Doğru bir ispat sonsuza dek doğrudur; yanlış olan ise herhangi bir yetkin lisansüstü öğrenci tarafından çürütülebilir. Doğal hakemler pazarlama departmanları değil, Fields Madalyası sahipleridir.

Sorun hacimde. Yedi yüz yirmi iki el yazması bir makale değil. Küçük bir kütüphanedir ve okunması, onu yazan model sınıfına devredilemeyecek türden yavaş, eleştirel bir dikkat gerektirir. Dosyaları incelemeye başlayan matematikçiler karışık bir manzara tanımlıyor: belirli bir adıma kadar akla yatkın görünen argümanlar, ortasında sessizce anlam değiştiren tanımlar ve ara sıra gerçekten yeni görünen sonuçlar.

Çinli bilim yazarları daha açık sözlüydü. Geniş çapta paylaşılan bir makale, yayını bir atık dağının keşfine benzetti; araştırmacılar burunlarını tıkayıp içinde altın arıyordu. İmge kaba, ama gerçek emeği yakalıyor. Birinin, satır satır, 372 iddia edilen sonuçtan hangilerinin bir insan uzmanla temasında ayakta kaldığına karar vermesi gerekiyor.

Bu, makine öğreniminde tanıdık bir modeldir. Aday çözümler üreten sistemler, ister matematik, ister ilaç keşfi, ister malzeme bilimi olsun, onları doğrulayacak insanların çok önüne geçer. Doğrulama darboğaz haline gelir ve darboğaz aracın gerçek değerini belirler. On bin hipotez öneren bir model, ancak onları test edebilen laboratuvar kadar faydalıdır.

Modelin ne yaptığına dair daha derin bir soru da var. Matematikçiler bir ispat bulmak ile bir teoremin neden doğru olduğunu anlamak arasında ayrım yapar. Bir makine, sonucu kaçınılmaz kılan yapıyı kavramadan geçerli adımlardan oluşan bir zincir arayabilir ve insanların bir sonucu yeni durumlara genişletmesini sağlayan da o yapıdır. OpenAI el yazmaları geçerli ispatlar içeriyor ama içgörü içermiyorsa, yine de faydalı olabilirler — ama tek başlarına alanın düşünme biçimini değiştirmezler.

Şimdilik dürüst cevap, kimsenin bilmediğidir. El yazmaları kamuya açık, iddialar kontrol edilebilecek kadar spesifik ve kontrol başladı. Matematik anlaşmazlıkları her zaman böyle çözmüştür ve bu bir ürün duyurusundan daha yavaş bir süreçtir.

Bu olayın gösterdiği şey, yapay zeka şirketlerinin en inandırıcı iddialarını yapabilecekleri arenanın matematik olduğuna karar vermiş olmalarıdır. Alan, yapay zeka tartışmasında nadir bulunan bir şey sunuyor: kimsenin görüşüne bağlı olmayan bir hüküm. O 372 sonuçtan küçük bir kısmı bile geçerli olsa, yayın bir dönüm noktası olarak hatırlanacak. Çoğu inceleme altında çökerse, metin üretmek ile bilgi üretmek arasındaki uçuruma dair bir ders olarak hatırlanacak.