OpenAI доводить, що ETH є хибним, а Crypto Twitter має запитання

OpenAI стверджує, що ETH є хибним, і реакція Crypto Twitter була такою, як ви й очікували. "Чортові алгоритмічні трейдери просто знищили $ETH," написав користувач на ім'я Такумі в X, тоді як Ендрю Цзян жартував: "Віталік був дуже тихим з моменту, коли це стало відомо."

Але заспокойтеся, дегени, ETH, про який йдеться, це Гіпотеза експоненційного часу, комп'ютерна гіпотеза з 1999 року, яка не має нічого спільного з Ethereum, його ціною або співзасновником Віталіком Бутеріним. Тож, крипто-брати, ви можете дихати спокійно.

OpenAI опублікувала 67-сторінкову статтю, в якій стверджується, що її ШІ знайшов спосіб обійти цю гіпотезу, і люди, які її запропонували, зараз перевіряють цю роботу.

Комп'ютерні вчені Рассел Імпагліаццо та Рамамохан Патурі запропонували ETH разом з Френсісом Зейном, і вона стверджує, що класична логічна задача під назвою 3-SAT (знаходження істинних або хибних налаштувань, які задовольняють купу правил, три варіанти за раз) не може бути вирішена значно швидше, ніж шляхом спроби кожної комбінації. Сотні статей вважають це, щоб показати, що проблеми в теорії графів, обчислювальній біології, базах даних і геометрії не можуть бути вирішені швидко, відповідно до OpenAI.

Myriad: Куди йде ETH далі? Натисніть, щоб зробити свій прогноз.

Іншими словами, ETH є картою того, що комп'ютери, ймовірно, ніколи не зможуть зробити швидко, і OpenAI стверджує, що її модель просто перерисувала її. "Спростування ETH знову відкриває питання про те, наскільки швидшими можуть стати ці завдання," написала компанія у своєму блозі, "і може допомогти спрямувати пошук кращих алгоритмів."

Стаття, датована 17 жовтня та переглянута 25 жовтня, описує детермінований алгоритм (один без випадковості), який підраховує кожне задовольняюче призначення таких головоломок за підекспоненційний час, що означає, що робота зростає повільніше, ніж будь-яка експоненціальна в кількості змінних. Підрахунок рішень є складнішим, ніж визначення, чи існує одне, тому складніша робота приносить легшу разом безкоштовно.

OpenAI стверджує, що її ШІ знайшов спростування 16 жовтня і що воно було формалізоване в Lean, програмному забезпеченні, яке механічно перевіряє кожен логічний крок, 17 жовтня. Обидва знаходяться на GitHub, так само, як і її 722 математичні манускрипти на початку цього місяця, з яких лише 162 супроводжувалися комп'ютерно перевіреним основним результатом.

Імпагліаццо, Патурі та Райан Вільямс з MIT очолюють незалежну перевірку, і вони обережні щодо своєї ролі. "Наша участь не повинна сприйматися як сертифікація заяви," написали троє в відкритому листі, додавши, що "результат такої значущості вимагає ретельного, незалежного аналізу та розуміння, що інші можуть відтворити, поставити під сумнів і розвивати."

OpenAI стверджує, що учасники не підписували жодних угод про нерозголошення і працювали безкоштовно, а компанія погодилася опублікувати всі сирі дані та профінансувати конференцію з цього результату.

Практичні вигоди ще далеко: "Знайти такі алгоритми та перетворити теоретичні досягнення на практичні поліпшення вимагатиме значних подальших досліджень," написала OpenAI. Сама стаття стверджує, що результат не показує, що кожну NP-проблему можна вирішити за підекспоненційний час, тому питання P проти NP, питання про те, чи можна вирішити кожну проблему з легко перевірюваною відповіддю також легко, залишається відкритим.

Простими словами, P - це клас проблем, які комп'ютери можуть вирішити ефективно, тоді як NP - це клас проблем, чиї запропоновані рішення можна перевірити ефективно. Отже, питання P проти NP - питання про те, чи кожна проблема, відповідь на яку легко перевірити, також легко вирішується, залишається відкритим.

Anthropic, не бажаючи програвати математичні війни, потім опублікувала статтю, приписану Клоду, під назвою "Алгоритм часу 2^o(n) для 3-SAT" і датовану 26 жовтня. Репозиторій, який також займається проблемою ETH, стверджує, що внутрішня модель дослідження Клоду виявила алгоритм, і "результат є чисто асимптотичним і нічого не говорить про вирішення формул на практиці."
OpenAI стверджує, що секретна модель ШІ розгадала сотні відкритих математичних проблем за один запит --- математики хочуть підтвердження.

Клод формалізував теорему Ферма в Lean у вересні, і Терренс Тао передбачав таку накладку. "Ми тепер побачили, що навіть чутка про те, що хтось працює над проблемою, може викликати величезну кількість зусиль, підкріплених ШІ, щоб вирішити її, перш ніж оригінальний дослідницький проект встигне досягти свого повного потенціалу," написав математик у вересні.

Недавній внесок OpenAI в розмірі 5 мільйонів доларів до Фонду Сімонса профінансує семінари, конференції та спеціальні програми, щоб допомогти дослідникам вивчати та розвивати результати, отримані за допомогою ШІ.

Цей контент надано лише для загальних інформаційних цілей і не є фінансовою, інвестиційною, юридичною чи податковою консультацією. Події, нагороди, онлайн-акцій або пов’язану інформацію, згадана тут, не слід розглядати як рекомендацію, прохання чи запрошення до купівлі, продажу, торгівлі чи інших операцій з криптоактивами. Криптоактиви є дуже волатильними та можуть призвести до збитків. Доступність послуг, продуктів WEEX та пов’язаних із ними подій може відрізнятися залежно від регіону. Ви несете відповідальність за забезпечення відповідності вашої участі чинному місцевому законодавству та нормативним актам.