Yapay Zeka Uzmanları Matematikte Milenyum Problemini Çözdü
On binlerce yapay zeka ajanı, Navier-Stokes denklemlerinde tekillik bularak büyük bir matematik problemine çözüm getirdi.
OpenAI matematikçileri, 10.000 otonom yapay zeka ajanının yönlendirmesiyle Navier-Stokes denklemlerindeki üç boyutlu tekilliği çözerek Milenyum Problemlerinden birini aydınlattığını duyurdu.
Yapay Zeka ve Milenyum Problemi
OpenAI araştırmacıları, 10.000 otonom yapay zeka ajanının yardımıyla 2000 yılında Clay Matematik Enstitüsü tarafından ortaya konulan Milenyum Problemlerinden birini çözdüklerini açıkladı.
Navier-Stokes Denklemlerinde Tekillik
Gerçekleştirilen bu önemli çalışmada, üç boyutlu Navier-Stokes denklemlerinde bir tekillik bulunarak matematik dünyasında uzun süredir merak edilen kritik bir soru yanıt bulmuş oldu.
Lean Dilinde Formal Kontrol
Elde edilen bu çığır açıcı matematiksel sonuç, doğruluğunun kesinleşmesi amacıyla Lean programlama dili kullanılarak resmi olarak denetlendi ve onaylandı.
Araştırma Ekip Çalışmaları
Açıklama, New York Üniversitesi'nden Tristan Buckmaster ile Anthropic'ten Levent Alpöge'nin yapay zeka modellerinin desteğiyle ilişkili problemleri çözdüklerini duyurmalarının hemen ardından geldi.
Temel Stratejilerin Mirası
Gerçekleştirilen her iki bağımsız ekip çalışması da daha önceden Diego Córdoba ve Luis Martínez-Zoroa tarafından geliştirilen temel stratejiler üzerine inşa edildi.