Bir web geliştiricisi 50 yıllık bir matematik sanısını çözdü.
Tanınmış web geliştiricisi Dan Abramov, Conway'in inceltme sanısının makine denetimli kanıtını 18 Eylül'de yayımladı. Beş hafta boyunca ChatGPT ve Claude'u yönetti, yaklaşık 40 bin dolarlık işlem harcadı. Kanıt denetleme programı sonucu kabul ediyor ama henüz hiçbir matematikçi incelemedi.
Bu neden önemli?Artık hiçbir insanın okumadığı bir kanıtı makineler onaylayabiliyor, bu da matematiği kimin yapacağını değiştiriyor. Zor bir sonucun fiyatı da ortaya çıktı: beş hafta ve ikinci el bir araba parası.
▶ İlgili video: John Horton Conway | The surreal numbers
Uygulamada oku — ücretsiz, 9 dilde
İlgili haberler
Çin Telekom'un yeni açık modeli oyuncu ekran kartına sığıyor.2026-09-20Claude Code artık rakiplerin kullandığı kural dosyasını okuyor.
2026-09-19Zhipu'nun modeli kendini çalıştıran sistemi üç kat hızlandırdı.
2026-09-19Alibaba, tomografide 146 hastalığı bulan modeli ücretsiz açtı.
2026-09-19Meta'nın Muse ajanı artık Mac'teki dosyalarınızı okuyor.
2026-09-19