Штучний інтелект і математика: загроза чи новий виток розвитку?
Недавній перехід канадського математика Джейкоба Циммермана, лауреата престижної Філдсовської медалі, в команду OpenAI викликав жваві дискусії про майбутнє математичної науки. Циммерман відкрито висловив песимізм щодо перспектив професії, прогнозуючи, що незабаром штучний інтелект перевершить можливості спеціалістів у вирішенні математичних задач. “Я хочу, щоб люди усвідомили цю реальність”, — заявив він, натякаючи на майбутні зміни, які, на його думку, торкнуться самої суті математичних досліджень.
Зміст
Від арифметичних помилок до проривів на межі людських можливостей
Ще зовсім недавно, всього три роки тому, передові моделі штучного інтелекту допускали помилки в елементарній арифметиці. Пройшло небагато часу, і вони вже демонстрували результати, порівнянні з показниками найкращих школярів на математичних олімпіадах. Сьогодні ж системи ШІ здатні самостійно вирішувати складні, які не піддаються людському розуму задачі, над якими вчені бились десятиліттями.
Яскравим прикладом стало спростування моделлю OpenAI гіпотези Ердіша про одиничні відстані — проблеми, яку багато математиків вважали однією з ключових у дискретній геометрії. Не менш вражаючим стало виявлення моделлю Claude Fable контрприкла до гіпотези Якобі в просторах вищих вимірів. Нещодавно стало відомо, що внутрішня версія моделі Astra від OpenAI впоралася з десятьма великими відкритими проблемами, включаючи ті, що мають фундаментальне значення для всієї математичної науки. Ці досягнення, безумовно, змушують задуматися про кардинальні зміни, які несуть із собою технології ШІ.
Реакція наукового співтовариства: оптимізм і побоювання
Тим не менш, опитані журналістами спеціалісти, від відомих професорів до аспірантів, в більшості своїй налаштовані скоріше оптимістично. Багато відзначають, що ШІ вже зараз стає цінним інструментом у їхній дослідницькій діяльності, допомагаючи прискорити процес пошуку інформації та долати технічні складнощі. Професор Ю Дінг, лауреат Філдсовської медалі, порівнює цю ситуацію з традиційними викликами, які людство успішно долало в ході науково-технічного прогресу. На його думку, ШІ стане не заміною, а потужним доповненням до людського інтелекту, дозволяючи вченим зосередитися на генерації нових ідей і теорій, тоді як рутинні обчислення і пошук даних візьме на себе штучний розум.
Молоді вчені, такі як аспірант Василь Некрасов, вже активно використовують ШІ для прискорення роботи з літературою і заповнення прогалин у доказах. Він підкреслює, що мета — використовувати ШІ для роботи над своїми ідеями, а не для їх заміни. Однак, поряд з оптимістичними настроями, присутні й побоювання. Професор Джеремі Авіґад вказує на зростаючу нестабільність становища молодих спеціалістів. Крім того, існує ризик скорочення фінансування наукових досліджень, особливо в тих областях, які можуть бути визнані “застарілими” на фоні стрімкого прогресу в галузі великих мовних моделей.
Майбутнє математичних досліджень: від розуміння до відкриттів
Багато експертів вважають, що створення принципово нових концепцій і теорій — це та область, де штучний інтелект, принаймні в обозримому майбутньому, буде поступатися людині. Однак, як показує приклад Циммермана, межі можливостей ШІ постійно розширюються, і те, що сьогодні здається неможливим, завтра може стати реальністю.
Паралельно з технологічним розвитком, все більш актуальним стає питання про цінності, що лежать в основі заняття математикою. Теренс Тао, один з провідних математиків сучасності, виділяє кілька мотивів: розв’язання задач, створення нових теорій, пізнання світу, розвиток спільноти, навчання нових поколінь і пошук естетичної цінності. ШІ може прискорити досягнення одних цілей, потенційно відсуваючи інші. Виникає перспектива, коли математичні результати будуть отримані, але їхнє розуміння залишиться за межами людських можливостей.
Тим не менш, існує й інший погляд. Професор Деніел Ліотт припускає, що навіть при наявності доступу до “бібліотеки” всіх доведених теорем, математики не втратять мотивацію, а, навпаки, почнуть ставити нові, ще більш складні питання, прагнучи до глибокого особистого розуміння предмета.
Усвідомлюючи виклики та можливості, наукове співтовариство прагне виробити нові орієнтири. “Лейденська декларація” 2025 року стала спробою сформулювати цінності математичних досліджень і запропонувати рекомендації для вчених і розробників ШІ. Як зазначає математик Девід Бессіс, старі підходи, ймовірно, підуть у минуле, але їм на зміну прийде щось нове, обумовлене невгасимим прагненням людини до пізнання світу і розуміння математики.
