ABD merkezli OpenAI, yapay zekânın cebir, sayı teorisi, teorik bilgisayar bilimi, matematiksel mantık ve topoloji dahil farklı alanlarda 377 yeni matematik sonucu elde ettiğini açıkladı.
Şirket, sonuçların yayımlanmasının ardından matematik alanındaki çalışmaların bilim insanları tarafından incelenmesini ve geliştirilmesini amaçladığını bildirdi.
Sonuçlar Lean ile kontrol edildi
OpenAI, yapay zekânın söz konusu problemleri ortalama yaklaşık üç saatlik hesaplama süresiyle çözdüğünü açıkladı. Sonuçların bir bölümündeki matematiksel kanıtlar, Lean adlı bilgisayar dili kullanılarak bilgisayar tarafından kontrol edildi.
Lean, matematiksel kanıtların ve bilgisayar programlarının kesin bir mantıksal sistem içerisinde doğrulanmasına olanak sağlayan açık kaynaklı bir programlama dili olarak kullanılıyor.
Şirket ayrıca elde edilen sonuçları bir veri havuzunda yayımladı. OpenAI, sonuçların bilim insanlarıyla paylaşılması ve gelecekteki çalışmaların nasıl yürütüleceği konusunda bağımsız bir danışma grubuyla görüşmeler yaptığını açıkladı.
OpenAI, yapay zekânın bazı matematiksel sonuçlara nasıl ulaştığını göstermek amacıyla 10 çalışmaya ilişkin akıl yürütme özetlerini de yayımladı.
90 yıldır çözülemeyen problem de gündeme gelmişti
OpenAI, Eylül 2026'da yeni nesil bir yapay zekâ modeliyle 90 yıldır çözülemeyen ileri düzey bir matematik problemini çözdüğünü açıklamıştı.
Akışkanların hareketini ele alan Navier-Stokes denklemleriyle ilgili problem için 10 bin yapay zekâ aracının kullanıldığı ve çözümün 88 saat sürdüğü belirtilmişti.
Problemin çözüm sürecinde yaklaşık 3 milyon mesaj ve 130 milyar veri kullanıldığı açıklanmıştı.
