OpenAI'ın matematik savları, bir Fields Madalyası sahibinin güvenlik görevi ve öğrenci olimpiyatı, yapay zekânın matematikte nasıl sınandığını ve kimlerin bu sürece katıldığını gösteriyor.
Yapay Zekâ··Sabah
Savdan doğrulamaya
OpenAI, Astra'nın matematik ve kuramsal bilgisayar bilimindeki 10 güç sorunu çözdüğünü veya bu sorunlarda önemli ilerleme sağladığını açıkladı. Donga Science'ın haberine göre şirketin 250 sayfalık çalışmasında uslamlamalar yapay zekâya, metin düzenlemesi insan araştırmacılara aitti ve kanıtlar Lean adlı yazılımla biçimselleştirildi. Bu iş bölümü, modelin bir sonuç önermesiyle matematik topluluğunun o sonucu kabul etmesi arasındaki yolu görünür kılıyor. Donga Science'ın görüştüğü uzmanlar, biçimsel doğrulamanın ve yeni araştırma yönleri açma olasılığının değer taşıdığını belirtti. Aynı uzmanlar, yalnızca başarılı örneklerin sunulmasını önemli bir eksik saydı: başarısız denemeler, toplam başarı oranı ve çalışmayı hazırlayan insanların katkısı ayrıntılı biçimde açıklanmadı. Brown University'den Hyunwoo Kwon, matematik makalelerinin değerlendirilmesinin genellikle en az 6 ay sürdüğünü ve OpenAI'ın daha önce çözüldüğünü söylediği bazı sonuçlarda yanlışlar bulunduğunu hatırlattı. Böylece gündemin odağı, gösterişli bir çözüm sayısından kanıtın bağımsız uzmanlarca nasıl sınanacağına kayıyor.[1]
Güvenliğe katılan matematikçi
Bu tartışmanın insan tarafında yeni bir geçiş yaşanıyor. The Decoder, yeni Fields Madalyası sahibi Jacob Tsimerman'ın yapay zekâ güvenliği üzerinde çalışmak üzere OpenAI'a katıldığını bildiriyor. University of Toronto'da sayı kuramcısı olan Tsimerman, yapay zekânın çok dönüştürücü bir teknoloji olduğunu ve güvenliğe daha fazla çaba ayrılması gerektiğini düşünüyor. Matematikçilerin katkısını da açık bir soruna bağlıyor: bugünkü yapay zekâ sistemleri büyük ölçüde deneysel sonuçlarla ilerliyor, fakat nasıl çalıştıklarına ilişkin sağlam güvenceler az. Tsimerman'ın geçen yıl ortak yazdığı bir makale, yapay zekânın insanlığın yok oluşuna katkıda bulunabileceği senaryoları ele almıştı; The Decoder bu yaklaşımın uzmanlar arasında tartışmalı olduğunu da belirtiyor. Tsimerman ayrıca yapay zekânın yakında matematik araştırmalarında insan başarımını aşacağı görüşünde. Bir Fields Madalyası sahibinin laboratuvar içindeki güvenlik çalışmalarına yönelmesi, matematiğin rolünü yalnızca modele güç sorular vermekten çıkarıyor; biçimsel güvence, risk tanımı ve sistem davranışının sınırları da matematiksel uzmanlığın çalışma alanına giriyor.[3]
Sınıftan araştırma laboratuvarına
Uzmanlık hattının öteki ucunda, Uluslararası Yapay Zekâ Olimpiyatı öğrencileri veri çözümlemesi, programlama, model eğitimi, eniyileştirme ve sınamayı tek bir sorun çözme sürecinde birleştirdi. VnExpress International, Vietnam ekibinin iki altın, bir gümüş ve dört bronz madalya kazandığını aktarıyor. Bireysel programlama yarışmasına ülke ve bölgeleri temsil eden 108 takımdan 471 öğrenci katıldı; Vietnam'ın sekiz kişilik ekibi ise 34 il ve kentten başvuran 1.188 öğrenci arasından iki aşamada seçildi. Bu yarışma, Donga Science'ın anlattığı bağımsız doğrulama sorununu çözmüyor ve Tsimerman'ın güvenlik göreviyle aynı tür çalışma yürütmüyor. Üç gelişme yine de ortak bir kurumsal çizgiyi gösteriyor: öğrenciler model kurmayı ve sınamayı öğreniyor, araştırma laboratuvarları güç sorunlarda yeni savlar üretiyor, deneyimli matematikçiler de bu sistemlere uygulanacak güvence ve risk ölçülerini tartışıyor. Yapay zekânın matematikteki yeri böylece tek bir model başarımından daha geniş bir yapıya kavuşuyor; eğitim seçmeleri, laboratuvar iş bölümü, biçimsel araçlar ve uzun süren uzman değerlendirmesi aynı sürecin farklı basamakları oluyor.[2], [1], [3]
