ABD merkezli yapay zeka şirketi OpenAI, farklı matematik dallarında yapay zeka modelleriyle elde edilen 377 yeni sonucu kamuoyuna duyurdu.
Sonuçlar ortalama 3 saatte üretildi
New York Times’ın (NYT) haberine göre açıklanan çalışmalar; cebir, sayı teorisi, teorik bilgisayar bilimi, matematiksel mantık ve topoloji alanlarını kapsıyor.
OpenAI, sonuçların daha gelişmiş ve henüz kamuya sunulmayan bir yapay zeka modeliyle elde edildiğini bildirdi. Şirketin verdiği bilgiye göre, her matematiksel sonucun ortaya çıkarılması ortalama yaklaşık 3 saat sürdü.
Ortaya konan ispatların temel mantıksal doğruluğu, bilgisayar ortamında kontrol sağlayan Lean adlı programlama diliyle doğrulandı. OpenAI, yeni çalışmalar tamamlandıkça bunların oluşturulan veri havuzuna ekleneceğini açıkladı.
Yapay zekanın matematikteki kullanım alanı genişliyor
OpenAI, yapay zekanın matematik araştırmalarındaki çalışmalarını bilim dünyasıyla paylaşmayı kolaylaştırmak amacıyla bir danışma grubuyla görüşmeler yürütüldüğünü belirtti.
Yapay zeka tarafından üretilen matematiksel sonuçların daha iyi anlaşılması için atölye, konferans ve özel programlara finansman sağlanacağı da duyuruldu. Şirket, ileri düzey yapay zeka modellerinin bilimsel alanlardaki kapasitesini sınamaya devam edeceğini bildirdi.
Şirket ayrıca 10 matematik probleminin çözümünde yapay zeka modelinin sonuca hangi süreçle ulaştığını anlatan özetleri yayımladı.
Navier-Stokes problemi için 88 saatlik çalışma
OpenAI, eylül ayında yapay zekanın matematik alanındaki yeteneklerine ilişkin daha dikkat çekici bir sonuç paylaşmıştı.
Yaklaşık 90 yıldır çözülemeyen ve matematiğin
