OpenAI'den Matematiksel Araştırmalarda Büyük İlerleme

CHOI'ye göre OpenAI, matematik dünyasında uzun süredir çözülemeyen 100'den fazla problemi çözen yeni bir iç model geliştirdi. 10.000'e yakın AI ajanı, bu zorlu problemleri çözmek için 24 gün boyunca çalıştı.

Navier-Stokes probleminin ardından OpenAI, bağımsız bir matematik danışma grubu kurdu. Bu grup, AI tarafından üretilen sonuçların nasıl paylaşılacağı ve araştırmacılara hangi araçların sunulacağı konusunda rehberlik edecek.

28 Ağustos'ta başlayan çalışma 21 Eylül'de sonuçlandı. OpenAI, önceden eğitilmiş bir modele büyük ölçekli pekiştirmeli öğrenme uygulayarak, süreç boyunca modelleri güncelleyip daha iyi yöntemler bulmalarını sağladı.

OpenAI, 1 Ağustos'ta grup teorisi ve kuantum karmaşıklığı gibi alanlarda 10 çözülmüş problem yayınlamıştı. Bu çözümler, araştırmacılar tarafından Lean kanıtlarına dönüştürülmüştü.

9 Eylül'de OpenAI, Navier-Stokes problemini çözdüğünü duyurdu. Akışkanlar dinamiğindeki bu problem için, hızın sonsuza gittiği bir karşı örnek matematiksel olarak kurgulandı.

Farklı yaklaşımlar deneyen 10.000 ajan, 88 saat içinde çözüme ulaştı. Astra modeli, bu sonucu Lean diliyle 17 saatte doğruladı.

The Information'a göre, OpenAI içinde Hodge Sanısı'nın çözümüne yaklaşıldığına dair beklentiler var. Bu, Navier-Stokes'tan tamamen farklı bir matematiksel alan.

Kullanılan modelin Astra'dan çok daha güçlü olduğu belirtiliyor. 'Bel' adlı modelle bağlantısı doğrulanmasa da, bu yeteneklerin gelecekteki modellere yansıması bekleniyor.

OpenAI, 'otomatik araştırma stajyeri' aşamasına ulaştığını duyurdu. AI, sadece matematik değil, kod yazma ve deney tasarımı gibi süreçlerde de aktif rol alıyor.

Jerry Cummings ve Mark Kissin gibi isimler, çözüm sayısından ziyade başarı oranının önemine dikkat çekiyor. Yeni model, benzer hesaplama gücüyle Astra'dan daha yüksek başarı gösteriyor.

Timothy Gowers ve Edward Witten gibi isimlerin yer aldığı danışma grubu, AI sonuçlarının akademik standartlara uygunluğunu ve paylaşım yöntemlerini denetliyor.

29 Eylül'deki OpenAI DevDay'de, bu araştırma yöntemlerinin ürünlere nasıl entegre edileceği merak ediliyor. Geliştiriciler için yeni araçlar sunulabilir.

CHOI, bu yöntemin dış dünyaya açılmasının büyük bir değişim yaratacağını belirtiyor. Araştırmacılar, kendi problemlerine binlerce AI ajanı atayarak çalışma hızlarını artırabilecek.

OpenAI'nin matematik ve AI üzerine kurduğu danışma grubu hakkındaki detaylara resmi web sitesinden ulaşılabilir.