OpenAI, Eylül 2026’nın başında Clay Matematik Enstitüsü’nün bir milyon dolarlık yedi Milenyum Problemi’nden biri olan Navier-Stokes problemini çözebileceğini öne sürdüğü 166 sayfalık bir taslak yayımladı. Lean adlı biçimsel doğrulama diliyle yazılan taslakta her mantıksal adım otomatik olarak denetleniyor. OpenAI, kanıtın İspanyol matematikçiler Diego Córdoba ve Luis Martínez-Zoroa’nın yöntemini izlediğini söyledi.
Matematikçiler yöntemle uyuşmadığını söylüyor
Aralarında EPFL’den Gonzalo Cao-Labor’un da bulunduğu bazı matematikçiler taslağı inceledi ve akıl yürütmenin Córdoba-Martínez-Zoroa yaklaşımıyla örtüşmediğini belirtti. Benzerlikleri yalnızca yüzeysel bulduklarını söylediler. Clay Matematik Enstitüsü, yayımlandığından beri taslağı inceliyor.
Yoğun hesaplama, belirsiz katkı
OpenAI, taslağı üretmek için yaklaşık 10.000 model örneğini yaklaşık 88 saat çalıştırdı ve 130 milyar token işledi. Araştırmacı Noam Brown, sonucun yüzde 10’undan azının çoklu ajan düzenine atfedilebileceğini tahmin ediyor; bu da çalışmanın büyük bölümünün temel model tarafından yapılmış olabileceğine işaret ediyor. Bu ölçekte sistematik testler yapılmadığı için ajan sürüsünün tam olarak ne katkı sağladığı bilinmiyor.
Yeni paylaşımlar eleştiri çekti
Ekim ayının başında OpenAI, kapsamı net olmayan bir GitHub koleksiyonuna yapay zekâ tarafından üretilmiş yaklaşık 400 sonuç daha ekledi. Pek çok matematikçi bunun alanın değerini düşürdüğünü söyledi. Üretimin hızı, matematik camiasının gelişmelere yetişmekte zorlanmasına yol açtı.
Neden önemli
Bu olay, muazzam yapay zekâ kaynaklarının bile uzmanların hâlâ tartıştığı çalışmalar ortaya çıkarabildiğini gösteriyor. Ayrıca yapay zekâ tarafından üretilen matematik kanıtlarının henüz insan denetimine kestirme bir yol sunmadığını; ödüllü problemin de çözülmüş sayılmadığını ortaya koyuyor.
