OpenAI matematikle ilgili araştırmalarda dengeleri değiştirebilecek yeni bir gelişmeye imza attı. Hızlanan bilimsel çalışmaların insan emeğini gölgede bırakıp bırakmadığı tartışma konusu oldu. Lafı uzatmadan neler olduğuna bakalım…
The New York Times’ın haberine göre OpenAI, cebirden sayılar teorisine, matematiksel mantıktan topolojiye kadar farklı alanlarda, 377 matematik problemine ilişkin çözüm ve bulguları paylaştı. Yapay zeka devi geçen ay da 1 milyon dolar ödüllü Navier-Stokes denklemini çözdüğünü duyurmuştu. Bu çalışmaların arkasında henüz kullanıma sunulmayan gelişmiş bir yapay zeka modeli var. Ancak matematikçiler, söz konusu modelin gerçekten yeni fikirler üretip üretmediğini sorguluyor. Yapay zekanın mevcut araştırmaların üstüne konmuş olabileceği de düşünülüyor.
Matematik Problemlerini Nasıl Çözdü?
Çalışmaların bir kısmı matematiksel mantığı doğrulayan Lean adlı programlama diliyle kontrol edildi. Ayrıca OpenAI, 10 çözümün nasıl elde edildiğini özetledi. Şirketin verdiği bilgilere göre her sonuç için ortalama 3 saatlik hesaplama gerekli oldu. Buna rağmen yüzlerce bulgunun aynı anda yayınlanması tepki çekti. New York Üniversitesi’nden Tristan Buckmaster, bazı çözümlerin matematikçilerin çalışmalarına dayanabileceğini ve yeterli inceleme yapılmadığını savunuyor.
Standartlar Gerekiyor
Bağımsız danışma kurulu, yapay zeka ajanlarına verilen komutların ve düşünce süreçlerinin paylaşılmasını istiyor. Harvard Üniversitesi’nden Melanie Wood, “Sonuçların matematikçiler tarafından anlaşılmasını istiyoruz. Bunun için belirli standartlar oluşturmalı” dedi. OpenAI, kurulun önerilerinden yararlandığını belirtiyor. Lakin şirket, gelişmiş yapay zeka modellerini çözülmemiş matematik problemleriyle test etmeyi bırakmaktan yana değil.
