Bilim dünyası, makinelerin sadece veri işlemekle kalmayıp karmaşık mantık yürütme süreçlerinde de başrolü üstlendiği yeni bir evreye geçti. Pekin Üniversitesi bünyesindeki araştırmacılar, matematik dünyasının soyut labirentlerinde kendi yolunu bulan ve ulaştığı sonuçları hatasız şekilde denetleyebilen bir sistem inşa etti. Bu teknoloji, Dan Anderson tarafından 2014 yılında ortaya atılan ve o günden bu yana çözüm bekleyen bir matematik varsayımını, hiçbir insan desteği almadan yaklaşık 80 saatte çözmeyi başardı.
Söz konusu gelişme, yapay zekanın "yanılma" veya "uydurma" problemlerini aşması bakımından kritik bir önem taşıyor. Çünkü bu sistem, geliştirdiği çözümü sadece bir metin olarak sunmuyor; aynı zamanda ispatın her adımını bilgisayar dillerinin onaylayabileceği resmi bir yapıya döküyor. Dolayısıyla ortaya çıkan sonuç, doğruluğu matematiksel olarak mühürlenmiş bir kanıt niteliğinde.
Sistemin çalışma prensibi, iki ayrı yapay zeka biriminin birbirini tamamlamasına dayalı. Süreç, devasa bir veri tabanında çözüm stratejileri arayan "Rethlas" adlı akıl yürütme mekanizmasıyla başlıyor. Rethlas bir çözüm taslağı hazırladıktan sonra, bayrağı "Archon" isimli ikinci birim devralıyor. Archon, hazırlanan bu taslağı Lean 4 adı verilen etkileşimli bir kanıtlama sistemine aktararak, yüz binlerce kural arasından ispatın sağlamasını yapıyor. Makineler arasındaki bu diyalog, hataya yer bırakmayan bir doğrulama zinciri oluşturmuş durumda.
Bu yöntemin hızı, insan zihninin sınırlarını zorlayan bir noktada. Uzmanların aylar süren yoğun mesailerini gerektiren problemler, bu çift katmanlı yapı sayesinde günler içinde çözüme kavuştu. Üstelik araştırmacılara göre, bir matematikçinin sisteme sadece yön vermesi bile bu süreci çok daha kısa sürelere indirebilir. Bu durum, yapay zekayı gelecekte bilim insanlarının en verimli araştırma ortağı konumuna yerleştiriyor.
Bilimsel araştırmaların geleceği değişiyor
Matematik, doğası gereği en ufak bir mantık hatasına bile müsamaha göstermeyen bir disiplin olarak bilinir. İnsan elinden çıkan ispatlarda bile bazen gözden kaçan detaylar olabilirken, bu yeni otonom sistem, resmi makine doğrulamasıyla her türlü riski ortadan kaldırıyor. Riemann Hipotezi gibi yüzyıllık dev bilmeceler kadar popüler olmasa da Anderson varsayımının çözülmesi, dijital sistemlerin artık otonom araştırmacılara dönüştüğünü kanıtlar nitelikte.
Henüz bağımsız hakem heyetleri tarafından inceleme süreci devam etse de bu çalışma, akademik dünyanın çalışma yöntemlerini kökten değiştirmeye aday. Gelecekte makinelerin kendi başlarına hangi zorlu teorilerin üstesinden geleceği ise şimdiden büyük bir merak konusu.