OpenAI Astra modeli: 10 illik riyaziyyat sirlərini necə açdı?

OpenAI Astra modeli riyaziyyat dünyasında inqilab yaratdı

Avqustun 1-də OpenAI-nin Astra modeli riyaziyyat və nəzəri informatika sahəsində 10 açıq qalmış problemi həll etməklə böyük səs-küy yaratdı. Hər biri ən azı on il açıq qalmış bu problemlər üçün Lean 4 proqramlaşdırma dili ilə yoxlanıla bilən sübutlar GitHub-da yayımlanıb. Bu nailiyyət süni intellektin elmi tədqiqatlarda əhəmiyyətli rol oynaya biləcəyini göstərir.

27 illik sirr və digər böyük nailiyyətlər

Astra modeli Mikhail Gromov-un 1999-cu ildə təqdim etdiyi sofiq qruplar anlayışı ilə bağlı 27 ildir açıq qalan əsas sualı həll etdi: qeyri-sofiq qrupların mövcudluğunu ilk dəfə sübut etdi. Bundan başqa, model Connes-in von Neumann algebralarına aid sərtlik fərziyyəsini təkzib etdi, Ehrhart-ın həcm fərziyyəsini sübut etdi və Paul Erdosun məşhur problemlərindən üçünü, o cümlədən 183-cü problemi həll etdi.

Yeni sərhədlər və paralel təkrar teoremi

Astra yüksəkölçülü kürə yığımı sıxlığı üçün 1978-ci ildən bəri dəyişməyən ümumi yuxarı sərhədi yaxşılaşdırdı. Həmçinin, iki oyunçulu kvant oyunları üçün paralel təkrar teoremini sübut etdi və permanentin hesablama dövrə mürəkkəbliyi üçün yeni aşağı sərhədlər müəyyənləşdirdi.

Hesablama xərci və elmi dəqiqlik

OpenAI-nin riyaziyyat tədqiqatları üzrə rəhbəri Sebastien Bubeck nəticələri "gözəl" adlandırıb və hər bir nəticənin Lean sertifikatı ilə müşayiət olunduğunu bildirib. Bütün bu nəticələrin əldə olunması təxminən 2,000 ABŞ dolları (təxminən 3,400 AZN) dəyərində hesablama gücü tələb edib. Lean sertifikatları sübutların müstəqil şəkildə yoxlanmasını təmin edir və riyaziyyat icmasında sübutların etibarlılığını artırır.

Ekspertlərin və cəmiyyətin reaksiyası

Thomas Bloom, erdosproblems saytının rəhbəri, bu nəticələri "böyük xəbər" adlandıraraq, onların əvvəlki Erdos məsafə fərziyyəsinin təkzibindən daha əhəmiyyətli olduğunu bildirib. OpenAI Astra modelini "növbəti əsas model" kimi təqdim edir və 2027-ci ilə qədər 100,000 akademik tədqiqatçıya pulsuz giriş imkanı verəcəyini açıqlayıb.

Süni intellekt və riyaziyyatın gələcəyi

OpenAI-nin may ayında təqdim etdiyi model 80 illik Erdos məsafə fərziyyəsini təkzib etmişdi. Astra isə süni intellektin riyaziyyatın ən mürəkkəb problemlərini həll etməkdə nə qədər irəli gedə biləcəyini göstərir. Bu, elm dünyasında həm həyəcan, həm də yeni suallar doğurur. Süni intellektin elmi tədqiqatlarda rolu getdikcə artacaq və insan bacarıqlarını tamamlayacaq.

Bu nailiyyətlər süni intellektin yalnız texnologiya deyil, həm də elm və təhsil sahəsində inqilabi dəyişikliklərə səbəb ola biləcəyini sübut edir.