OpenAI modeli kuasi-Riemann hipotezini kanıtladı

OpenAI, 6 Ekim 2026 tarihinde yayımladığı 377 sonuç arasında matematiğin en büyük açık problemlerinden biri olan Riemann hipotezinin zayıflatılmış biçimi "kuasi-Riemann hipotezi"ni kanıtladığını duyurdu. Şirket biri Lean diliyle doğrulanmış 199 sayfalık, diğeri ise insan eliyle düzenlenmiş 49 sayfalık iki farklı çalışma paylaştı. Stanford Üniversitesi'nden Jared Duker Lichtman, bu gelişmeyi matematik için yapay zeka alanında şimdiye kadar elde edilen en belirgin başarı olarak niteledi.

Araştırmacılar, 160 yılı aşkın süredir çözülemeyen Riemann hipotezinin asal sayıların dağılımını belirleyen kritik sıfır noktalarını 1/2 dikey doğrusuna yerleştirdiğini hatırlatıyor. Kuasi-Riemann hipotezi ise bu sıfırların 0 ile 1 arasındaki şeritten daha dar bir aralıkta olduğunu ileri sürüyor. Yapay zeka modeli yeni bir matematiksel kavram üretmek yerine metaplektik formlar gibi mevcut yöntemleri ve bilinen formülleri beklenmedik bir biçimde bir araya getirerek sıfırların yer aldığı sınırları daraltmayı başardı.

Matematik camiası yapay zeka tarafından hazırlanan makalelerin akademik yazım standartlarının çok gerisinde kaldığını belirtirken, Princeton ve New York üniversitelerinden uzmanlar 49 sayfalık çalışmayı doğrulamak için incelemelerini sürdürüyor. Kanıtın doğrulanması halinde geometri ve teorik bilgisayar bilimleri dahil olmak üzere çok sayıda alanda bekleyen sonuçlar kesinleşecek ancak araştırmacılar asıl Riemann hipotezinin tam çözümünün halen uzak bir ihtimal olduğunu kaydediyor.