OpenAI 80 yıllık matematik bulmacasını çözdüğünü duyurdu

OpenAI şirketi, yeni akıl yürütme modelinin geometri alanındaki ünlü bir çözülememiş hipotezi çürüten özgün bir matematiksel kanıt sunduğunu duyurdu. Bu problem ilk kez 1946 yılında Paul Erdős tarafından ortaya atılmıştı. Bu, OpenAI için türünün ilk iddiası değil, ancak bu sefer sonuçlar oldukça ciddi görünüyor. Bu konuda Techcrunch.com haber veriyor.
Yedi ay önce şirketin eski başkan yardımcısı Kevin Weil, GPT-5 modelinin Erdős'un 10 çözülememiş problemine yanıt bulduğunu söylemişti. Ancak daha sonra modelin sadece literatürde mevcut olan çözümleri bulduğu ortaya çıktı. Bu hata, Yann LeCun ve Google DeepMind başkanı Demis Hassabis gibi rakiplerin eleştirilerine yol açmıştı. Bu sefer OpenAI, hatayı tekrarlamamak için Noga Alon ve Thomas Bloom gibi tanınmış matematikçilerle iş birliği yaparak kanıtı doğruladı.
“Neredeyse 80 yıl boyunca matematikçiler en iyi çözümlerin kare ızgaralara benzeyeceğine inandılar. OpenAI modeli bu inancı çürüttü ve daha verimli çalışan tamamen yeni bir yapı ailesi keşfetti”, — denildi şirket açıklamasında. Bu, yapay zekanın matematik alanındaki merkezi bir problemi bağımsız olarak çözdüğü ilk vaka olarak değerlendiriliyor.
OpenAI, bu kanıtın matematik için özel olarak yaratılmış bir sistem tarafından değil, genel amaçlı yeni bir akıl yürütme modeli tarafından gerçekleştirildiğini vurguluyor. Bu, yapay zeka sistemlerinin uzun ve karmaşık mantıksal zincirleri bağlama yeteneğinin arttığı anlamına geliyor. Bu başarının gelecekte biyoloji, fizik, mühendislik ve tıp alanlarında da yeni keşifler yapılmasına olanak tanıması bekleniyor.
“Zamin”i Telegram'da okuyun!