ABD merkezli OpenAI şirketi, 7 Ekim 2026 tarihinde cebir, sayı teorisi, teorik bilgisayar bilimi, matematiksel mantık ve topoloji dahil farklı alanlardaki matematik problemlerine ilişkin yapay zeka tarafından elde edilen 377 yeni sonucu yayımladı. New York Times (NYT) gazetesinin haberine göre, söz konusu sonuçlar, OpenAI şirketinin eylül ayında Milenyum Problemleri arasında yer alan ve akışkanların hareketini ele alan Navier-Stokes denklemlerini çözmeyi başardığını açıklamasının ardından geldi.
OpenAI'ın yapay zeka modeli matematik problemlerini nasıl çözdü?
Navier-Stokes çalışmasında olduğu gibi, yeni matematiksel sonuçlar da henüz kamuya sunulmayan daha gelişmiş bir yapay zeka modeli kullanılarak elde edildi. OpenAI şirketi, konuya ilişkin yaptığı yazılı açıklamada, her bir sonucun elde edilmesinin ortalama yaklaşık 3 saat sürdüğünü bildirdi. İspatların, temel mantığın doğruluğunu denetleyen Lean adlı bilgisayar dili kullanılarak kontrol edildiği aktarılan açıklamada, yeni çalışmalar tamamlandıkça bunların veri havuzuna ekleneceği belirtildi.
Yapay zeka ile elde edilen sonuçlar nasıl kontrol edildi?
Yapay zekanın elde ettiği matematiksel sonuçların anlaşılmasını desteklemek amacıyla atölye, konferans ve özel programlara finansman sağlanacağı vurgulanan açıklamada, ileri düzey modellerin bilim alanlarında test edilmeye devam edileceği kaydedildi. OpenAI şirketi, ayrıca 10 sorunun çözümü için yapay zeka modelinin sonuca nasıl ulaştığını gösteren özetler de yayımladı.
OpenAI daha önce hangi matematik problemini çözmüştü?
ABD merkezli yapay zeka şirketi OpenAI, Eylül 2026 tarihinde 90 yıldır çözülemeyen ileri seviye bir matematik problemini yeni nesil bir yapay zeka modeli kullanarak çözdüklerini açıklamıştı. Açıklamada, görevleri kısmen otonom şekilde yerine getiren yaklaşık 10 bin yapay zeka aracından oluşan bir grup kullanılarak, söz konusu matematik probleminin 88 saatte çözüldüğü belirtilmişti. Problemin akışkanların hareketini ele alan Navier-Stokes denklemleriyle ilgili olduğu kaydedilen açıklamada, denklemlerle ilgili olarak yaklaşık 3 milyon mesaj ve 130 milyar veri kullanıldığı ifade edilmişti.
