ain.az, Bizimyol portalından verilən məlumatlara əsaslanaraq xəbər verir.
23 yaşlı Liam Price "GPT-5.4 Pro" modelindən istifadə edərək riyaziyyat dünyasında təxminən 60 ildir həll olunmayan bir "Erdös problemi"nin həllinə açar tapdı.
Bizimyol.info xəbər verir ki, təklif olunan sübut mütəxəssislər tərəfindən yoxlanılıb və "Erdös Problems" saytında "Lean" sistemi ilə təsdiqlənmiş şəkildə qeyd olundu.
Erdös problemi nədir?
Bu problem məşhur riyaziyyatçı Paul Erdös tərəfindən qoyulub və “primitive set” adlanan ədədlər toplularıyla bağlıdır. Primitive set – topluda heç bir ədədin digərinə tam bölünmədiyi xüsusi bir ədədlər toplusudur. Erdösün sualı belədir: bu cür toplulardakı ədədlərin cəmi ədədlər böyüdükcə hansı həddə yaxınlaşır? Sadə görünür, amma riyaziyyatçılar üçün uzun illərdir çətin problem olaraq qalır.
Maraqlısı budur ki, həlli tapan şəxs peşəkar riyaziyyatçı deyil. Liam Price problemi "ChatGPT"yə təqdim edib və modeldən gələn cavab mütəxəssisləri yeni sübut üsulu ilə tanış edib.
Ekspertlər bildirir ki, "ChatGPT"nin əsas uğuru problemi həll etməkdən çox, əvvəllər istifadə olunmamış yeni yanaşmanı ortaya çıxarmasında olub. UCLA-dan Terence Tao və Stanford-dan Jared Lichtman bu yeni yanaşmanın potensialını yüksək qiymətləndirirlər.
Bu hadisə göstərir ki, süni intellekt düzgün yönləndirildikdə riyaziyyatçılar üçün güclü tədqiqat ortağı ola bilər. İnsan və süni intellektin birgə işi riyaziyyatın gələcək tədqiqat modelini dəyişə bilər.
Bizimyol.info
Ən son yeniliklər və məlumatlar üçün ain.az saytını izləyin, biz hadisənin gedişatını izləyirik və ən aktual məlumatları təqdim edirik.
