Yirmi beş Fields Madalyası sahibi, yapay zeka laboratuvarlarının matematiksel araştırmaları tehdit ettiği konusunda uyarıyor

Matematiğin en prestijli ödülü olan Fields Madalyası'nın yirmi beş sahibi, yapay zeka laboratuvarlarının ünlü çözülmemiş problemleri çözmek için rekabet ederken matematikçilerin entelektüel emeğini riske attığını savunan bir açık imza mektubu imzaladı. TechCrunch'a göre imzacılar, yapay zekanın büyük matematiksel zorlukları aşmasının insanlığa fayda sağlayabileceğini kabul ediyor — ancak bunun için ortaya çıkan çözümlerin matematik topluluğu ve nihayetinde daha geniş dünya tarafından anlaşılabilmesi, doğrulanabilmesi ve aktarılabilmesi gerekiyor.

OpenAI ile ihtilaf nasıl tırmandı

Mektup, matematikçiler ile OpenAI arasındaki giderek kamusal hale gelen bir çatışmanın ortasında geldi. TechCrunch'ın haberine göre NYU profesörü Tristan Buckmaster, bu hafta OpenAI'yi, önemli bir matematik probleminin çözümündeki rolü için — Anthropic'te çalışan bir iş birlikçisine — atıfta bulunmaması için kendisine baskı yapmakla suçladı. Buckmaster ayrıca şirketin, kendi ses getiren kanıtını model çıkarımından oluşan maraton bir hafta sonu boyunca üretirken, Codex aracı üzerinden yürütülen bu önceki çalışmadan yararlanıp yararlanmadığına da soru işareti attı.

TechCrunch'a göre OpenAI, üniversitedeki araştırmacıların şirketi eleştirmesinin ardından Perşembe günü CalTech'teki bir matematik etkinliğinin sponsorluğunu geri çekti. Haberde ayrıca OpenAI'nin kanıtının hâlâ doğrulanmadığı belirtiliyor.

Mektubun argümanı

İmzacıların şikayeti, yapay zekanın kanıt üretip üretemeyeceğinden çok, bu kanıtların nasıl yayımlandığına ilişkin. Kendi ifadeleriyle çözümler çoğu zaman "aceleyle duyuruluyor; düzgün bir yazım, yeni yöntem ve fikirlerin izole edilmesi ve başkalarının ilgili önceki çalışmalarına atıf için hiç zaman kalmıyor."

Bu acele, argümanlarına göre, yaratıcı mesleklerde tanıdık olan türden ciddi atıf ve intihal soruları doğuruyor. Daha temelde, yapay zeka tarafından tasarlanan fikirlerin geliştirilmesi ve matematik kanonuna katılması için insan matematikçilere bağımlı olduğunu savunuyorlar. Bu insanlar olmadan, yapay zeka tarafından üretilen fikirler "hiçbir zaman tam anlamıyla canlanamaz" ve matematikçiler arasındaki insan aktarım zinciri kopar.

Gizliliği ödüllendiren bir dinamik

TechCrunch, matematikçilerin kendi Codex kullanımlarının OpenAI'nin daha yeni modellerine katkı sağlamış olabileceğinden şüphelenenler arasında büyüyen bir huzursuzluk bildiriyor. Daha geniş endişe yapısal: Umut vaat eden bir keşif yolunu gören bir frontier laboratuvarı, orijinal araştırmacıları kanıta yetişmek için on milyonlarca doları LLM çıkarımına harcayabilir. Bu norm haline gelirse teşvik gizliliğe doğru döner — matematiğin uzun süredir üzerinde yürüdüğü açık araştırma kültürü için doğrudan bir tehdit.

Leiden Deklarasyonu daha önce gelmişti

Bu, alanın ilk kolektif tepkisi değil. Mektup, matematikçilerden oluşan bir çalışma grubunun Haziran'da yayımladığı ve LLM tarafından üretilen kanıtların matematiksel çalışmayı nasıl değiştireceğini inceleyip matematikçilere, kurumlara ve politika yapıcılara öneriler sunan Leiden Deklarasyonu'nun ardından geldi.

TechCrunch'un da belirttiği gibi, matematikçiler yapay zeka araçlarıyla yeniden şekillenen yazılım mühendisliği ve diğer alanlardan tanıdık bir argümana yaslanıyor: disiplinin değeri yalnızca kanıtlarda ve kimin kredit aldığında değil, öğrencileri eğiten, yeni soruları gün yüzüne çıkaran ve fikirleri daha geniş insan bilgisiyle bütünleştiren entelektüel üst yapıda yatıyor.

Neden önemli

Mektup matematiği açıkça izole bir vaka değil, erken bir uyarı olarak çerçeveliyor. İmzacıların yazdığı gibi, alanın şu anda karşılaştığı sorunlar diğer bilimsel ve yaratıcı mesleklerin karşılaştıklarına benziyor ve "tüm insanlığın karşılaşabileceği" bir soruya işaret ediyor: yapay zeka işlerin yapılma biçimini değiştirirken, o işin baştan beri elde etmeye çalıştığı şeyi gözden kaçırmamayı nasıl sağlayacağız.

Yapay zeka laboratuvarları için bu ihtilaf somut bir itibar sorunu da. OpenAI, yaşayan en ödüllü matematikçilerden bazılarının kamusal eleştirisine maruz kaldı, bu tepkinin ortasında bir sponsorluğu geri çekti ve görünüşe göre etkilemek istediği topluluğun doğrulamadığı bir kanıt ortaya koydu. Diğer disiplinler içinse matematikçilerin atıf sorunu — düşünen kimdi, kredi kime gidiyor — onlara doğru gelen çatışmaların bir önizlemesi gibi okunuyor.