Bu həftə OpenAI dünyanın ən çətin riyaziyyat problemlərinin bir hissəsinə yüzlərlə iddia edilən həllini açıqlayanda sərhəd laboratoriyası son dəfə modellərindən birinin uzunmüddətli bir problemin həllinə səbəb olan mübahisələrdən qaçmaq üçün elit riyaziyyatçılardan ibarət məsləhətçi qrupa müraciət etdiyini söylədi.
Lakin OpenAI bu standartlardan aşağı düşdü, xüsusilə də riyaziyyatçılar riyaziyyat nəticəsinin insan anlayışına ehtiyac olduğunu vurğulaydılar. Bu xüsusilə yeni bir məqalədə təbii dil arasında boşluqlar vurğulandıqdan və açıq şəkildə açıq AI modelləri ilə həll edilən milyon dollarlıq bir problemin həlli ifadə edilmədikdən sonra narahatçılıq doğurur.
Princeton Universitetinin İnstitutunun inkişaf etmiş tədqiqatlar üzrə təşkilatı tərəfindən təşkil olunan Riyaziyyat və Süni İstiqlal üzrə məsləhətçi qrupun tərkibində dünyanın hər yerindəki müəssisələrdəki doqquz tanınmış tədqiqatçı var.
Təşkilat sentyabrın sonunda riyaziyyat problemlərini həll edən sərhəd laboratoriyaları üçün qaydalar buraxdı. AGMAI son sübutlar dəstinə dair açıqlamasında bildirib ki, nəhayət, tövsiyələrimizin uğurla nə dərəcədə yerinə yetirildiyini qiymətləndirmək riyaziyyat cəmiyyətinə aiddir.
Bununla birlikdə, təşkilatın ilk tələbi, mütəxəssis modellərdə qabaqcıl riyazi problemlərin sınaqdan çıxarılmasını dayandırmaq idi. OpenAI-nin yayımında açıq şəkildə qeyd olunur ki, o, öz mütəxəssis modellərini riyaziyyətdə açıq tədqiqat problemlərindən istifadə edərək qiymətləndirir.
Məsləhətçi qrup, TechCrunch tərəfindən OpenAI-nin son sübut buraxılışının daha ətraflı qiymətləndirilməsi üçün soruşulduğunda cavab vermədi. Laboratoriya öz prinsiplərinin bir neçəsini aydın şəkildə izlədi, o cümlədən nəticələri mümkün qədər tez buraxdı və modellərin nəticələrə necə gəldiyi barədə məlumat daxil etdi. Ancaq hamı üçün yox: 719 əlyazmanın yalnız onunda modelin düşüncə zəncirinin buraxılışı var idi.
Xülasə — davamını mənbədə oxuyun.