OpenAI, 80 yıllık matematik problemini çözdü

OpenAI, geliştirdiği yeni bir muhakeme odaklı yapay zeka modelinin ilk olarak 1946'da Paul Erdős tarafından ortaya atılan ve çözülemeyen ünlü bir geometri problemi için özgün bir matematiksel kanıt ürettiğini açıkladı.

• Ayrıntılar: Yaklaşık 80 yıldır matematikçiler, “Erdős unit distance conjecture” olarak bilinen problemde en iyi çözümlerin kare ızgara benzeri yapılara dayandığını düşünüyordu. Fakat OpenAI, modelin bu yaklaşımdan daha iyi performans gösteren tamamen yeni bir geometrik yapı ailesi keşfederek bu inancı çürüttüğünü iddia etti. Tarihte ilk kez yapay zekanın, matematik alanının merkezinde yer alan önemli bir çözülememiş problemi kendi başına çözdüğünün de altı çizildi.