Matematikçi Frank Calegari, Terence Tao'nun etkileyici blogunda, 6 Ekim'de OpenAI tarafından 700'den fazla araştırma makalesinin yayınlanmasının "matematik tarihinde bir dönüm noktası" olduğunu savunarak, yapay zekanın kendi alanına neler yaptığına dair açık bir değerlendirme yayınladı. "Matematik değişti. Öyle davranalım" başlıklı gönderi Cumartesi günü gündeme geldi ve hızla Hacker News'in ön sayfasına ulaştı ve yüzlerce yorum aldı. Makalenin ana mesajı, yapay zeka şirketleri için olduğu kadar matematikçiler için de bir meydan okumadır; bu çarpışmayla ilgili devam eden haberler için AI araştırma haberlerimizi inceleyin.
Calegari, "Yapay zekanın artık matematiğin birçok alanına çığır açıcı katkılar yapma kapasitesine sahip olduğu inkar edilemez" diye yazıyor. "Peki neden bazı matematikçiler bu kadar mutsuz?" Onun cevabı, yapay zeka tarafından üretilen araştırmalar konusunda alanın en önde gelen şüphecilerinden birinden bekleyeceğiniz yanıt değil.
Kağıtların Kendisi Hakkında Kesin Bir Karar
Calegari'nin OpenAI sürümüne yönelik eleştirisi zanaat ve topluluk normlarıyla ilgili soruları sertleştiriyor. Kendisi, makalelerin "acımasızca yazıldığını ve topluluğumuzun atıf beklentilerine aykırı olduğunu, hatta bazılarının yanlış olduğunu" yazıyor. Şikayet, yapay zekanın matematik yapamaması değil -yapabileceğini kabul ediyor- ama matematik literatürünü kullanılabilir kılan standartlara saygı göstermeden matematik yapmasıdır.
Çözümü son derece pratiktir. Matematikçilerin "trilyon dolarlık şirketlerin davranışlarından ziyade matematikçileri nasıl işe aldığımız, makaleleri nasıl yayınladığımız ve öğrencileri nasıl eğittiğimiz üzerinde çok daha fazla kontrole sahip olduklarını" ve alanın enerjisinin bu yöne gitmesi gerektiğini savunuyor.
'Her Şey Kanıtlandığı İddia Edildi'
Makaledeki en çarpıcı pasaj kişiseldir. Calegari, kariyeri boyunca - konuşmalarda, konferanslarda, makalelerde veya hibe tekliflerinde - kamuoyuna açıkladığı büyük sorunlardan hiçbirinin "duyuruda dokunulmadan bırakılmadığını, her şeyin kanıtlandığı iddia edildiğini" gözlemliyor.
"Listede bunlardan birkaçını görmeyi bekliyordum" diye yazıyor. "Ama hepsi değil. Hepsi birden değil. Bu kadar kayıtsızca değil." Çalışan bir matematikçi için, dokunduğunuz her sorunun kurumsal bir basın döngüsünde sürüklenmesini izleme deneyimi, yapay zeka riskine ilişkin soyut argümanların olmadığı kadar kafa karıştırıcıdır.
Periyodik Tablo Kimya Değildir
Calegari, sahanın ünlü simge yapılarına sahip çıkmanın sahanın bittiği anlamına geldiği fikrine şiddetle karşı çıkıyor. OpenAI makalelerinin, modern sayı teorisindeki en derin yapılardan biri olan Langlands programındaki genel işlevsellik ve karşılıklılık sorunlarına "neredeyse bir çentik" attığını belirtiyor.
Ancak yayın Langlands programındaki tüm sorunları çözmüş olsa bile, bunun "sayı teorisini çözdüğünü" hayal etmenin "periyodik tablonun yapısının kimyayı çözdüğünü söylemek kadar saflık" olacağını yazıyor. Bunun matematikçilerin kamuoyuna sunması gereken bir argüman olduğunu öne sürüyor: Temel problemler yalnızca en görünür zirvelerdir ve dağ silsilesi bunların çok ötesine uzanır.
Grup Teorisi Tarihinden Bir Uyarı
Makalenin tarihsel dayanağı, sonlu basit grupların sınıflandırılmasıdır; Calegari'nin içeriden bildiği bir destan. 1972'de Daniel Gorenstein sınıflandırmaya yönelik bir program duyurdu. Yaklaşık on yıl süren yoğun bir çalışmanın ardından, sınıflandırmanın 1983'te tamamlandığı duyuruldu; Aschbacher ve Smith yaklaşık yirmi yıl sonra tamamlanana kadar quasithin gruplarının tamamlanmadığı ortaya çıktı.
Calegari, sınıflandırmanın "birçok açıdan büyük bir başarı" olduğunu yazıyor, "ama aynı zamanda bir başarısızlıktı"; ünlü problemin çözüldüğünün duyurulması, konuya olan ilgiyi soğuttu ve matematikçiler dikkatlerini başka yerlere çevirdiler. Ancak John Conway'in favorisi olarak tanımladığı sorular da dahil olmak üzere geriye zengin sorular kaldı: Monster grubu neden var? Calegari, bazı alanlar için OpenAI dökümünün, sınıflandırmanın grup teorisyenlerine hissettirdiği gibi hissedebileceğini öne sürüyor.
Calegari Matematikçilerin Ne Yapmasını İstiyor?
Yazı bir ağıttan ziyade bir programla bitiyor. Alanın, Gorenstein-Lyons-Solomon'un sınıflandırmayı gözden geçirilmiş tedavisi gibi çabalara ihtiyacı var; iddia edilen bir sonucu gerçekten sağlam hale getirmek için sabırlı, çok ciltli bir çalışma. Ve konuyu "tamamlandı" olarak telaffuz etmeye direnmesi gerekiyor, çünkü mevcut yeni araçlarla matematik "daha fazla araştırma için olgun".
Calegari'nin yapay zeka destekli kanıtların "galaktik bypass" olarak adlandırdığı şeyin kaçırdığı eski yolların hâlâ mevcut olduğunu ve matematikçilerin bunları araması gerektiğini ve en önemlisi, "insanlara iş teklif etme söz konusu olduğunda bu davranışı ödüllendirmemiz gerektiğini" savunuyor. Makalede Tao'nun, gönderinin başlangıçta farklı bir dosya formatında yazıldığını ve yapay zeka kullanılarak dönüştürüldüğünü belirten bir dipnot bulunuyor; bu, araçların alanın günlük çalışmalarına ne kadar derinlemesine nüfuz ettiğinin altını çizen küçük bir ironi.
Çok Daha Büyük Bir Hesaplaşmanın Parçası
Makale, matematikçiler ve yapay zeka laboratuvarları arasında bir yıldır artan sürtüşmenin yaşandığı bir döneme denk geliyor. AI Buzz Wire daha önce matematikçilerin OpenAI modellerinin kendi özel tartışmalarında eğitilmediğine dair kanıt talep ettiğini, aralarında Terence Tao'nun da bulunduğu 25 Fields madalyalısının yapay zeka ile matematik arasında "ciddi bir uyumsuzluk" olduğunu beyan ettiğini, İleri Araştırmalar Enstitüsü'nün yapay zekadan türetilmiş 377 matematik sonucuyla ilgili endişelerini ve Tao'nun yapay zekanın dünyanın iyi açık problem stokunu yenilenemez bir şekilde araştırdığına dair kendi uyarılarını bildirmişti.
Yeni makaleyi dikkate değer kılan şey, duruştaki değişimdir. Önceki yanıtlardaki baskın not alarmdı; Calegari'nin uyarlaması. Onun anlatımına göre teknoloji ortadan kalkmıyor, olağanüstü iddialar ortadan kalkmıyor ve sahanın kontrol ettiği tek değişken kendi tepkisi; nasıl yayınlıyor, nasıl eğitiyor ve kimi işe alıyor.
---
Yapay Zekanın Önünde OlunEn son yapay zeka haberlerini, analizlerini ve buluşlarını tek bir yerden alın.
Daha fazla AI haberini okuyun →
