Засновник Cardano Чарльз Хоскінсон заявив 9 вересня, що штучний інтелект просунувся у формальній математиці далі, ніж він очікував.
Підсумок
- Засновник Cardano Чарльз Хоскінсон заявив, що математичний прогрес штучного інтелекту значно перевищив його попередні публічні очікування.
- OpenAI повідомляє, що приблизно 10 000 агентів створили розв'язок рівнянь Нав'є–Стокса протягом 88 годин загальної роботи.
- Clay досі класифікує задачу Нав'є–Стокса як нерозв'язану до публікації, рецензування та широкого математичного визнання у світі.
- Хоскінсон висловив занепокоєння щодо конфіденційності для дослідників, які вводять неопубліковані роботи в централізовані хмарні системи ШІ онлайн.
- OpenAI заперечила доступ до приватних робіт, але не змогла виключити, що знеособлені дані використання впливають на покращення моделей.
Його коментарі з'явилися після заяви OpenAI про те, що внутрішня система створила розв'язок проблеми тисячоліття Нав'є–Стокса.
Під час трансляції Хоскінсон назвав повідомлені можливості «досить вражаючими». Однак він також порушив невирішені питання щодо походження роботи та конфіденційності досліджень, поданих до хмарних сервісів ШІ.
Засновник Cardano каже, що ШІ вийшов за межі інструментів співпраці
Хоскінсон сказав, що спочатку очікував, що формальні системи допоможуть більшим командам математиків співпрацювати та перевіряти докази, написані людьми. Він не очікував, що великі мовні моделі так швидко генеруватимуть повні докази самостійно.
«Ми ніколи не передбачали, наскільки ШІ втрутиться», — сказав Хоскінсон. Він додав, що ідея повного написання доказу ШІ раніше здавалася «досить далекою».
Хоскінсон має прямий зв'язок із дослідженнями формальної математики. У 2021 році він пожертвував 20 мільйонів доларів Університету Карнегі-Меллона на створення Центру формальної математики Хоскінсона, згідно з оголошенням університету.
Його останні коментарі також відповідають ширшим експериментам Cardano зі штучним інтелектом. Як раніше повідомляло crypto.news, Хоскінсон захищав експерименти з агентами ШІ Cardano, що стосуються комунікацій, активності спільноти та екосистеми Midnight, орієнтованої на конфіденційність.
OpenAI стверджує, що її система розв'язала задачу Нав'є–Стокса
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 наполягала, що її доказ був розроблений незалежно і відрізнявся від роботи дослідників.
Хоскінсон стверджував, що суперечка має стосуватися дослідників, які працюють з неопублікованими ідеями. Він сказав, що вчені, які використовують централізовані AI-сервіси, повинні розглянути, чи залишаються конфіденційними їхні запити, нотатки та журнали досліджень.
Наступний етап включатиме публічне вивчення статті OpenAI та формалізації Lean. Доки фахівці не переглянуть припущення та не будуть виконані формальні умови Clay, робота залишається заявленим рішенням, а не визнаним розв'язком.
