OpenAI, yapay zekanın matematiğin farklı alanlarında elde ettiği yüzlerce yeni sonucu kamuoyuyla paylaştı. Cebir, sayı teorisi, teorik bilgisayar bilimi, matematiksel mantık ve topoloji gibi alanları kapsayan çalışmalar, şirketin henüz genel kullanıma sunmadığı gelişmiş bir yapay zeka modeliyle gerçekleştirildi. OpenAI'ın paylaştığı bilgilere göre çalışma yaklaşık 4 bin problemin değerlendirildiği geniş çaplı bir süreçten geçti. Her başarılı sonuç için kullanılan hesaplama miktarı ortalama yaklaşık 3 saatlik ChatGPT Pro düşünme süresine karşılık geldi.
BİNLERCE MATEMATİK PROBLEMİ YAPAY ZEKAYA VERİLDİ
Çalışmada yapay zekaya yalnızca klasik matematik soruları yöneltilmedi. Model, farklı matematik dallarında araştırmacıların üzerinde çalıştığı açık problemler üzerinde değerlendirildi. Yaklaşık 4 bin problem üzerinde yapılan denemelerin ardından elde edilen çalışmalar makaleler ve ispat materyalleri halinde hazırlandı. OpenAI, modelin sonuç üretirken matematiksel problemi analiz ettiğini, olası çözüm yolları üzerinde çalıştığını ve ortaya çıkan ispatların daha sonra denetlenebilecek biçimde kayda geçirildiğini belirtti. Şirket ayrıca 10 problem için modelin çözüme ulaşırken izlediği akıl yürütme sürecinin kısaltılmış özetlerini de yayımladı.
ÇÖZÜMLER LEAN İLE KONTROL EDİLDİ
Yapay zekanın ortaya çıkardığı matematiksel bir ispatın ikna edici görünmesi tek başına yeterli kabul edilmiyor. Bu nedenle yayımlanan çalışmaların önemli bir bölümünde "Lean" adlı biçimsel ispat sistemi kullanıldı. Matematiksel ispat Lean diline aktarıldığında bilgisayar, mantıksal adımları tek tek kontrol ederek ispatta boşluk veya tutarsızlık bulunup bulunmadığını denetleyebiliyor. OpenAI, birçok ispatın Lean biçimselleştirmelerini yayımlarken henüz biçimselleştirilmemiş çalışmalar için de süreç tamamlandıkça veri havuzunun güncelleneceğini açıkladı.
NAVIER-STOKES ÇALIŞMASININ ARDINDAN YENİ AŞAMA
Yeni sonuçlar, OpenAI'ın eylülde Navier-Stokes Milenyum Ödülü problemine yönelik yapay zeka tarafından üretilen çözümü açıklamasının ardından geldi. O çalışmada sistem tek bir model yanıtıyla sonuca ulaşmamış, yaklaşık 10 bin eş zamanlı yapay zeka ajanı farklı çözüm yollarını araştırmıştı. Ajan gruplarının elde ettiği bulgular bir araya getirilerek yeni araştırma yolları oluşturulmuş ve yaklaşık 88 saat sonunda çözüm elde edilmişti. Ardından ispatın Lean ile biçimselleştirilmesi ve doğrulanması 17 saat daha sürmüştü. OpenAI şimdi matematikte elde edilen yeni sonuçların bilim insanları tarafından incelenebilmesi için çalışmalarını yayımlarken, ileri düzey yapay zeka modellerini matematik ve diğer bilim alanlarında test etmeyi sürdüreceğini belirtiyor.
