Прогрес моделі Anthropic
12 серпня о 14:30 було опубліковано матеріал про нову невипущену модель Anthropic, яка досягла прогресу в дослідженні гіпотези Рімана. Це математичне питання, що стосується розподілу простих чисел, залишається нерозв'язаним вже понад 150 років. За доведення гіпотези Рімана призначено винагороду в 1 мільйон доларів, проте на момент публікації жоден дослідник не отримав цю винагороду.
Згідно з інформацією, наданою виданням TechCrunch, модель Anthropic самостійно координувала свою роботу протягом приблизно 36 годин. За цей час вона перевірила 650 різних ідей, залучила 60 ШІ-агентів і згенерувала близько 31 мільйон токенів. Модель змогла збільшити нижню межу кількості розв'язків, для яких справедливість гіпотези була підтверджена. Результати роботи були перевірені двома математиками Anthropic, і доказ був формалізований за допомогою Lean.
Роль штучного інтелекту у математиці
У процесі роботи над гіпотезою Рімана, 2 агенти займалися розробкою ключових математичних ідей, 13 агентів допомагали з пошуком рішень, тоді як інші агенти перевіряли аргументи або працювали над підготовкою початкового тексту дослідження. Цей випадок є одним із багатьох, коли штучний інтелект виявляє свою корисність у сфері математики. Раніше, у 2026 році, ШІ вже допомагав розв'язувати низку задач Ердеша, а OpenAI повідомляла про 10 математичних результатів, отриманих внутрішньою моделлю Astra. Anthropic також має окрему роботу зі спростування гіпотези Якобіана.
Останнім часом у світі математики зростає обговорення впливу штучного інтелекту на традиційні принципи математичної науки. У червні група математиків підписала декларацію, в якій висловила побоювання, що ШІ може змінити ці принципи. В декларації йшлося про те, що автори доказів мають особисто відповідати за їхню правильність. Лауреат Філдсівської премії Тімоті Ґоверс зазначав, що вплив ШІ може змінити математику не лише проблемним, а й позитивним чином.
«Вплив ШІ може змінити математику не лише проблемним, а й позитивним чином.»
Тімоті Ґоверс
Прогрес моделі Anthropic у дослідженні гіпотези Рімана підкреслює зростаючу роль штучного інтелекту в математичних дослідженнях. Цей випадок може стати важливим етапом у розвитку співпраці між математикою та технологіями, що використовують ШІ. Водночас, зростаюче обговорення етики та відповідальності у використанні ШІ у математиці може призвести до формування нових стандартів і принципів у цій галузі.
Важливо зазначити, що прогнози експертів щодо впливу штучного інтелекту на людський інтелект стають все більш актуальними, особливо в контексті останніх досягнень у математичних дослідженнях. Цей розвиток викликає численні дискусії про можливості та виклики, які постають перед наукою, коли технології беруть на себе дедалі складніші завдання.