Смерть математики?
Це таки сталося. Вчора OpenAI опублікувала доведення однієї з проблем тисячоліття, про сингулярності у рівняннях Нав'є-Стокса. Ділюся суб'єктивними думками та прогнозами з цього приводу.
1) Це точно не кінець математики. Але дослідницький процес більше ніколи не буде таким, як раніше. Я бачу зміни в основному у негативну сторону, окрім того факту, що буде розв'язано більше проблем швидше.

2) Цілком ймовірно, що наступні N років суттєва перевага буде у тих математиків, у яких є доступ до потужніших моделей. Тобто, доля цієї науки перейде в руки корпорацій. Всі релевантні корпорації знаходяться в Америці. Політика цієї країни на сьогоднішній день абсолютно не підтримує міжнародну колаборацію, яка була ядром математичних досліджень останні століття. Мене не здивує, якщо найближчим часом почнуть з'являтися ліцензії на LLM моделі для математичного рісьорчу, доступні лише американським інститутам.

3) Якщо все доводитиме ШІ, потреба в вищій математичній освіті відпадає. Згодом це призводить до суттєвого пониження рівня шкільної математики. Через кілька поколінь лише нехтовно малий відсоток людства чув про "границю", "похідну", "інтеграл",... (звичайно, гіперболізую)

4) Вже пішов слух що OpenAI натренувала модель на неопублікованих результатах професора, який використовував Codex для роботи над дослідженнями і заливав у нього чернетки. Тобто у моделі буквально був доступ до того, про що не знав жоден математик у світі (майже). Подібні випадки призведуть до того, що математики перестануть ділитися будь-якими проміжними результатами та ідеями, і триматимуть в секреті навіть теми, над якими вони працюють. Вплив на колаборацію катастрофічний.

Залишайтесь щирими, креативними та відкритими, не переставайте досліджувати навколишній світ. Прогнози для математиків невтішні.