OpenAI, iç modelinin Navier-Stokes'un ardından 100'den fazla açık matematik problemini çözdüğünü açıkladı. Princeton'daki İleri Araştırmalar Enstitüsü'nde kurulan dokuz kişilik bağımsız grup, bu sonuçların nasıl yayımlanacağı konusunda danışmanlık yapacak.
OpenAI yaklaşık 10 bin ajanı tek bir probleme yönlendirdi ve 88 saatte kanıt çıkardı. Aynı hatta bir yıldır çalışan iki matematikçi sonuçlarını günler önce yayımlamıştı.
Timothy Gowers ve Peter Sarnak, büyük dil modellerinin ciddi matematik becerisi olduğunu kabul ediyor ama gerçekten yeni fikirler için sert bir sınır görüyor. Sorun bilgi değil, doğru yolu seçme sezgisi.
Fields Madalyalı matematikçi Timothy Gowers, dil modellerinin bugüne kadar çözdüğü ünlü matematik problemlerinin neredeyse tamamının ispatla değil karşı örnekle çözüldüğünü söylüyor.