​Останнім часом все більше і більше стає популярною темою ШІ, і як не дивно воно зачепило свого творця - нашу улюблюну Математику. Особливою увагою стало рівняння Нав'є-Стокса та нібито його вирішення

Це породжує сумніви і страх про майбутню роботу математиків як машин з перетворенням кофе на теореми. В тім, сучасні математики по різному оцінюють спільне майбутнє з ШІ

Наприклад, філдсівський лауреат Джейкоб Ціммерман припинив приймати аспірантів, бо поки аспірант традиційно працюватиме над однією задачею 4 роки, алгоритм може розв'язати її в рази швидше і інші математики просто продивляться доведення і подкеригують. Праця студента просто втратить наукову новизну та сенсу

З іншого боку, Теренс Тао дивиться в майбутнє оптимістичніше: За його словами, математикам треба змістити свою увагу від "першовідкривання" до "перевірки теорем". Бути тими математиками які зможуть успішно перевіряти та "перетравлювати" згенеровані машиною доведення

ШІ просто забере на себе громіздкі обчислення та рутинні перевірки, ставши нашим найпотужнішим інструментом. Але на щастя - у нас є АІ-лабораторія професора В. М. Горшкова - де ми можемо змінювати сприйняття навчання у еру ШІ, вчити матеріали машинного навчання та творити майбутнє не уникаючи його, а свідомо використовуючи

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

Для математиків сам процес пошуку та доведення є самоціллю. Якщо машини масово видаватимуть готові розв'язки, ми ризикуємо втрати глибокий особистий зв'язок зі своїми відкриттями