ABD merkezli OpenAI, yapay zekanın cebir, sayı teorisi, teorik bilgisayar bilimi, matematiksel mantık ve topoloji dahil farklı alanlarda 377 yeni matematik problemi çözdüğünü duyurdu.
TRT Haber’in aktardığına göre söz konusu yapay zeka modeli henüz piyasaya sunulmadı.
Şirket yapay zekanın problemleri üç saatte çözdüğünü ve sonuçların ‘Lean’ adlı bilgisayar dili kullanılarak kontrol edildiğini bildirdi.
Lean, matematiksel teoremleri ve bilgisayar programlarını kesin bir mantıkla doğrulamak için tasarlanmış açık kaynaklı bir programlama dili.
OpenAI sonuçların veri havuzuna ekleneceğini ve bilim insanlarıyla paylaşılması için bir danışma kuruluyla görüşüldüğünü de açıkladı.
Şirket ayrıca yapay zekanın 10 soruyu nasıl çözdüğünü gösteren özetler de yayınladı.
90 yıldır çözülemeyen problemi çözdü
OpenAI, Eylül 2026’da 90 yıldır çözülemeyen ileri seviye bir matematik problemini yeni nesil bir yapay zeka modeli kullanarak çözdüğünü açıklamıştı.
Akışkanların hareketini ele alan Navier-Stokes denklemleriyle ilgili problemi 10 bin yapay zeka aracı, 88 saatte çözdü.
Problemin çözümünde yaklaşık 3 milyon mesaj ve 130 milyar veri kullanıldı.
