Mən 20 ilə yaxın riyaziyyat haqqında yazıram və o dövrdə heç vaxt bu günə bənzər bir dövr olmamışdır. Karyeramın böyük hissəsi üçün böyük bir riyaziyyat hekayəsi ilə tanış olmaq ən çox bir neçə ayda bir baş verir. Venn diaqramı, həm maraqlı, həm də ümumi auditoriyaya izah edilə bilən riyaziyyat nəticələrinin olduqca dar bir örtüşməsidir. Bütün bunlar süni intellektin riyaziyyatda şoka saldıran dərəcədə bacarıqlı olduğu üçün dəyişdi. Son bir ildir ətraflı məlumat veririk.
İndi ki, süni intellekt sahəni dəyişir, riyaziyyatdan sonra nə olacaq?
Bir təhlilinə görə, avqust ayında arXiv preprint serverində nəşr olunan riyaziyyat məqalələrinin 25 faizi süni intellektin bəzi istifadəsini qəbul edir. Riyaziyyatçılar hələ də gördüklərimizdən əsəbiləşirlər və bu məni və onları yaxın gələcəkdə süni intellekt olmadan riyaziyyatın mümkün olub-olmayacağından narahat edir.
Yadıma düşən bir analoji şahmatdır, bunun üçün on illərdir ki, süper insan süni intellekt oyunçularımız var. Ancaq bu o demək deyil ki, insanlar şahmat oynamağı dayandırdılar. Bunun əvəzinə şahmat süni intellektləri yeni oyunçular üçün ilham və təlim ola bilər. Təbii ki, analojiyin aşağı düşməsində, bir şahmat oyununun ondan əvvəlki şahmat oyunlarının hamısına əsaslanmamasıdır. Bir mənada, riyaziyyat daha çox bir böyük multiplayer puzzle kimi və bir dəfə AI oyuna qoşulduqda, onu görməmək mümkün deyil.
Riyaziyyat sübutları təriflə əbədi olaraq həqiqətdir, bu da süni intellekt tərəfindən sübut olunan nəticəni bilməyimizi mümkünsüz edir. Hətta insanların başa düşmədiyi bir şəkildə yazılmış bir sübut üçün belədir, çünki sübutun həqiqiliyi Lean proqramlaşdırma dili vasitəsilə yoxlana bilər, bu da sübutun kompüter tərəfindən mexaniki olaraq yoxlana bilən elementar məntiqi bəyanatlara bölünür.
Həqiqət və anlayış arasında boşluqların açılması potensialı narahatdır. Kaliforniya Universitetinin riyaziyyatçısı Terence Tao, Los-Ancelesdəki problemlərin həll edilməsinin bərpa olunmayan bir mənbədən istifadəyə bənzədiyini, yəni açıq problemlərin birləşməsini nəzərdə tutduğunu xəbərdar etdi. O, nəzəriyyə olaraq riyaziyyatçılar üçün işləmək üçün sonsuz sayda problem olsa da, yeni riyaziyyat texnikalarının kəşf edilməsinə səbəb olacaq xüsusi problemlərin müəyyən edilməsi riyaziyyat araşdırmasının əsas hissəsidir. Əgər süni intellekt bu problemləri həll edərsə və yeni texnikalar yaratmadan həll edərsə, bu, riyaziyyatçıları harada saxlayacaq? Güclü həll vasitələrinin ayrımsız istifadəsi mövcud problemlərin həll edilməsi ilə bağlı qısa müddətli hədəfə nail ola bilər, lakin bu, ekosistemin növbəti tərəqqi dalğası üçün davam etdirilməsi və ya artıq əldə edilmiş tərəqqiin başa düşülməsi hesabına olacaq", - Tao son bir sosial media paylaşımında deyib.
Xülasə — davamını mənbədə oxuyun.
