OpenAI, yapay zeka modeli tarafından matematiğin farklı alanlarında elde edilen 377 yeni sonucu bilim dünyasının kullanımına sundu.
Cebirden sayı teorisine, matematiksel mantıktan topolojiye kadar farklı alanları kapsayan sonuçların, şirketin henüz kamuoyuna sunulmayan gelişmiş bir yapay zeka modeliyle elde edildiği bildirildi.
OpenAI, çalışmaların bilim insanları tarafından incelenebilmesi amacıyla sonuçları kamuoyuyla paylaştı.
İSPATLAR BİLGİSAYARLA KONTROL EDİLDİ
OpenAI'ın açıklamasına göre, sonuçların elde edilmesinde kullanılan ortalama işlem gücü, yaklaşık 3 saatlik ChatGPT Pro düşünme süresine denk geliyor.
Çalışmalar kapsamında matematiksel ispatların önemli bir bölümü, ispatların bilgisayar tarafından kontrol edilmesine imkan sağlayan "Lean" programlama diliyle biçimselleştirildi.
Yeni biçimselleştirmeler tamamlandıkça bunların da yayımlanan çalışmalara ekleneceği belirtildi.
Şirket ayrıca yapay zeka modelinin sonuçlara nasıl ulaştığına ilişkin 10 özet ile kullanılan işlem gücü ve denenen problem sayıları hakkında bilgileri de paylaştı.
MATEMATİK ÇALIŞMALARI DESTEKLENECEK
OpenAI, yapay zekanın matematik alanındaki çalışmalarının bilim dünyasıyla paylaşılmasına yönelik bağımsız Matematik ve Yapay Zeka Danışma Grubu ile görüşmeler yürüttüğünü bildirdi.
Bu kapsamda yapay zekanın ortaya çıkardığı önemli matematiksel sonuçların anlaşılmasına yönelik atölye, konferans ve özel programların destekleneceği belirtildi.
Şirket, ileri düzey yapay zeka modellerinin matematik ve diğer bilim alanlarında test edilmeye devam edeceğini kaydetti.
NAVIER-STOKES PROBLEMİNE DE ÇÖZÜM ÖNERDİ
OpenAI, eylül ayında da matematiğin "Milenyum Ödülü Problemleri" arasında bulunan Navier-Stokes varlık ve düzgünlük problemine yönelik yapay zeka tarafından üretilen bir çözümü paylaşmıştı.
Yaklaşık 90 yıldır çözülemeyen problem için hazırlanan çalışmada, akışkan hareketini tanımlayan Navier-Stokes denklemlerinin dinamiklerinde sonlu sürede tekillik oluşabileceğini gösteren bir kanıt ortaya konuldu.
Şirket, çalışmanın açıklamasının yanı sıra Lean ile biçimselleştirilen kanıtını da kamuoyuyla paylaştı.
