Qısaca
- OpenAI üç müxtəlif sahədə süni intellektin hazırladığı sübutları qiymətləndirmək üçün kənar ekspertlərə müraciət edir.
- Kompüter elmləri üzrə iş Eksponensial Zaman Hipotezinin yanlış olduğunu irəli sürür; bu iddia müstəqil şəkildə araşdırılacaq.
- Riyazi sübut yerli hamarlama fərziyyəsinin bütün ölçülərdə doğru olduğunu göstərməyi hədəfləyir.
- Fizika işi Yang-Mills nəzəriyyəsinin riyazi mövcudluğuna yönəlib; kütlə boşluğu problemini həll etdiyi iddia olunmur.
OpenAI 27 oktyabr 2026-cı ildə riyaziyyat, kompüter elmləri və fizikada süni intellekt modellərinin hazırladığını bildirdiyi üç sübutu kənar ekspertlərin qiymətləndirməsinə təqdim etdiyini açıqlayıb. Şirkət bu işləri tamamlanmış elmi nəticələr kimi deyil, araşdırılmalı tədqiqat materialları kimi nəzərdən keçirir. Üç sahə üzrə qiymətləndirmə prosesi eyni qaydada aparılmır; bəzi sübutlar dərc olunsa da, fizika işinin materialları hələlik yayımlanmır.
Kompüter elmləri üzrə iddia nədən ibarətdir?
İlk iş Boole ödəmə problemi (SAT) ilə sıx bağlı olan Eksponensial Zaman Hipotezini (ETH) araşdırır. ETH ən pis halda SAT problemini həll etmək üçün tələb olunan hesablama vaxtının dəyişənlərin sayı artdıqca eksponensial şəkildə böyüdüyünü irəli sürür. OpenAI modellərinin bu hipotezin yanlış olduğunu göstərən sübut hazırladığını bildirir. İddia təsdiqlənərsə, ETH-ni əsas götürərək sərhədlər müəyyən edən bəzi tədqiqatların əsası yenidən nəzərdən keçirilə bilər; lakin bu, həmin tədqiqatları avtomatik olaraq etibarsız etmir.
UC San Dieqodan Russell Impagliazzo və Ramamohan Paturi, eləcə də MIT-dən Ryan Williams nəticəni müstəqil şəkildə araşdırıb izah edəcəklər. OpenAI bu qrupun xahişi ilə yazılı sübutu və Lean formatındakı sübutu yayımlayıb. Lean sübutun kodlaşdırılmış ifadəni addım-addım qurub-qurmadığını yoxlaya bilir; ancaq ifadənin tədqiqatçıların həll etməyə çalışdığı problemi düzgün əks etdirib-etdirmədiyini özü müəyyənləşdirə bilmir. Buna görə ekspertlərin araşdırması yalnız formal yoxlamadan ibarət deyil; iddianın elmi mənası da qiymətləndirilməlidir.
Riyaziyyat və fizikada hansı nəticələr önə çıxır?
Riyaziyyat işi dalğaların zamanla necə yayıldığını izah edən yerli hamarlama fərziyyəsinə aiddir. OpenAI modellərinin bu fərziyyə üçün yalnız iki ölçü ilə məhdudlaşmayan, bütün ölçüləri əhatə edən sübut hazırladığını bildirir. Şirkətin açıqlamasına görə, bu nəticə Kakeya fərziyyəsini və Stein-in məhdudlaşdırma fərziyyəsini də bütün ölçülərdə sübut olunmuş edə bilər. Bu iş üçün xüsusi ekspert qrupu yaradılmayıb; yazılı sübut və Lean sübutu tədqiqatçıların araşdırmasına təqdim olunub.
Fizika işi kvant sahə nəzəriyyələrinin riyazi əsaslarına yönəlib. OpenAI modellərinin dörd ölçüdə bəzi nəzəriyyələrin riyazi mövcudluğunu sübut etdiyini bildirir. Yang-Mills nəzəriyyəsi ilə bağlı irəli sürülən nəticə Minilliyin Probleminin yalnız mövcudluq hissəsini əhatə edir. Nəzəriyyənin kütlə boşluğuna malik olduğunu sübut etdiyi iddia olunmur; buna görə də bu, müvafiq Minilliyin Probleminin bütövlükdə həll edildiyi demək deyil. David Gross-un rəhbərlik etdiyi ekspert qrupu bu işi qiymətləndirəcək; şirkət fizika sübutunun materiallarını hələlik yayımlamır. Nəticənin qrupun öz işi ilə ortaya qoyulması planlaşdırılır.
Memarlıq, interyer dizaynı və vizuallaşdırma iş axınları üçün əhəmiyyəti
Bu yenilik memarlıq modelləşdirmə və ya vizuallaşdırma proqramlarına əlavə edilən yeni funksiyanın elanı deyil. Sübutların etibarlılığı və praktiki nəticələri hələ ekspert araşdırmasından asılıdır. OpenAI kompüter elmləri üzrə nəticənin daha yaxşı alqoritmlər hazırlamaq üçün tədqiqatlara kömək edə biləcəyini bildirir; bununla yanaşı, praktiki faydalara çevrilməsi üçün əlavə işlərin görülməli olduğunu da qəbul edir. Buna görə hazırda memarlıq ofisləri və vizuallaşdırma komandaları üçün konkret iş axını, avadanlıq tələbi və ya proqram uyğunluğu dəyişikliyi elan edilməyib.
OpenAI süni intellekt mənşəli nəticələrin mənasını müzakirə etmək üçün Simons Foundation-a 5 milyon dollar ayırdığını da açıqlayıb. Şirkət elmi töhfəyə görə kreditin sübutları açıqlayıb qiymətləndirən tədqiqat qruplarına verilməli olduğunu müdafiə edir. Prosesi necə təsdiqləmək, nəticələrə kimin və nə vaxt çıxış əldə edəcəyi, elmi töhfənin necə müəyyənləşdiriləcəyi isə müzakirə olunmağa davam edir.
Mənbələr
1 mənbəMənbə mətnləri yenidən dərc edilmir; qısa sitatlar işarələnir, qalanı bizim xülasə və şərhimizdir.
Memarlıq və vizuallaşdırma komandaları üçün bu açıqlama qısa müddətdə birbaşa istehsal aləti və ya iş axını dəyişikliyi demək deyil. Əsas məsələ süni intellektin hazırladığı texniki nəticələrin yoxlanması prosesinin necə qurulacağıdır. Bu proses gələcəkdə hesablama üsullarının inkişafına töhfə verə bilər; lakin mənbədə praktiki faydaların qeyri-müəyyən olduğu da qeyd edilir.
Türkiyədəki ofislər üçün indiki mərhələdə yeni avadanlıq almağa, lisenziyanı dəyişməyə və ya proqram uyğunluğu ilə bağlı qərar verməyə əsas yoxdur. İddiaların müstəqil araşdırılmasını, xüsusilə də nəzəriyyə ilə tətbiq oluna bilən nəticə arasındakı fərqi izləmək daha məqsədəuyğundur. Ekspertlərin qiymətləndirmələri yayımlanmadan təsirləri qəti hesab etmək olmaz.
Tez-tez verilən suallar
OpenAI-nin süni intellekti hansı sahələrdə sübut hazırlayıb?
OpenAI riyaziyyat, kompüter elmləri və fizika üzrə üç iş açıqlayıb. Sübutların etibarlılığı müstəqil ekspertlər tərəfindən qiymətləndirilir.
OpenAI Minilliyin Problemini həll etdiyini deyir?
Xeyr. Yang-Mills işi nəzəriyyənin riyazi mövcudluq hissəsini əhatə edir. Kütlə boşluğu sübut olunmayıb.
Lean sübutu nəticənin doğruluğunu təkbaşına sübut edirmi?
Xeyr. Lean yazıldığı formada riyazi ifadəyə dair sübut addımlarını yoxlayır; ifadənin nəzərdə tutulan problemi düzgün əks etdirib-etdirmədiyini isə ekspertlər qiymətləndirməlidir.
