Araştırma AI Minute Newsroom 2026-08-08

Matematikçiler: OpenAI'ın yapay zekâ kanıtları bizim çalışmamıza dayanıyor ama atıf yok

OpenAI'ın yakında çıkacak Astra modeliyle ürettiği on matematik sonucunu duyurmasından bir hafta sonra, adları açık birkaç matematikçi metinlerin yayımlanmış fikirleri atıf vermeden kullandığını söylüyor. Yeshiva Üniversitesi'nden Steven Miller, küre paketleme sonucunun kendi 2016 tarihli makalesindeki bir argümana dayandığını belirtiyor; Cambridge Üniversitesi'nden Francesco Fournier-Facio ise grup teorisi sonucunun, Gábor Kun ve Andreas Thom'un 2016 ve 2019 çalışmalarının basit bir birleşimi olduğunu ve yeni bir keşif gibi sunulduğunu söylüyor. OpenAI, problemlerin "en az on yıldır ilerleme görmediği" yönündeki ilk ifadesini yumuşattı. Şirket sözcüsü sonuçların doğruluğunun sorumluluğunu üstlendiklerini, kendilerini insan matematikçilerden beklenen ölçütlere tabi tuttuklarını ve makalede küçük güncellemeler yapacaklarını söyledi.

Bu neden önemli?Kanıtlar Lean'de biçimselleştirilmişti; yani her adımın tutarlı olduğunu bir makine doğrulayabiliyor. Hiçbir makinenin denetlemediği şeyse sonucun YENİ olup olmadığı — tartışma da tam oraya oturuyor. Matematikçiler bu riski Uluslararası Matematik Birliği'nin desteklediği Leiden Bildirgesi'nde zaten dile getirmişti: önceki çalışmalara atıf verilsin, sonuçlar basın bülteniyle duyurulmasın. Bu tartışmanın nasıl kapandığı, bir yapay zekâ şirketinin neye "atılım" diyebileceğini belirleyecek.

#Bilim & Araştırma

✓ Doğrulandı · 3 kaynak

Uygulamada oku — ücretsiz, 9 dilde

İlgili haberler

ABD, 16 ülkeyi bilimin merkezine yapay zekâyı koymaya ikna etti.
2026-10-05 Matematikçiler beş açık problemi sıradan bir sohbet kutusuyla çözdü.
2026-10-05 Ham modeller, cilalı sürümlerinin çözemediği işleri çözdü.
2026-10-04 Sıradan fotoğraflarla eğitilen model akıl testinde %70 aldı.
2026-10-04 Google yapay zekâ çiplerini dayanıklılık testi için yörüngeye yolladı.
2026-10-03