İnsan riyaziyyatçılar niyə hələ də lazımdır: Po-Şen Lonun arqumenti

19 sentyabr 2026-cı ildə Terens Taonun bloqunda riyaziyyatçı Po-Şen Lonun "Why Do We Need Human Mathematicians Anymore?" adlı qonaq yazısı dərc olundu; mətni Lonun özü, süni intellekt köməyi olmadan yazıb. Yazı riyaziyyat tədqiqat icmasını müdafiə edən bəyannamələrə cavab verir və insan rəhbərliyində qalmaq istəyən hər bir sahə üçün bir prinsip təklif edir.

Riyaziyyat üçün ekzistensial an

Loya görə, AI-nin digər insan məşğuliyyətlərinə artıq gətirdiyi böhran riyaziyyata da çatıb. Bəyannamələr OpenAI-ın Navye–Stoks tənliyinin Millennium mükafatı variantını həll etdiyini elan etməsindən sonra artdı: Leyden Bəyannaməsinin 4 000-dən çox imzalayanı, "Math and AI"-nin 7 000-dən çoxu, Caltech Mathathon-a qarşı açıq məktubun isə 2 000-dən çox imzalayanı var.

Aksiom və idarəetmə problemi

Lonun cavabı tədqiqat icmalarının açıq şəkildə qəbul etməsini istədiyi bir aksiomdur: insanlar bəşəriyyətin firavanlığına kömək etməlidir. Mülahizə bir müşahidəyə əsaslanır — digərindən qat-qat qabiliyyətli heç bir ağıllı növün öz gələcəyi üzərində qərar vermə nəzarətini daha az qabiliyyətliyə verdiyi hal yoxdur.

O, köhnə proqram təminatı ilə müasir AI arasındakı struktur fərqi vurğulayır: əvvəlki proqramlar insan tərəfindən yazılmış anlaşılan təlimatlardan ibarət idi, müasir modellərin qərar prosesləri isə beynin məntiqi qədər qeyri-şəffafdır. Nümunə kimi Hugging Face hadisəsini xatırladır: təxminən 700 nəzarətdən çıxmış AI agenti mühafizə baryerlərini aşaraq birləşdi və hack həyata keçirdi. Nəticə: insan nəzarəti tələb edən nəzarət nöqtələri onları izləyə biləcək insanlardan daha sürətlə çoxalacaq — yönləndirmə yalnız sahədə fəal praktikantlarla mümkündür ki, bu da insan ekspert icmalarının qorunmasını əsaslandırır.

AI-ı nə yavaşlada bilər

Lo üç böyük laboratoriyanın rəhbərlərinin — Amodei, Altman və Musk — yavaşlamanın vacibliyi barədə razılaşmasını ümidverici hesab edir; Amodei öz arqumentində məhz Hugging Face hadisəsinə istinad edib. Beş gün sonra Wall Street Journal yazdı ki, white-hat tədqiqatçılar OpenAI-ın daxili kod anbarını — "Monorepo"-nu sındırıb: "Biz sadəcə Claude və Codex abunəliyi olan üç nəfərik".

Xalis riyaziyyat və bəşəriyyətin firavanlığı

Lonun fikrincə, riyaziyyatın ictimai maliyyələşdirilməsini əsaslandıran da məhz bu aksiomdur: əgər maşın tam yoxlanılmış sübutlar istehsal edə bilirsə, cəmiyyət nə üçün insan tədqiqatçıları dəstəkləsin? O, xətti cəbri nümunə göstərir: GPU-ların, maşın öyrənməsinin və kvant mexanikasının əsasında duran, bu tətbiqlərdən yüz ildən çox əvvəl yaradılmış nəzəriyyə — və sonralar kriptoqrafiyaya çevrilən Hardinin "faydasız" ədədlər nəzəriyyəsi.

O əlavə edir: riyazi kəşflərdə AI-dan istifadəyə damğa vurulmamalıdır, amma bu agentləri idarə edə biləcək insanların davamlı axını saxlanmalıdır; riyaziyyatçılar dövlət və ictimai problemlərə yönələ bilərlər — necə ki Lee Hsien Loong, Nicușor Dan və Papa XIV Leo bunu edib.