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
Elli yapay zekâ ajanı Minecraft'ta kasaba kurup bürokrasi icat etti.2026-10-30DoorDash'e yapay zekâ ajanlarından yalnızca birkaç yüz sipariş geldi.
2026-10-30OpenAI, yapay zekâsının kapanmaya direnmesini yasakladı.
2026-10-30OpenAI'ın yeni bekçisi kendi sızıntısını bir gün erken fark ederdi.
2026-10-30Bir çalışanın kişisel Claude ajanı Pentagon ağında iki ay çalıştı.
2026-10-30