OpenAI üç yeni elmi kəşf və akademik əməkdaşlıq elan etdi

OpenAI riyaziyyat, kompüter elmləri və fizika sahələrində daha üç əsas kəşf etdiyini bildirir; bu, uzun müddət açıq qalmış riyaziyyat suallarına həllər ehtiva etdiyini söylədiyi yüzlərlə əlyazma buraxmasından bir aydan az sonra baş verir. Bu dəfə bələdçi kimi təsvir olunan xarici ekspertlər kompüter elmləri və fizika nəticələrinə rəhbərlik edir, riyaziyyat problemi üçün isə OpenAI süni intellekt çıxışını tədqiqatçıların öz izahlarını hazırlaya bilməsi üçün açıqlamağa məsləhət görüldüyünü bildirir.

Riyaziyyat və fizika nəticələri

OpenAI bu gün GitHub-da nəticələri açıqladı, o cümlədən Evklid dalğa tənliyi üçün lokal hamarlaşdırmanın sübutu. Sübut köməkçi qismi törəməli diferensial tənlikdən istifadə edir və dalğalar üçün Sogge lokal hamarlaşdırmasını hər bir fəza ölçüsündə, ən azı ikidən başlayaraq müəyyən edir; həmçinin Kakeya maksimal və ölçü konjektorlarını və Stein-in sferik məhdudlaşdırma qiymətləndirmələrini konjektor aralığının daxilində hər yerdə verir. OpenAI bildirir ki, model həmçinin hər ölçüdə lokal hamarlaşdırma konjektorunun sübutunu hazırlayıb və bununla Kakeya konjektorunu və Stein-in məhdudlaşdırma konjektorunu bütün ölçülərdə həll edib. Fizika məlumatları tam açıqlanmayıb, lakin OpenAI onu dörd ölçülü kalibrləmə sahələri və fermionlar ehtiva edən qarşılıqlı təsirli kvant sahə nəzəriyyələrinin riyazi cəhətdən dəqiq mövcudluq sübutu kimi təsvir edir; bura Kvant Xromodinamikası və Standart Modelin vahid tamamlanması daxildir. David Gross bu işə rəhbərlik edəcək; qrupa Michael Douglas, Arthur Jaffe, Igor Klebanov və Nikita Nekrasov daxil olacaq.

Kompüter elmləri nəticəsi

Kompüter elmləri nəticəsi bildirir ki, doğruluğuna geniş inanılan Eksponensial Zaman Hipotezi yalandır. Məqalə sabit genişlikli CNF düsturlarının ödəyici təyinatlarını subeksponensial vaxtda və polinomial yaddaşda dəqiq sayan deterministik alqoritm verir və 3-SAT halı hipotezi təkzib edir. Russell Impagliazzo, Ramamohan Paturi və Ryan Williams tərəfindən idarə olunan müstəqil iş qrupu sübutu araşdıracaq və izah edəcək; qrupun xahişi ilə OpenAI materialları dərhal ictimaiyyətə açdı. Qrup bu gün AI çıxışı yazısı və Lean sübutunu GitHub-da, həmçinin iddianı necə yoxlamaq və süni intellektlə yaradılmış irəliləyişlər üçün normativlər haqqında rəy istəyən açıq məktubu buraxdı.

Buraxılış təcrübələri ətrafında mübahisə

OpenAI bu yanaşmanın öz problemləri ola biləcəyini qəbul edir. OpenAI-nin yaratdığı riyaziyyat məsləhətçiləri paneli AGMAI dünən bildirdi ki, müəyyən şəxslərin çıxışı ilk əldə etməsini təyin edən təcrübələri AI şirkətlərinin qəbul etməməsini tövsiyə edir; qeyri-bərabər çıxış, ödünç alınmış nüfuz və qərəzli seçim əsas gətirilir. Əvəzində panel tövsiyə etdi ki, gələcək AI laboratoriyaları çıxışı elmi repozitoriyalarda, Lean-formallaşdırılmış sübutlarla, problemlərin necə seçildiyi barədə məlumatla, nəticələri başa düşmək üzərində çalışan insanlar üçün maliyyələşdirmə və digər məlumatlarla buraxsın. Açıq məktub soruşur: AI ilə yaradılmış nəticələrə erkən çıxış üzərində hansı gözləntilər olmalıdır, maraqlar toqquşması necə açıqlanmalıdır və nəşr olunmamış material sonrakı tədqiqatda necə istifadə edilməlidir; kredit yeni kəşfləri və onları yoxlama, düzəltmə, sadələşdirmə, izah etmə və genişləndirmə işini necə tanımalıdır; metodlar və tədqiqat istiqamətləri dəyişərkən tələbələri və tədqiqatçıları necə dəstəkləmək lazımdır ki, nəticələri sual vermək və yeni ideyalar inkişaf etdirmək üçün lazım olan anlayış və mühakimə qorunsun. OpenAI həmçinin riyaziyyatçıların AI ilə yaradılmış tədqiqatı başa düşməsinə kömək etmək üçün 5 milyon dollar verir.

Kontekst

Bir neçə ay əvvəl NYU professoru Hong Wang Beynəlxalq Riyaziyyat İttifaqı tərəfindən Kakeya konjektorunu üç ölçüdə həll etdiyinə görə Fields medalı ilə təltif edildi. OpenAI-nin oktyabrın 6-da buraxılışı yeni riyaziyyat nəticəsində istinad olunur və şirkət əvvəllər uzun müddət açıq qalmış riyaziyyat suallarına həllər ehtiva etdiyini söylədiyi yüzlərlə əlyazma buraxmışdı.

Mənbələr: The Verge · Techmeme