Прорив у Математиці: Штучний Інтелект Наближається до Розв’язання Гіпотези Рімана
Гіпотеза Бернхарда Рімана, що вже понад півтора століття залишається однією з найважливіших нерозв’язаних математичних загадок, стосується розподілу простих чисел. За її повне доведення, над яким досі б’ються найвидатніші уми, встановлено премію в 1 мільйон доларів США (приблизно 40 мільйонів гривень за поточним курсом 2026 року). Наразі значний поступ у цьому напрямку вдалося здійснити завдяки ще не опублікованій моделі компанії Anthropic.
Джерело зображення: anthropic.com
Сучасні системи штучного інтелекту досі не змогли повністю розв’язати цю проблему, проте продемонстрували прогрес, що перевищує найсміливіші очікування. Це досягнення, ймовірно, знову актуалізує дискусії щодо здатності ШІ робити фундаментальні відкриття, зокрема в царині математики. Компанія Anthropic повідомила, що їхня майбутня модель досягла значного просування у доведенні гіпотези Рімана, суттєво розширивши межі коректності для відомих рішень. Ініціатива виникла завдяки співробітнику лабораторії, який, не маючи глибокої математичної підготовки, запропонував моделі дослідити цю задачу, надавши їй півтора доби для самостійної роботи.
Деталі Проекту та Результати
За цей час модель перебрала 650 підходів до розв’язання проблеми, координуючи роботу 60 субагентів та згенерувавши 31 мільйон вихідних токенів. У Anthropic пояснили структуру команди:
- 2 субагенти відповідали за розробку основних математичних концепцій.
- 13 субагентів займалися генерацією нових варіантів рішень для цих концепцій.
- 30 субагентів намагалися (і не змогли) виробити нові ідеї.
- 13 субагентів виконували роль валідаторів, перевіряючи логічну коректність аргументів.
- Останні 2 субагенти допомагали у підготовці первинного звіту.
Результати дослідження були верифіковані двома штатними математиками компанії та формалізовані за допомогою платформи для обробки математичних доведень Lean.
ШІ у Світі Великої Математики
Останній рік був надзвичайно продуктивним для моделей ШІ в галузі складних математичних задач. Системи, подібні до тих, що вирішували задачі Пала Ердеша, демонструють ще вражаючіші результати з появою потужніших версій. Зокрема, OpenAI повідомила про розв’язання десяти складних завдань за допомогою моделі Astra, а інша розробка Anthropic спростувала давню гіпотезу Якобіана. Ці успіхи викликають неоднозначну реакцію в математичній спільноті: з одного боку, захоплення, з іншого — занепокоєння. Існує усталений стандарт, який вимагає, щоб математичні доведення “приписувалися конкретним авторам, які несуть відповідальність за їх відкриття та правильність”. Водночас, лунають думки, що математичні теореми не обов’язково мають бути пов’язані з іменами окремих вчених, подібно до того, як більшість зірок у Всесвіті не мають власних назв.
Примітка: Згадані сервіси та моделі ШІ, як правило, доступні глобально, проте їх локальна інтеграція та доступність в Україні можуть варіюватися.
Порада від Soft Portal:
Ця новина є надзвичайно важливою для всіх, хто цікавиться сучасними технологіями та потенціалом штучного інтелекту. Прогрес у розв’язанні фундаментальних математичних задач, таких як гіпотеза Рімана, свідчить про революційні зміни у науці та відкриває нові горизонти для досліджень. Це дає змогу краще зрозуміти, як ШІ може трансформувати наше майбутнє.