OpenAI’ın yeni akıl yürütme modeli, 80 yıllık ünlü matematik varsayımını çürüten orijinal bir kanıt geliştirdi. Matematikçiler bulguları doğruladı.
OpenAI, geometri alanında 1946’dan beri çözülemeyen ünlü bir varsayımı çürüten orijinal bir matematiksel kanıt ürettiğini duyurdu. Şirketin yeni akıl yürütme (reasoning) modeli tarafından geliştirilen bu kanıt, Paul Erdős’ün ortaya attığı varsayıma son veriyor.
OpenAI, bu önemli gelişmeyi duyururken Noga Alon ve Melanie Wood gibi önde gelen matematikçilerin kanıtı destekleyen açıklamalarını da paylaştı. Thomas Bloom gibi isimler de OpenAI modelinin bulgularını teyit etti. Şirket, X platformunda yaptığı açıklamada, “Yaklaşık 80 yıldır matematikçiler, olabilecek en iyi çözümlerin kabaca kare ızgaralara benzediğine inanıyordu. Bir OpenAI modeli artık bu inancı çürüttü ve daha iyi performans gösteren tamamen yeni bir yapı ailesi keşfetti” ifadelerini kullandı.
Bu gelişme, yapay zekanın matematik alanında otonom olarak önemli ve çözülememiş bir problemi çözdüğü ilk vaka olarak kayıtlara geçiyor. OpenAI, kanıtın genel amaçlı bir akıl yürütme modelinden geldiğini vurguladı.
Şirkete göre bu başarı, yapay zeka sistemlerinin uzun akıl yürütme zincirlerini bir arada tutabilme ve alanlar arası fikirleri bağlayabilme kapasitesini gösteriyor. Bu durumun biyoloji, fizik, mühendislik ve tıp gibi alanlar için de önemli yansımaları olması bekleniyor.
Matematikçi Thomas Bloom, yapay zekanın matematik alanını daha kapsamlı keşfetmeye yardımcı olduğunu belirterek, “Başka hangi görünmeyen harikalar sırada bekliyor?” sorusunu dile getirdi.
