OpenAI'dan Matematik Dünyasında Yeni Yapay Zeka Başarısı

OpenAI, çeşitli matematik disiplinlerinde yapay zeka tarafından üretilen 377 yeni sonucu paylaştı. Şirket, bu sonuçların doğruluğunu Lean adlı bilgisayar diliyle teyit ettiğini açıkladı.

Yapay zeka teknolojileri geliştiren OpenAI, matematik dünyasını yakından ilgilendiren yeni bir gelişmeyi duyurdu. Şirket, cebir, sayı teorisi, teorik bilgisayar bilimi, matematiksel mantık ve topoloji gibi farklı alanlarda yapay zeka tarafından elde edilen 377 yeni matematiksel sonucu kamuoyuyla paylaştı. Bu çalışmalar, henüz halka açık olmayan gelişmiş bir yapay zeka modeli kullanılarak gerçekleştirildi.

OpenAI tarafından yapılan açıklamaya göre, yapay zekanın her bir matematiksel sonuca ulaşması ortalama üç saat sürdü. Elde edilen ispatların doğruluğu, temel mantık denetimi yapan Lean adlı bilgisayar diliyle kontrol edildi. Şirket, yeni matematiksel çalışmalar tamamlandıkça bu verilerin mevcut havuza eklenmeye devam edeceğini belirtti. Ayrıca, yapay zekanın 10 farklı sorunun çözümüne nasıl ulaştığını gösteren özetler de yayımlandı.

Bilim dünyasıyla iş birliğini artırmayı hedefleyen OpenAI, bu sonuçların daha iyi anlaşılması için atölye çalışmaları, konferanslar ve özel programlara finansal destek sağlayacağını açıkladı. Bu süreçte bir danışma grubuyla istişare halinde olan şirket, ileri düzey modellerini bilimsel alanlarda test etmeyi sürdüreceğini vurguladı.

Bu yeni duyuru, OpenAI'ın Eylül 2026'da gerçekleştirdiği önemli bir başarıyı takip ediyor. Şirket, o dönemde 90 yıldır çözülemeyen ve akışkanların hareketini inceleyen Navier-Stokes denklemlerini, yeni nesil bir yapay zeka modeliyle çözdüğünü açıklamıştı. Yaklaşık 10 bin otonom yapay zeka aracının kullanıldığı o çalışmada, 130 milyar veri işlenerek 88 saatlik bir sürede sonuca ulaşılmıştı. OpenAI, matematiksel araştırmalarda yapay zekanın rolünü genişletmeye yönelik stratejik adımlar atmaya devam ediyor.

1 kaynak ve 5 yapılandırılmış olgu üzerinden hazırlanmış editoryal doğrulama özeti.

OpenAI, yapay zekanın çözdüğü 377 matematik probleminin sonuçlarını paylaştı

Tek dokunuşla tepkinizi paylaşın. Seçiminize yeniden basarsanız tepkiniz kaldırılır.