Trefor Bazett tərəfindən, The Conversation

Lisa Lock tərəfindən redaktə edilib , Andrew Zinin tərəfindən nəzərdən keçirilib

 Redaktorların qeydləri

 GIST

Tercih edilən mənbə kimi əlavə edin

Süni intellekt alqoritmlərini öyrətmək üçün istifadə edilən məlumat dəstləri yaşlı insanları az təmsil edə bilər. Mənbə: Pixabay/CC0 Public Domain

2026-cı ilin may ayında OpenAI, riyazi tədqiqat dünyasında şok dalğaları yaradan yeni bir riyazi nəticə yayımladı . “Vahid məsafə fərziyyəsi” adlanan əsas həll olunmamış problem generativ süni intellekt tərəfindən həll edilmişdi .

O vaxtdan bəri, tədqiqat səviyyəli riyaziyyat problemlərini həll etmək üçün süni intellektdən qismən və ya tamamilə istifadə edən yeni nəticələrin davamlı olaraq səs-küyü eşidilir. Bununla belə, istənilən ayda dərc olunan yeni riyaziyyat nəticələrinin əksəriyyəti hələ də insanlar tərəfindən yaradılır.

Bəs bu hara gedir? Süni intellekt imkanları nə dərəcədə yaxşı və nə qədər sürətlə artacaq? Riyazi tədqiqatların əksəriyyəti əsasən süni intellekt olacaqmı? Yoxsa bəzi riyaziyyatçıların təklif etdiyi kimi , süni intellekt insan ixtiraçılığı və digər kompüter alətləri ilə birləşərək riyaziyyatın qızıl dövrünü yaradacaqmı?

Həll olunmayan problemlərin siyahısı

20-ci əsrin ən məhsuldar riyaziyyatçılarından biri macar Paul Erdöş idi. O, bir çox alt sahələrdə riyaziyyatçılarla geniş əməkdaşlığı ilə tanınırdı.

Karyerası boyunca o, bu gün Erdöş problemləri kimi tanınan yüzlərlə həll olunmamış problem təklif etmişdir . Bu siyahı riyaziyyatdakı problemləri həll edə biləcəyini göstərmək istəyən hər hansı bir süni intellekt şirkəti üçün başlamaq üçün cəlbedici bir yerdir.

Onilliklər ərzində insan tədqiqatçıları Erdöş problemlərinin bir çoxunu davamlı olaraq həll etmişlər, lakin onların böyük bir hissəsi hələ də həll olunmamış qalır. Bunlardan biri həndəsi qraf nəzəriyyəsi sahəsindəki vahid məsafə problemi idi.

İnsanlar süni intellekt üzərində

Bu, süni intellekt tərəfindən həll edilən ilk riyazi məsələ deyildi — hətta süni intellekt tərəfindən həll edilən ilk Erdöş məsələsi belə deyildi — amma ən əhəmiyyətlisi idi. Vahid məsafə problemi, bir çox tədqiqatçının 1946-cı ildə təklif edildiyi vaxtdan bəri həll etməyə çalışdığı ən vacib məsələdir.

Xüsusilə diqqətəlayiq haldır ki, insan tədqiqatçıları süni intellekt vasitəsilə vahid məsafə probleminin sübutunu oxuduqdan sonra sübutun mərkəzi texnikasını cəmi bir həftə sonra ” cəm-hasil fərziyyəsi ” adlanan başqa bir əhəmiyyətli fərziyyəni həll etmək üçün uyğunlaşdıra bildilər.

Süni intellekt nəticəsi ondan əvvəl bir çox riyaziyyatçının çiyinlərində olsa da, insanlar süni intellektdəki irəliləyişlər sayəsində bir pillə daha yüksəklərə qalxa bildilər.

Texnologiyaların kombinasiyası

Kompüter əsaslı alətlər, kompüterlər mövcud olduğu müddətcə insanlara riyaziyyatda kömək edir. Bu alətlər getdikcə daha da təkmilləşib və dünyanın ən böyük superkompüterlərində işləyə, iqlim dəyişikliyini və ya pandemiyaları modelləşdirə bilər.

Hətta təmiz riyaziyyat daxilində belə, ilkin tədqiqatlar göstərir ki, bəzi nəzəri nəticələrin sübutu petabayt ölçüsünə qədər böyüyə bilər — bu, bir milyon gigabayta bərabərdir.

Kompüterlərin insanlara kömək etməsinin yeganə yolu hesablama vasitələri deyil. Hətta mütəxəssislər tərəfindən asanlıqla yoxlanıla bilməyəcək qədər böyük və ya texniki bir arqumentin etibarlılığına necə əmin ola bilərsiniz? Sübut yoxlaması üçün yaradılmış kompüter dilindən istifadə edərək riyaziyyatçılar arqumentin hər bir komponentinin son dərəcə dəqiq versiyalarını yarada bilərlər. Daha sonra sübut yoxlama sistemi hər addımın sübutun əsas aksiomalarından və ya başlanğıc nöqtələrindən məntiqi olaraq irəli gəldiyini yoxlayır.

Bu yaxınlarda çapdan əvvəlki məqalədə riyaziyyatçılar bu texnologiyaların hər birini – hesablama vasitələri, sübut yoxlaması və süni intellekt – öz insan ixtiraları ilə birləşdirərək Ramsey nəzəriyyəsi adlanan riyaziyyat sahəsində yeni bir nəticə əldə etdilər.

Hərtərəfli və olduqca ağıllı hesablama axtarışlarından sonra süni intellekt müəyyən bir fenomen üçün ümumi bir nümunə təxmin edə, nümunənin həqiqətən də keçərli olduğunu sübut edə və müəlliflərə sübutların doğrulanması arqumentini çevirməyə kömək edə bildi.

Texnologiyaların bu kombinasiyası onları indi riyaziyyatın “qızıl dövrünə” qədəm qoyduğumuza inandırdı.

Gündəlik məlumat üçün Phys.org-a etibar edən 100.000-dən çox abunəçi ilə elm, texnologiya və kosmosdakı ən son yenilikləri kəşf edin . Pulsuz bülletenimizə abunə olun və vacib olan nailiyyətlər, innovasiyalar və tədqiqatlar haqqında gündəlik və ya həftəlik yeniliklərdən xəbərdar olun .

Milyon dollarlıq riyaziyyat məsələləri

Bu gün süni intellekt imkanları qarışıqdır. Bəzi riyazi sahələr, xüsusən də qrafik nəzəriyyəsi, süni intellekt əsaslı sübutlara xüsusilə uyğunlaşsa da, digərləri olduqca davamlı görünür.

Süni intellekt həll etdiyi hər bir riyaziyyat məsələsi üçün süni intellekt istənildikdə həll edə bilmədiyi çoxlu sayda məsələ var. Ən məşhur həll olunmamış məsələlər üçün – məsələn, Clay Riyaziyyat İnstitutunun onlardan birini həll edə bilsəniz sizə 1 milyon dollar ödəyəcəyi qalan altı Minilliyin Mükafatı məsələsi kimi – problemlər süni intellekt üçün də, biz insanlar üçün də əlçatmaz görünür.

Gələcəyə gəldikdə isə, süni intellekt imkanlarının nə qədər və nə qədər sürətlə böyüyəcəyini bilmirik. Əgər irəliləyiş əhəmiyyətli olarsa, beş və ya on il ərzində insanlar üçün riyazi tədqiqatlar necə görünəcək? İnsanların süni intellekt nəticələrinə əsaslandığı və ya yeni riyazi yüksəkliklərə çatmaq üçün süni intellektdən mövcud alətlərlə birlikdə istifadə etdiyi bu ilkin nümunələr mümkün bir gələcəyə dair bir fikir verə bilər.

Digər tərəfdən, tələbələrin ömürlərinin illərini riyazi bacarıqlarını təkmilləşdirməklə keçirməkdən narahatlığı başa düşüləndir. Tədqiqat riyaziyyatında süni intellektin insanları əvəz etməsi ilə bağlı təbii qorxular var. Xoşbəxtlikdən, hələ buna yaxın deyilik.

The Conversation tərəfindən təqdim olunur Bu hekayənin arxasında kim dayanır?

Lisa Lock

İncəsənət tarixi bakalavr, maddi mədəniyyət magistri. Keçmiş muzey redaktoru, paramedik və transplantasiya koordinatoru. 2021-ci ildən Science X üçün redaktorluq edir. Tam profil →

Endryu Zinin

Fizika üzrə magistr dərəcəsi və tədqiqat təcrübəsi. Uzun müddət elm xəbərləri həvəskarı. Science X-in redaksiya uğurunda əsas rol oynayır. Tam profil →

Bu məqalə Creative Commons lisenziyası altında The Conversation -dan yenidən dərc olunub. Orijinal məqaləni oxuyun .