Frans Steenhoudt, Brüssel Azad Universiteti

Lisa Lock tərəfindən redaktə edilib , Robert Egan tərəfindən nəzərdən keçirilib

 Redaktorların qeydləri

 GIST

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

Kredit: Pixabay/CC0 İctimai Sahə

VUB-un Məlumat Analitikası Laboratoriyası kommersiya dil modellərindən istifadə edərək orijinal riyazi sübutların hazırlanmasının mümkün olduğunu göstərən yeni nəticələr dərc edib. arXiv preprint serverinə göndərilən bir məqalədə tədqiqatçılar OpenAI-ın kommersiya böyük dil modeli ChatGPT-5.2 (Düşünmək) riyazi məsələni müstəqil şəkildə həll edə biləcəyini göstərirlər.

Fərziyyə və sübutun izahı

Bu xüsusi iş riyaziyyatçılar Ran və Tenq tərəfindən 2024-cü ildə irəli sürülən fərziyyəni izah edən bir sübutla bağlı idi. Fərziyyə, bir çox nümunə və ya işarə olduğu üçün doğru olduğuna inanılan, lakin hələlik heç bir rəsmi sübutu olmayan bir iddiadır. Riyaziyyatçılar tez-tez bir qanunauyğunluğu kəşf etdikdən və ya həmişə eyni nəticəni verən bir çox hesablamadan sonra belə bir fərziyyə irəli sürürlər. Heç kim qəti bir sübut təqdim etmədikcə, bu, bir fərziyyə olaraq qalır; sübut edilən kimi bir teoremə (teorem) çevrilir.

Tədqiqatda ChatGPT ilə yeddi söhbət sessiyasının və sübutun dörd versiyasının birlikdə yekun sübutu necə yaratdığı təsvir olunur. ChatGPT xüsusilə sübut axtarışında faydalı oldu, insan mütəxəssisləri isə düzgünlüyün yoxlanılması və qəti arqumentasiya üçün vacib idi.

Süni intellekt əslində nə qədər iş gördü

Müəlliflər göstərir ki, ChatGPT-5.2 (Düşünmə), sübutların strukturunu əsasən, minimal insan müdaxiləsi ilə inkişaf etdirib. Qısa təsvirdə xülasə edildiyi kimi, “Məlumat Analitikası Laboratoriyası ilə biz kommersiya baxımından mövcud olan LLM-in müstəqil olaraq orijinal riyazi sübutlar hazırlaya biləcəyini nümayiş etdirən ilk şirkətlərdən biriyik.”

Brext Verbeken (VUB Data Analytics Lab tədqiqat qrupunun doktoranturadan sonrakı tədqiqatçısı) deyir: “ÇatGPT-nin həll olunmamış riyazi problemləri sübut etməyə kömək edə biləcəyindən çoxdan şübhələnirdim. Amma yenə də bunun nə qədər səmərəli nəticə verdiyinə təəccübləndim.”

Vibrasiyanı artıran və gələcək istiqamətlər

Tədqiqatçılar işlərini daha geniş kontekstdə, yüksək səviyyəli nəzəri mühakiməni araşdırmaq və strukturlaşdırmaq üçün dil modellərindən istifadə edilən bir yanaşma olan vibrasiya sübutu kontekstində yerləşdirirlər . Nəşrdəki əsas sual, vibrasiya sübutu texnikasının gələn il əvvəllər süni intellektlə dəstəklənən proqramlaşdırmada (vibe-kodlaşdırma) müşahidə edildiyi kimi eyni sürətli təkamülə məruz qalıb-qalmayacağıdır, burada sistemlər alətlərdən faktiki olaraq muxtar kod generatorlarına çevrilib.

VUB professoru Vincent Ginis (Data Analytics Lab) deyir: “Biz tez-tez insanların sistemlərin yaradıcılığının əsasən təlim məlumatlarının yenidən qurulması ilə məhdudlaşdığını düşündüklərini eşidirik.” “Şadam ki, bu yanlış təsəvvürü işimizlə də aradan qaldıra bildik.”

İnsan nəzarəti və tədqiqat təsiri

Müəlliflər vurğulayırlar ki, model sübut bazasının əhəmiyyətli bir hissəsini yaratsa da, insanlar hələ də yoxlamanın bağlanması və rəsmi boşluqların aradan qaldırılması üçün çox vacibdir və bu proses LLM yardımının həqiqətən harada fərq yaratdığına və yoxlama maneələrinin harada qaldığına dair vacib məlumat verir.

Bu inkişaf, nəzəri tədqiqatlarda süni intellektdən istifadənin tətbiqində mühüm bir məqamı qeyd edir. Bu, təkcə proqramlaşdırma və mətn istehsalına köməkçi vasitə kimi deyil, həm də insan nəzarəti və tənqidi düşüncə ilə birləşdirildikdə orijinal riyazi kəşflərə töhfə verə biləcək bir vasitə kimi istifadə olunur. “Namizəd sübutlarının formalaşdırılması indi daha sürətli ola bilər, lakin sonra maneə insan yoxlamasına çevrilir. Bu, vaxt tələb edir. Lakin dil modelləri bizə burada da kömək edəcək”, – deyə VUB professoru Andres Alqaba (VUB Məlumat Analitikası Laboratoriyası) yekunlaşdırır.

Nəşr detalları

Brecht Verbeken və digərləri, İstehlakçı LLM-ləri ilə Vibe-Sübutunun Erkən Sübutları: ChatGPT-5.2 (Düşüncə) ilə Spektral Bölgənin Xarakteristikasına dair Bir Case Study, arXiv (2026). DOI: 10.48550/arxiv.2602.18918

Jurnal məlumatı: arXiv 

Brüssel Azad Universiteti tərəfindən təmin edilir