Конец математики, какой мы её знали. Теренс Тао предложил «Математику 2.0»
Конец математики, какой мы её знали. Теренс Тао предложил «Математику 2.0» На днях OpenAI устроила грандиозный слив математических рукописей. Компания открыла доступ к сотням решений сложных открытых задач от своей экспериментальной модели. Казалось бы, пора радоваться торжеству технологий. Однако реальные исследователи во главе с лауреатом Филдсовской премии Теренсом Тао забили тревогу. Проблема кроется в самом подходе к фундаментальной науке. Раньше над одним доказательством гении бились десятилетиями, попутно открывая смежные области и методы. Теперь машина выдает результат моментально, совершенно не объясняя логику. Да, часть из 372 групп результатов проходит проверку кодом через систему Lean. Но представьте ситуацию. ИИ создал стопроцентное лекарство от рака, оно работает на тестах, но ни один живой человек на планете не понимает химию процесса. Кто-нибудь станет такое принимать? Математики тоже не хотят верить слепым ответам, которые могут оказаться тупиком или банальным совпадением. Глобально разворачивается смерть классической науки в прямом эфире. Тао предлагает смириться и перейти на концепцию Математики 2.0. Теперь ценность ученого будет измеряться не способностью решить задачу, а умением понять и разобрать на запчасти машинный ответ. Профессуре придется переквалифицироваться в переводчиков с нейросетевого на человеческий. Иначе индустрия рискует оказаться в мире, где технологии работают магическим образом, а люди просто жмут на кнопки без малейшего понимания физики процесса. #Нейросети #Наука #Аналитика @SecLabNews
Канал в каталоге MAXimeter
11 648 подписчиков · IT и технологии