DeepMind'ın matematik yapay zekâsı hakem denetiminden geçti.
Science dergisi, Google DeepMind'ın AlphaProof Nexus çalışmasını 8 Ekim'de yayımladı. Sistem 353 açık Erdős probleminden 9'unu ve tam sayı dizileriyle ilgili 44 sanıyı kanıtladı. Her kanıtı Lean adlı yazılım denetledi, ama uzmanlara göre Lean problemin doğru yazıldığını bilemez.
Bu neden önemli?OpenAI geçen hafta makinenin yazdığı 722 makaleyi dergi denetimi olmadan internete koydu, matematikçiler tepki gösterdi. Bu makale, yapay zekâ işinin yavaş ama denetimli yoldan da geçebildiğini gösteriyor.
Uygulamada oku — ücretsiz, 9 dilde
İlgili haberler
Bir model kendi ajan ekiplerinin en iyi işiyle eğitilip gelişti.2026-10-12Yapay zekâ ajan ekipleri beş kata kadar pahalı ama pek fark etmiyor.
2026-10-12OpenAI'ın fiyat listesinde duyurmadığı bir bilim modeli çıktı.
2026-10-11Nikon mikroskop videosu ödülünü yapay zekâ yüzünden geri aldı.
2026-10-11Yapay zekâ modelleri ocakta çıkan bir fikri yeniden bulamadı.
2026-10-11