Texno|TechCrunch|00:33, 21.05.2026

OpenAI 80 illik riyazi problemlə bağlı ilkin sübut hazırlayıb

OpenAI yeni süni intellekt modelinin məşhur həll olunmamış riyazi fərziyyəni təkzib edən ilkin sübut hazırladığını açıqlayıb. Bu nailiyyət riyaziyyat sahəsində AI-nin ilk avtonom böyük problem həlli kimi qiymətləndirilir.

Mənbə: TechCrunch
AI ilə Azərbaycan dilinə tərcümə olunub

OpenAIiddia edir özünün yeni məntiq modeli məşhur həll olunmamış riyaziyyat fərziyyəsini orijinal şəkildə sübut edib, bu fərziyyə ilk dəfə 1946-cı ildə Paul Erdős tərəfindən irəli sürülüb.

Əgər bu sizə tanış gəlirsə, çünki OpenAI ilk dəfə belə cəsarətli iddiada bulunmur.Yeddi ay əvvəl bu süni intellekt nəhəngininkeçmiş vitse-prezidenti Kevil Weil X-də yazmışdı: “GPT-5 10 (!) əvvəllər həll olunmamış Erdős problemlərinin həllərini tapdı və digər 11 problem üzərində irəliləyiş etdi.”

Amma məlum oldu ki, GPT-5 əslində bu problemləri həll etməyib; yalnız ədəbiyyatda mövcud olan həlləri tapıb.

Rəqiblərdən, o cümlədən Yann LeCun və Google DeepMind-un CEO-su Demis Hassabis-dən tənqidlər gəldi və Weil tezliklə səhvən paylaşdığı postu silmək məcburiyyətində qaldı. Ancaq ən azı bu gün OpenAI eyni səhvi təkrar etməmiş kimi görünür. Açıqlama ilə birlikdə, OpenAIəlavə açıqlamalar nəşr etdi, bu da Noga Alon, Melanie Wood və Erdos Problems saytını idarə edən Thomas Bloom kimi riyaziyyatçıların çıxışlarına dəstək verdi, bunlar daha əvvəl Weil-in postunu“Erdos Problems” saytını və əvvəlcə Weil-in paylaşımını“qəti yanlış təqdimat”

kimi qiymətləndirmişdilər.OpenAI X-də paylaşdı. “OpenAI modeli bu inanclı səhvini sübut etdi, tamamilə yeni bir konstruksiya ailəsini kəşf etdi ki, bu da daha yaxşı nəticə verir.”

Şirkət bildirdi ki, bu, “AI-nin riyaziyyat sahəsinin mərkəzində duran önəmli bir açıq problemi müstəqil şəkildə ilk dəfə həll etməsi” deməkdir. Sübut OpenAI-ya görə, yeni ümumi məqsədli məntiq modelindən gəlib; bu həll xüsusi olaraq riyaziyyat problemlərini və ya xüsusilə bu problemi həll etmək üçün yaradılmayıb.

OpenAI-nin sözlərinə görə, bu vacibdir, çünki süni intellekt sistemlərinin indi uzun, çətin məntiq zəncirlərini birlikdə saxlamaq və sahələr arasında ideyaları birləşdirmək qabiliyyəti artıb, ona görə də tədqiqatçılar öncəki kimi araşdırmamış ola bilərlər. Bu, biologiya, fizika, mühəndislik və tibb sahələrində təsir yaratacaq.

“Süni intellekt əsrlər boyu qurduğumuz riyaziyyat katedralını daha dərindən araşdırmağa kömək edir,” dedi Bloom bəyanatında. “Başqa hansı görülməmiş möcüzələr gözləyir?”

Paylaş
Orijinal mənbə

TechCrunch

OpenAI claims it solved an 80-year-old math problem — for real this time

Orijinal məqaləyə keç
Reklam
Xəbərici728x90
Əlaqəli xəbərlər

Eyni kateqoriyada