OpenAI ETH-nin yanlış olduğunu sübut edir, Kripto Twitter suallar verir

OpenAI ETH-nin yanlış olduğunu deyir və Kripto Twitter gözlənildiyi kimi reaksiya verdi. "Lanet olsun, alqoritm ticarətçiləri $ETH-ni məhv etdi," adlı istifadəçi Takumi X-də paylaşdı, Andrew Jiang isə zarafat etdi: "Vitalik bu xəbərlərdən sonra çox sakitdir."

Amma sakit olun, degens, müzakirə olunan ETH 1999-cu ildən bəri kompüter elmi konjekturası olan Ekspozisiyal Vaxt Hipotezidir (ETH) və Ethereum, onun qiyməti və həmtəsisçisi Vitalik Buterin ilə heç bir əlaqəsi yoxdur. Beləliklə, kripto dostları, nəfəs ala bilərsiniz.

OpenAI, hipotezi aşmağın bir yolunu tapdığını iddia edən 67 səhifəlik bir məqalə dərc etdi və onu irəlilədən insanlar indi işləri yoxlayırlar.

Kompüter alimləri Russell Impagliazzo və Ramamohan Paturi, Francis Zane ilə birlikdə ETH-ni irəlilədilər və bu, 3-SAT adlanan klassik məntiq bulmacasının (bir çox qaydaları təmin edən doğru və ya yanlış ayarları tapmaq, üç seçim bir anda) daha sürətli həll edilməyəcəyini bildirir. OpenAI-yə görə, yüzlərlə məqalə bunun qraf nəzəriyyəsi, hesablama biologiyası, verilənlər bazaları və geometriya sahələrindəki problemlərin tez həll edilə bilməyəcəyini göstərmək üçün bunu qəbul edir.

Myriad: ETH-nin növbəti hədəfi haradır? Proqnozunuzu vermək üçün klikləyin.

Başqa sözlə, ETH, kompüterlərin heç vaxt sürətlə edə bilməyəcəyi şeylərin xəritəsidir və OpenAI, modelinin bunu yenidən çəkdiyini bildirir. "ETH-nin təkzibi, bu tapşırıqların nə qədər sürətli ola biləcəyi ilə bağlı sualları yenidən açır," şirkət blogunda yazdı, "və daha yaxşı alqoritmlərin axtarışını yönləndirməyə kömək edə bilər."

Məqalə, 17 oktyabr tarixli və 25 oktyabrda düzəldilmiş, belə bulmacaların hər bir məmnun edici ayarını subekspozisiyal vaxtda sayan deterministik alqoritm (təsadüf olmadan) təsvir edir, yəni iş dəyişənlərin sayına görə hər hansı bir eksponensialdan daha yavaş böyüyür. Həllərin sayını hesablamaq, birinin olub olmadığını qərar verməkdən daha çətindir, buna görə də daha çətin iş asan olanı pulsuz gətirir.

OpenAI, AI-nin 16 oktyabrda təkzibi tapdığını və bunun 17 oktyabrda hər bir məntiq addımını mexaniki olaraq təsdiqləyən Lean proqramında formalizə edildiyini bildirir. Hər ikisi GitHub-da yerləşir, bu ayın əvvəlində 722 riyaziyyat manuskripti ilə eyni yolda, bunlardan yalnız 162-si kompüterlə yoxlanmış əsas nəticə ilə gəldi.

Impagliazzo, Paturi və MIT-nin Ryan Williams müstəqil araşdırmaya rəhbərlik edirlər və rolları ilə bağlı diqqətli olurlar. "Bizim iştirakımız iddianın təsdiqi kimi qəbul edilməməlidir," üçü açıq məktubda yazdı və əlavə etdi ki, "bu cür əhəmiyyətli bir nəticə diqqətli, müstəqil yoxlama və başqalarının yenidən qurma, sual vermə və üzərində qurma anlayışını tələb edir."

OpenAI iştirakçıların heç bir gizlilik müqaviləsi imzalamadığını və işin ödənilmədiyini bildirir, şirkət bütün xam məlumatları dərc etməyə və nəticə ilə bağlı bir konfransı maliyyələşdirməyə razı oldu.

Praktik faydalar hələ uzaqdadır: "Belə alqoritmləri tapmaq və nəzəri irəliləyişləri praktik inkişaflara çevirmək əhəmiyyətli əlavə tədqiqat tələb edəcək," OpenAI yazdı. Məqalə özü, nəticənin hər NP probleminin subekspozisiyal vaxtda həll oluna biləcəyini göstərmədiyini bildirir, buna görə də P ilə NP, asanlıqla yoxlanılan hər problemin eyni zamanda asanlıqla həll edilə biləcəyini sualı açıq qalır.

Sadə sözlə, P, kompüterlərin səmərəli şəkildə həll edə biləcəyi problemlər sinfidir, NP isə təklif olunan həllərin səmərəli şəkildə yoxlanıla biləcəyi problemlər sinfidir. Beləliklə, P ilə NP - asanlıqla yoxlanılan hər problemin eyni zamanda asanlıqla həll edilə biləcəyini sualı açıq qalır.

Anthropic, riyaziyyat müharibələrini itirmək istəmədiyi üçün, Claude-a aid "3-SAT üçün 2^o(n) Vaxt Alqoritmi" adlı bir məqalə dərc etdi və 26 oktyabr tarixli. Eyni zamanda ETH problemini də ələ alan bu depo, daxili tədqiqat Claude modelinin alqoritmi kəşf etdiyini bildirir və "nəticə tamamilə asimptotikdir və praktikada formulaların həlli haqqında heç nə demir."
OpenAI, Gizli AI Modelinin Yüzlərlə Açıq Riyaziyyat Problemini Bir Tələb ilə Həll Etdiyini Deyir---Riyaziyyatçılar Qəbz İstəyir

Claude, sentyabrda Fermatın Son Teoremini Lean-da formalizə etdi və Terence Tao bu cür üst-üstə düşmələri gözləyirdi. "İndi gördük ki, birinin bir problem üzərində işlədiyi xəbəri belə, orijinal tədqiqat layihəsinin tam potensialına çatmadan əvvəl onu düzəltmək üçün AI güclü bir cəhd başlata bilər," riyaziyyatçı sentyabrda yazdı.

OpenAI-nin Simons Fonduna son zamanlarda etdiyi 5 milyon dollar töhfəsi, tədqiqatçıların AI tərəfindən istehsal olunan nəticələri araşdırmasına və üzərində qurmasına kömək etmək üçün seminarlar, konfranslar və xüsusi proqramları maliyyələşdirəcək.