OpenAI'ın makineyle denetlenen ispatı yazdığı ispatla örtüşmüyor.
Üç matematikçi salı günü OpenAI'ın duyurduğu Navier-Stokes sonucu üzerine bir makale yayımladı. Makineye verilen Lean ispatının, akışkanın bozulmasını anlatan yazılı ispatla örtüşmediğini söylüyorlar. Bir metni Lean'e anlamı bozulmadan çevirmenin durma probleminden bile zor olduğunu savunuyorlar.
Bu neden önemli?Yapay zekânın matematiğini kim denetliyor sorusuna sektörün cevabı Lean'di. Denetlenen şey iddia edilen şey değilse o cevap çalışmıyor.
▶ İlgili video: Did AI Really Solve Navier–Stokes? Show Me The Proof!
Uygulamada oku — ücretsiz, 9 dilde
İlgili haberler
Nvidia bir eğitim adımının modelin yüzde 1'ini değiştirdiğini buldu.2026-10-07OpenAI 722 matematik makalesini tek bir komutla üretti.
2026-10-07Erdős problemleri sitesi yapay zekâ kanıtlarına kapandı.
2026-10-07Aynı işi yirmi kez tekrarlayınca en iyi ajanın puanı üçte bir düştü.
2026-10-06Bir model, bütün yapay zekâyı eğiten yöntem olmadan öğrendi.
2026-10-06