Засновник Cardano оцінює математичний прорив OpenAI

Засновник Cardano Чарльз Хоскінсон заявив 9 вересня, що штучний інтелект досягнув більших успіхів у формальній математиці, ніж він очікував.

Хоскінсон зазначив, що математичний прогрес штучного інтелекту значно перевищив його попередні очікування.

OpenAI повідомляє, що приблизно 10 000 агентів створили розв'язок рівняння Нав'є-Стокса за 88 годин роботи.

Clay все ще класифікує рівняння Нав'є-Стокса як невирішене, очікуючи публікації, рецензування та широкого математичного визнання у всьому світі.

Хоскінсон підняв питання конфіденційності для дослідників, які вводять неопубліковані роботи в централізовані системи штучного інтелекту в Інтернеті.

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

Його коментарі були зроблені після того, як OpenAI стверджувала, що внутрішня система створила розв'язок проблеми тисячоліття Нав'є-Стокса.

Під час трансляції Хоскінсон назвав заявлені можливості "досить вражаючими". Однак він також підняв невирішені питання щодо походження роботи та конфіденційності досліджень, поданих до хмарних служб штучного інтелекту.

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

"Ми ніколи не очікували, що штучний інтелект займе таку велику роль", - сказав Хоскінсон. Він додав, що ідея про те, що штучний інтелект повністю напише доведення, раніше здавалася "досить віддаленою".

Хоскінсон має безпосереднє відношення до досліджень у формальній математиці. У 2021 році він пожертвував 20 мільйонів доларів університету Карнегі Меллон для створення Центру формальної математики Хоскінсона, згідно з оголошенням університету.

Його останні коментарі також відповідають більш широким експериментам Cardano з штучним інтелектом. Як повідомляло crypto.news, Хоскінсон захищав експерименти з агентами Cardano AI, які стосуються комунікацій, активності громади та екосистеми Midnight, орієнтованої на конфіденційність.

OpenAI опублікувала своє дослідження 8 вересня. Компанія заявила, що внутрішня модель координувала приблизно 10 000 агентів і створила запропоноване рішення після 88 годин. GPT-6 Astra потім витратила ще 17 годин на формалізацію та перевірку аргументу в Lean.

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

Компанія також випустила аналітичну статтю та код Lean. Формалізація Lean забезпечує перевірку, що закодовані кроки випливають з заявлених припущень. Вона не встановлює незалежно, що кожне визначення та припущення точно представляє поставлену математичну задачу.

OpenAI заявила, що не планує претендувати на пов'язану премію в 1 мільйон доларів. Проте компанія описала свою роботу як розв'язання проблеми.

Інститут математики Clay все ще класифікує проблему Нав'є-Стокса як "невирішену". Його веб-сайт не визнав запропоноване доведення OpenAI як прийняте рішення на момент звіту.

Clay не приймає запропоновані рішення через прямі подання. Згідно з його правилами, рішення повинно з'явитися в кваліфікаційній публікації. Має пройти щонайменше два роки, і робота повинна отримати загальне визнання від світової математичної спільноти.

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

Оголошення також викликало увагу з боку математика Нью-Йоркського університету Трістана Бакмастера та дослідника Anthropic Левента Алпьоге. Дослідники працювали над пов'язаним результатом рівняння Ейлера, використовуючи підхід з впливом.

Бакмастер поставив під сумнів, чи могла приватна робота, введена в систему Codex OpenAI, сприяти результату компанії. Він не звинуватив у доведеному неправомірному вчинку, сказавши: "Я не знаю, чи були використані наші дані".

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

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

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

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