Будущее Dmitrii Zaytsev
7 065

«Пророчество Грефа» не сбудется из-за кризиса математики

Неоднозначное высказывание Грефа о ненужности математических школ – только вершина айсберга заблуждений о том, как нас всех вскоре заменит искусственный интеллект.

В закладки
Фото: goldvoice.club

С чего все началось?

Напомним, во вторник, 16 октября, на московском международном форуме «Открытые инновации» глава Сбербанка Герман Греф заявил, что узкоспециализированные «математические» школы – это пережиток прошлого. Также, по его мнению, математики и программисты вскоре повторят судьбу юристов и экономистов, которыми рынок труда пресытился ранее. Более того, он считает, что уже сейчас у работодателей нет проблем с поиском программистов.

Нужны все специальности, нужны люди всех дарований и таланты. И не нужны нам математические школы. По-моему, это пережиток прошлого. Я категорический противник математических школ <…> Так было в Советском Союзе, и мне кажется, что это не очень хороший опыт.

Герман Греф
президент и председатель правления Сбербанка России

(Цитата по «РИА Новости»)

За бедного Грефа замолвите слово

В выступлении спикера немедленно усмотрели посыл «математики не нужны» (и его вариацию «программисты не нужны»). Надо ли говорить, что после этого блогосфера в едином порыве заочно порвала Германа Грефа «на тряпочки». Было все: обвинения в том, что граждан намеренно лишают качественного образования, что «избавляются» от мыслящих людей, что все летит в тар-тарары, что сам автор высказывания даже не понимает, о чем говорит.

Яков Лило, технический директор «Hello World! Technologies»:

- Мне как выпускнику физмат школы, конечно, грустно слышать такие предложения. Интуитивно я однозначно против. Особенно «порадовало» утверждение о том, что у работодателей нет проблем с программистами. Спикер, видимо, не так хорошо ориентируется в этой области и не в курсе, что сегодня программист с пятью годами опыта работы получает по одному приглашению на вакансию в неделю. Правда, половина этих предложений поступает из-за границы. Возможно, идея на самом деле звучит так: «Давайте перестанем их обучать, чтобы они не уезжали» - и это совсем печально. Еще не могу от себя не добавить, что прямо сейчас стали популярны и продолжают развиваться блокчейн-технологии, которые внезапно базируются на серьезной математике. И я бы, в свою очередь, предложил бояться отстать от этого паровоза, а не перенасытиться математиками.

Восстала против Грефа даже министр просвещения Ольга Васильева. Она подчеркнула, что математические центры России необходимы и их будет становиться больше. «За последние 10 лет наши студенческие команды по информатике и программированию были победителями, равных им нет», — цитирует Васильеву информагентство RNS.

Надо понимать, что Греф — это, в первую очередь, бизнесмен, и его высказывания надо воспринимать через призму того, что, скорее всего, для бизнеса такого количества математиков и программистов действительно уже достаточно и больше не требуется. Спикер не пояснил, почему он так считает, в то же время, возможно, что его слова были неверно истолкованы.

Евгений Тюменцев
генеральный директор «Hello World! Technologies»

Возможно также, что СМИ неверно расставили акценты.

Судя по всему, Греф, выступая против одностороннего развития молодежи, имел в виду то, что если человек _только математик_ или _только программист_, то в современных реалиях ему плохо придется. И чем дальше, тем меньше работодателю нужны такие «однобокие» специалисты.

Если же человек с навыками программирования и знанием математики разбирается и в других, не смежных, предметных областях (например, в финансах, биологии, лингвистике, юриспруденции и пр.), может решать задачи, связанные с ними – он получает +100 очков к востребованности. И к этой суровой реальности неплохо было бы готовить молодых специалистов заранее.

В последнее время все чаще нахожу подтверждения тому, что в выигрышном положении находятся легко обучаемые люди и те, кто свободно ориентируется в нескольких областях знаний. И в программировании целые разделы литературы посвящены вопросу взаимодействия с профессиональной областью заказчика, тот же domain-driven design (DDD). Будь у каждой компании программист, обладающий пулом знаний в сфере деятельности заказчика, всем было бы проще.

Яков Лило
технический директор «Hello World! Technologies»

Еще один нюанс состоит в том, что молодежь, в большинстве своем, хочет на выходе получить прикладную специальность, дающую понимание, как и где применить полученные знания. Любая наука «сама в себе» не так востребована. К примеру, на матфаке ОмГУ одна из самых популярных специальностей у студентов, помимо программирования - прикладная математика, а именно исследование операций, методы оптимизации, где все задачи приходят «из жизни».

Так в чем же проблема?

Так или иначе, сам автор скандальной реплики не пояснил, почему он так считает. Тем не менее, сегодня мы и без того часто слышим сенсационные заявления о том, что в будущем программисты будут никому не нужны: искусственный интеллект (ИИ) заменит не только их, но и математиков, юристов, экономистов и т.д.

Давайте вместе с экспертами «Hello World! Technologies» порассуждаем о том, почему в современных реалиях это всего лишь фантазия и почему в ближайшие десятки лет ИИ этим специальностям «не угрожает». А также заострим внимание на том, что если юриста до определенных пределов может заменить программа, то с математиком это «не прокатит».

Как кризисы выдали «индульгенцию» математикам

Небольшой экскурс в историю. На рубеже XIX и ХХ века пошатнулся на тот момент незыблемый и, казалось, надежный фундамент математики – теория множеств, созданная во второй половине XIX века Георгом Кантором. Обнаружились так называемые парадоксы теории множеств, сущность которых заключается в том, что с помощью логически верных рассуждений удавалось доказать одновременно некое утверждение и его отрицание.

Это означало, что теория множеств противоречива, то есть, с ней совсем беда – доказать можно, буквально, все, что угодно.

И каждый раз, когда парадоксы теории множеств возникали, они приводили к кризисам математики. Таких кризисов было несколько. Как уже ясно из вышесказанного, они были связаны, в том числе, с понятием истины. То есть, что считать истинным, правильным утверждением?

В поисках выхода из кризиса математики сформировали несколько школ, которые яростно противостояли друг другу. Начало ХХ века ознаменовалось тем, что Давид Гильберт предпринял попытку формализации математических доказательств. Что он хотел сделать? Он акцентировал внимание на том, что основа математической теории строится на аксиомах – то есть, утверждениях, которые считаются априори истинными (например, аксиома о том, что две параллельные прямые не пересекаются в евклидовой геометрии) – их не доказать и не опровергнуть, но мы считаем, что эти факты достоверны.

Аксиомы становятся фундаментом теории, и с помощью формальных методов (правила вывода) из них следуют другие факты. Если мы берем факты, которые считаем истинными, и из них получаем другой факт с помощью определенных правил, специальных законов математической логики, системы вывода, то мы опять получаем истинный факт. Если с его помощью мы получим еще один факт - он тоже будет считаться истинным. Главное, чтобы система была не противоречива, как это вышло с теорий множеств!

Цель Гильберта была в том, чтобы описать вообще всю математику через такие формализмы – это называлось Гильбертовой программой. Если бы эта программа удалась, то, в принципе, математика и программиста можно было бы легко заменить вычислительной машиной, которая строила бы доказательство за доказательством, потому что они были бы тогда механистичны, и не было бы никакой проблемы в том, чтобы получить их без участия человека.

Фото: cryptellect.net

Справедливости ради, упомянем, что главными противниками формалистской школы Гильберта были интуиционисты во главе с Лёйтзеном Брауэром. Но постоянных последователей эта школа к себе так и не привлекла.

Школа Гильберта же практически справилась с поставленной задачей и почти спасла математику, но все разбилось о так называемую арифметику Пеано (это набор аксиом, которые описывают натуральные числа). По сути, все в один миг свелось к обоснованию непротиворечивости натуральных чисел.

В 1931 году Гильбертова программа, буквально, рухнула – были опубликованы две теоремы Курта Гёделя, которые разнесли ее в пух и прах. Австрийский логик, математик и филосов обнародовал Теорему Гёделя о неполноте и вторую теорему Гёделя.

Это Курт Гёдель. Скажем ему "Спасибо".

Первая теорема говорит о том, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула. То есть, если мы имеем набор аксиом, содержащих арифметику Пеано - этакий фундамент, который опирается на натуральные числа - то, если этот набор аксиом не противоречив, значит существуют такие факты, которые сами по себе истинны, но их нельзя вывести в этом наборе аксиом. Обнаружились недоказуемые вещи в этой системе аксиом.

Следствием из второй теоремы Геделя стало то, что непротиворечивость арифметики Пеано силами этой арифметики обосновать нельзя. И главная «трагедия» в том, что на данный момент вообще неизвестно, эта арифметика Пеано - набор аксиом, «законов», описывающих натуральные числа - он все-таки противоречив или нет. Де-факто он считается не противоречивым, потому что ни разу еще не удалось свести эти аксиомы к противоречию. Но реального доказательства так и не было получено.

Но если вдруг окажется, что этот набор аксиом противоречив, то многие результаты, которые были получены математиками в ХХ веке, могут быть поставлены под сомнение.

Фото: Obrazovanie.by

Таким длинным путем мы пришли к тому, что даже сами основы математики не такие четкие и формализованные, как может показаться - они достаточно зыбкие.

Теперь если мы представим машину, которая умеет делать выводы и считать, даже в рамках ограниченной системы, это совсем не значит, что она сможет доказать те факты, которые нам нужны или прийти к нужному выводу. Предположим, эта «машина» у нас – это робот-доктор, который лечит людей. Возможно, в один прекрасный день он столкнется с таким заболеванием, которое с его точки зрения будет неизлечимым. Но в реальности для него болезнь неизлечима не потому, что это действительно так, а потому, что тот набор аксиом, который заложен в робота, не позволяет найти решение.

Грубо говоря, теорема Геделя о неполноте выдала «индульгенцию» для математиков. Можно выдохнуть! Математики нужны, как минимум, для того, чтобы создавать новые теории, проверять, что эти теории не противоречивы, то есть, на основании их можно строить выводы. Между прочим, если взять набор непротиворечивых теорий и объединить, то, скорее всего, получится противоречивая теория. Так что вопрос об автоматизации таких процессов сейчас даже не стоит.

Как остановить прогресс с помощью ИИ?

В то же время, надо понимать, что любая теория, которая создается математиками, неточно описывает окружающий мир и нашу жизнь. Ни одна теория не может полностью отразить все то, что происходит вокруг нас. Поэтому любые модели не точны. И, возможно, если какие-то факты, полученные с помощью ИИ, переносить обратно в жизнь, окажется, что они совершенно не верны.

Самый простейший пример – это математический маятник, который проходится в курсе физики в средней школе. Это мощная математическая модель, она работает по своим законам, но учителя всегда отмечают, что в реальной жизни она этого делать не будет. У этой модели мы не учитываем силу трения и, соответственно, реальные маятники в жизни ведут себя совершенно иначе, нежели математический маятник. Тем не менее, с его помощью можно понять некоторые закономерности и законы природы, хотя бы отчасти.

Это еще один довод в пользу того, что живые люди-математики нужны этому миру и предпосылок к тому, что они когда-то исчезнут, пока не наблюдается. По крайней мере, не с той математикой, которой мы располагаем сейчас.

Вообще, среди самих математиков есть противники механистических подходов к формализации, которые считают, что любая попытка такой формализации способна описать только текущее состояние математики. Соответственно, если действовать только так – человечество просто остановится в своем развитии, потому что новые методы, схемы, математические объекты, не будут укладываться в эту формализацию.

Сами по себе попытки все описывать с помощью математических моделей – очень опасное занятие. Предположим, модель говорит, что некое явление или действие невозможно. Если люди начнут слепо доверять выводам машины, то произойдет подмена понятий: невозможно в рамках данной модели и невозможно в принципе. Таким образом, можно не только ошибок наделать, но и остановить прогресс, погубить людей и разрушить мир.

Кадр из сериала «Доктор Кто» ( англ. «Doctor Who»)

Например, какому-то больному будет отказано в лечении, потому что якобы он безнадежен. Хотя это всего лишь модель всему виной и, найдя другую, человеку можно было бы помочь. Или, допустим, система решит, что самолет или подводная лодка находится в ситуации, когда бороться дальше за выживание бессмысленно – по всем параметрам это невозможно. Смысла что-то предпринимать нет.

Фото: cryptowiki.ru

Для таких ситуаций как раз и нужен человек! Чтобы попытаться найти решение, которое выходит за рамки обычного или предсказуемого, машинного поведения.

Подобные ситуации очень хорошо описаны фантастами: в критической ситуации человек находит выход из безвыходной ситуации, хотя в повседневной жизни машины, как правило, превосходят.

Опыт, стоимостью в 500 атомных электростанций

Что касается программирования, то интерес к формализации и доказательствам возник в 60-х годах ХХ века после публикации работы Чарльза Хоара «Аксиоматический базис языков программирования», в которой он ввел формальную систему аксиом для языков программирования. То есть, он описал подход, который сейчас называется «логика программирования» или «исчисление программирования» - о том, как можно формализовать доказательства корректности компьютерных программ.

Сэр Чарльз Э́нтони Ри́чард Хо́ар - английский учёный, специализирующийся в области информатики и вычислительной техники.

За «логику программирования» Хоар получил множество премий и наград и стал одним из уважаемых специалистов в отрасли, в 70-х годах было «модно» развивать эту систему аксиом для введения новых конструкций языков.

Но, как и в случае с Гильбертовой программой, в один прекрасный день все рухнуло. В 80-х вышла статья под названием «Критика логики Хоара», в которой сообщается, что эта система аксиом хорошо работает, пока речь идет о примитивных конструкциях – циклах, ветвлениях и пр. Когда дело доходит до процедур, функций, то, как правило, эта система аксиом становится противоречивой.

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

Эта ситуация возникла из-за того, что в языках программирования существует так называемая «проблема остановки машины Тьюринга» – проблема разрешимости. Алан Тьюринг доказал в 1936 году, что проблема остановки неразрешима на машине Тьюринга. Грубо говоря, это ситуация, когда невозможно по заданному входу определить, остановится программа или зациклится.

В общем, все попытки построить непротиворечивую систему аксиом приводили к тому, что тут же находились контрпримеры, которые позволяли быстро обнаружить противоречия.

Что эта информация дает нам в рамках данного обсуждения? А то, что если мы сегодня попытаемся построить некую компьютерную программу, искусственный интеллект, который будет писать код за программистов, то она, конечно, справится с задачей, но правильно ли будет работать этот код, будет он корректным или некорректным, мы никогда не узнаем, потому что в основе лежит противоречивый набор аксиом.

А значит, машине по-прежнему нужен человек, который будет оценивать результаты ее работы. По крайней мере, на текущем уровне развития теории вычислительной техники и теории программирования.

Фото: robo-hunter.com

Кроме того, мы должны помнить, что есть множество задач, где ошибки просто недопустимы. Например, управление самолетом или атомной станцией. Мы не можем себе позволить после взрыва на АЭС просто сказать, что алгоритм принял ошибочное решение, пошел по неверной ветке и мы все исправили, запретив ему в будущем по этой ветке ходить. Не говоря уже о том, что, в теории, может существовать еще 500 таких веток и нам понадобится еще 500 раз взорвать станцию, чтобы понять, что вот наконец-то алгоритм у нас работает корректно.

Успехи, которые сейчас достигнуты в искусственном интеллекте, связаны с конечными областями знаний, где набор вариантов действий не так велик. Узкоспециализированные задачи можно отдать на откуп соответствующим алгоритмам. Таких задач много, постоянно появляются все новые и новые. Из-за этого и возникает иллюзия того, что в будущем не будут нужны ни математики, ни программисты. Но на самом деле, нет фундаментальной базы для того, чтобы человечество могло себе это позволить.

Рефлексия

Но какое же самое уязвимое место у современных искусственных интеллектов? Давайте, к слову, оговоримся, что ИИ – это всего лишь название, которое навязано нам маркетингом. На деле мы имеем просто алгоритмы, которые умеют решать задачи в определенной области. Самое слабое их место – это рефлексия, а точнее, отсутствие рефлексии, то есть, невозможность оценивать результаты собственной работы.

Сейчас для всех алгоритмов оценкой результатов работы занимается человек.

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

Всю жизнь – на доказательство теоремы!

Сейчас в стане математиков обсуждается еще одна проблема: есть теория о том, что к 2075 году доказательства станут настолько большими и длинными, что одному человеку будет не под силу за всю жизнь понять даже одно из них. Он просто физически не сможет прочитать и осознать всего лишь одно доказательство на протяжении всех отпущенных ему лет.

Фото: modernoffice.ru

То есть, доказательства будут не супер «заумные», а супер длинные. И понятно, что они, вероятнее всего, будут строиться с помощью компьютерных программ. Будет определена некоторая четкая область, в этой области будет доказана непротиворечивость теории и поступит вывод. Но опять же возникают две проблемы.

Во-первых, истинность доказанного факта будет зависеть от доказательства корректности работы соответствующего алгоритма. Как доказать, что алгоритм работает правильно? С этим тоже беда.

Во-вторых, поскольку ни один человек не может доказать или опровергнуть такие сложные доказательства, то фактически вопрос истинности этого доказательства – это будет вопрос договоренности в сообществе математиков. Они должны прийти к консенсусу в том, что тот или иной факт все считают правильным и корректным.

Нас ждут веселые и интересные времена, и сейчас человек с тревогой готовится к тому, что скоро он вообще перестанет понимать и осознавать те процессы, которые происходят вокруг него. Это и называется сингулярностью.

Но все же, исключить из этих процессов самого человека, скорее всего, не удастся. По крайней мере, на том уровне развития теории, который мы имеем сейчас. В ближайшие несколько десятков лет программисты, математики и тестировщики могут спать спокойно.

Математики vs юристы

Хотелось бы обратить внимание еще и на такой вопрос: почему нельзя сравнивать математиков и юристов в плане возможности заменить их работу деятельностью ИИ?

Дело в том, что у юристов предметная область конечна – это свод законов. Он, конечно, невероятно огромен, это разные Кодексы, их приложения и дополнения и т.п. Но это всего лишь конечное число статей. Каждый пункт каждого кодекса, всякая норма – это, по сути дела, аксиома. Так что в данном случае, грубо говоря, речь идет о конечном наборе аксиом.

У математиков, в силу того, что периодически появляются новые теории, предметная область все время расширяется, ее нельзя назвать конечной. Математики могут придумывать новые теории, новые математические объекты. Соответственно, их набор аксиом может постоянно пополняться. Плюс у математиков постоянно есть выбор, какой из имеющихся наборов аксиом брать в работу, а у юристов он всегда один и тот же.

Однако, на сегодняшний день нормы права настолько противоречивы, что один закон легко может исключать другой, а то и вступать в противоречие сразу с несколькими.

Это значит, что если выводы доверить машине, все будет зависеть от элемента случайности: какую цепочку построений вывода она применит. И можно получать результаты как «за» так и «против». Кроме того, постоянно издаются новые законы, и они тоже могут вступать в противоречие с существующими.

В такой ситуации юрист, например, судья – это тот человек, который может взвесить все факты. И его суд, вероятно, будет более справедлив. Вывод машины содержит элемент случайности, более того, эта случайность может закрепляться: даже если вывод будет неверный, но машина уже применила эту ветку в своих рассуждениях, то, вероятнее всего, она будет ходить по ней и дальше.

Еще один нюанс состоит в том, что машина не сможет оценить такие вещи, как степень раскаяния, уровень состояния аффекта или готовность сотрудничать со следствием. В таких случаях верно истолковать ситуацию может только человек, да и то не всякий.

Фото: robo-hunter.com

Но так или иначе, у юристов набор аксиом конечен, хоть и огромен с точки зрения простого человека, а у математиков это открытое пространство. Поэтому сравнивать юристов с математиками и программистами не совсем корректно – у них разные предметные области и разные данные.

Механизм построения цепочек рассуждений примерно один и тот же, но сама предметная область кардинально отличается. Верно одно – исключать человека полностью и здесь не представляется возможным.

Вместо резюме: немного радия

Сейчас в сфере машинного обучения происходит примерно то же, что во времена изучения радиоактивных веществ, когда еще не знали побочных эффектов от взаимодействия с этими химическими элементами.

Все мы знаем легендарное имя «матери современной физики» Марии Кюри, которая чуть ли не голыми руками работала с полонием и радием. Ее личные вещи до сих пор заражены радиоактивными веществами и безопасно потрогать их можно будет примерно через 1600 лет.

Мария Кюри

Так вот, тогда Кюри видела только положительные стороны изучаемого предмета, но побочных эффектов еще не знала. А после смерти ее тело пришлось поместить в гроб, обшитый свинцовыми листами толщиной в 2,5 сантиметра.

Сейчас у человечества есть другая мечта, а что будет ее обратной стороной – неизвестно.

Материал опубликован пользователем. Нажмите кнопку «Написать», чтобы поделиться мнением или рассказать о своём проекте.

Написать
{ "author_name": "Dmitrii Zaytsev", "author_type": "self", "tags": [], "comments": 81, "likes": 33, "favorites": 39, "is_advertisement": false, "subsite_label": "future", "id": 48774, "is_wide": false, "is_ugc": true, "date": "Mon, 22 Oct 2018 12:06:44 +0300" }
{ "id": 48774, "author_id": 214247, "diff_limit": 1000, "urls": {"diff":"\/comments\/48774\/get","add":"\/comments\/48774\/add","edit":"\/comments\/edit","remove":"\/admin\/comments\/remove","pin":"\/admin\/comments\/pin","get4edit":"\/comments\/get4edit","complain":"\/comments\/complain","load_more":"\/comments\/loading\/48774"}, "attach_limit": 2, "max_comment_text_length": 5000, "subsite_id": 199118 }

81 комментарий 81 комм.

Популярные

По порядку

Написать комментарий...
7

Кстати, не следует ли из теоремы Гёделя, что человеческий разум (если считать ее условно арифметической системой) сам себя познать не может, для этого ему нужен "внешний" разум, более "емкий" (в арифметическом смысле)?

Ответить
1

Да. Состояние системы нельзя оценить, находясь в ней.

Ответить
1

но с другой стороны, если взять пастуха и математика-гения, нельзя ли считать разум математика "внешней" и более емкой системой арифметики по сравнению с разумом пастуха?

Ответить
1

Смотря что считать критерием оценки. Пастуху достаточно «дважды-два», ему не нужно оперировать другими материями.

Ответить
4

В Сбертеха более 10 тыс сотрудников.
Возможно, Греф сопоставляет их количество и результат и говорит: "Всё, таких программистов больше не надо"

Ответить
0

Десять тысяч человек одних эникейщиков это наверное громко сказано, предполагаю, что цифра меньше на один регистр.

Ответить
0

Полно публикаций именно с этой цифрой. Думаю, там манагеров еще полно

Ответить
2

Так они целую нейросеть способны организовать :) Самую неповоротливую в мире.

Ответить
1

Вот тут у почты никто первенство не отожмёт.

Ответить
0

На этом строится весь маркетинг того же юпиэса, типа быстрей черепахи.

Ответить
3

Вообще-то 14 целых 2/5.
Похоже, математике точно п**дец.

Ответить
0

5 целых 3/5. Простите очкарика, минус с плюсом попутал:))

Ответить
1

Там обрезано решение, показано только преобразование 4 целых 10/15

Ответить
0

15х4 взятое в скобки это уже фейл))
Боюсь тогда представить, зачем там дальше такая простыня? Ведь центр композиции - киборг.

Ответить
2

Как высосать из пальца простыню текста?
Просто замени тезис "Мат. лицеи не нужны" на "Математика не нужна" и вперед.

Ответить
0

Нет, не из пальца, вот развернутая цитата: "“Хорошая новость заключается в том, что в этом мире нужны будут не только математики и программисты. Более того, я думаю, их всё меньше и меньше нужно будет. Поэтому, когда мы пытаемся сказать, что мы сейчас будем развивать специальности "математик" и "программист", мы попадаем ровно в такую же ловушку, как у нас было какое-то время назад с юристами и экономистами... Не нужны нам математические школы. По-моему, это пережиток прошлого. Я категорический противник математических школ, потому что математические школы - это там, где отбирают людей и пичкают их одним монопредметом."

Ответить
1

И как из этой цитаты следует "Математика не нужна"?

Ответить
0

Если нужно будет меньше математиков, то сама математика будет медленнее развиваться. Не стоит развивать то, что не нужно.

Ответить
1

Если нужно меньше математиков, значить объем работы для них уменьшился.
Это логично, потому что решение многих прикладных задач упрощается и автоматизируется.
Более того, в вашей цитате отдельно указано, что речь про владение монопредметом.
Если развитие инструментов и подходов к исследованиям приводит к тому, что часть работы бывшего R&D отдела с пачкой ресерчеров может выполнять человек, закончивший полугодовые курсы по датасаенсу - значит потребность в этих самых ресерчерах меньше.
До недавнего времени для решения многих задач из ML\DS\CV\etc проще было научить математика программировать, чем наоборот.
По мере того, как порог входа во все это снижается - проще становится докидать необходимых знаний разработчику, а хардкорных ресерчеров оставить на ресерч задач, а не прикладных.

Ответить
0

Да, но появляются новые задачи, возможно, совсем в другой области.

Ответить
0

Для абсолютного большинства компаний\сфер задач на ресерч всегда будет в разы меньше, чем задач на имплементацию\поддержку.
Если 20% прикладных специалистов уйдут в ресерч - объемы ресерча вырастут в разы. И совсем не факт, что такой прирост объема исследований будет нужен\выгоден компаниям.

Ответить
0

Потребность в математиках не ограничивается только потребностями компаний, плюс не факт, что компании заинтересованы в фундаментальных исследованиях, на которых можно потом делать прикладные вещи. Поэтому, по крайней мере, однобоко мерить потребность в людях какой-то профессии только потребностями бизнеса.

Ответить
0

Окей. Объясняю ещё раз.
Было N компаний, которым нужны были люди с хорошей математической подготовкой для решения двух категорий задач:
1) Прикладные задачи
2) Исследовательские задачи

Если для первой категории планка требований по математической подготовке падает (а это сейчас происходит), то люди с такими скиллами переключаются на вторую категорию задач.
Ну, или занимаются не-бизнесовыми исследованиями, whatever.
В любом случае, общая потребность в людях с такими скиллами падает по мере того, как порог входа для решения прикладных задач, ранее считавшихся наукоемкими, снижается.
Ровно про это было сказано. Никакого "математика не нужна" там нет.

Ответить
0

А смогут переключиться с прикладных на исследовательские?
Например, чаще происходит - математик может стать программистом, а вот, наоборот, гораздо реже.

Ответить
0

Окей. Напишу ещё раз:
Сейчас N математиков вынуждены заниматься прикладными задачами для бизнеса, потому что сделать из математика программиста - проще, чем наоборот.
По мере того, как решение прикладных задач упрощается (снижается порог входа) - всё меньше математиков требуется для решения прикладных задач, т.к. хватает обычных разработчиков. Следовательно математики, которые занимались прикладными задачами радостно идут обратно в исследовательские.

Ответить
1

Ой ли?! Лет сорок назад я легко брал тройной с гауссом остроградским а сейчас после дввдцатки работы на приикладных, .. бы их так, я вотрую производную от ех плохо беру... не надо колоть орехи часами, сэры...//

Ответить
0

Тут весь сыр бор именно из за физматшкол, а не из за самой математики.
Просто Омский юрист с трудом понимает, что это такое.
По факту в них часто и уровень остальных предметов выше, не только математики...
В целом идея дать возможность детям выбирать среду, подходящуюю им по уму, это важно и хорошо.
Часто тем же "гикам" в такой среде на порядки комфортнее, чем в школах с "хулиганским" уклоном

Ответить
2

Почему вообще пророчества Грефа должны сбываться? У него есть какой то авторитет? Или дружба с Путиным делает его пророком?

Ответить
0

У него там свой гуру есть, которого он возит с собой на всякие экономические форумы.

Ответить
1

Герман говорит о перенасыщенности рынка айти кадрами, а Тиньков говорит о их нехватке и спонсирует айти, финтехи

Ответить
5

Видимо, Герман Оскарович погрузился в бюрократию Сбертеха и понял, что здесь математика совершенно не нужна, так как писать отписки - большого ума не требует.

Ответить
0

Вообще не совсем понятно зачем обсуждать человека, который не является экспертом (лично для меня) ни в одной из этих областей. Можешь сделать что то чего не могут другие, то сделай, а так пофантазировать, то таких пол страны. Воспринимаю это просто как личный пиар Грефа. Лайки где ставить)?

Ответить
2

Не совсем - он глава самого крупного банка страны, а значит его мнение может оказать сильное влияние на разные сферы. Agile среди не It-компаний он же во многом сделал популярным.

Ответить
3

он глава самого крупного банка страны

Дополнение: государственного де-факто банка

Agile среди не It-компаний он же во многом сделал популярным.

Только Agile далеко не везде может применяться.

Ответить
0

Насчет применения неважно, главное, что если бы не он, то многие не из IT-сферы, вообще не смотрели в сторону Agile. А так - перегиб уже в другую сторону.

Ответить
1

В целом, можно и микроскопом забивать гвозди, но зачем?

Ответить
0

Вы в каком банке работали? В любом банке, чтобы поставить левую прогу или расшарить порт, приходиться унижаться полгода перед сраными админами. Эджайл ))

Ответить
0

Я вообще в банках не работал. Я здесь не про то. как придерживаются принципов Agile, а про то, что после публичных высказываний Грефа об Agile, о нем стали говорить за пределами IT.

Ответить
0

Делились со мной товарищи как он продвигает Agile . Но Ваш посыл понятен и имеет право на существование.

Ответить
5

Где карту получили, туда и идите.

Ответить
0

Тем более, что он руководитель такой организации, он должен более внимательно относится к тому, что и как говорит.

Ответить
2

Перенасыщенность такая что на одно место человека ищем месяцами.

Ответить
1

Греф на том же форуме говорил что в будущем будут более успешны многопрофильные специалисты, и по-моему именно в этом была его основная мысль. Его фраза про мат. школы была лишь корявым ее выражением. Так что есть ощущение, что автор просто стриггерился на отдельную фразу и выдал целую статью-ответ конкретно на эту фразу.

Ответить
0

Практика показывает, что весь мир идет к более узкой специализации, а Россия, по-прежнему, поставляет сотрудников широкой квалификации

Ответить
1

Если бы я хотел угробить своих конкурентов, я бы окружил их самыми опытными экспертами

Г. Форд

Ответить
0

Прекрасно, а зачем это здесь?

Ответить
1

Более узкой специализации чем у эксперта сложно придумать.
Греф прав в том, что не нужно узкоспециализированные математики и программисты, если конечно это он имел ввиду. Нужно чтобы программисты и математики могли знать какую то еще сферу, для внедрения.

Ответить
0

Зачем мне программист, который знает, как запускать стартап?
У Грефа самого 11 тыс в Сбертеха, у которых система выстроена так, что они занимаются только тем, что от них требуется. По узкой специализации. Другие контролируют, третьи внедряют, четвертые анализируют. Несколько материалов было на эту тему.
Если Греф не знает, как у него самого устроено, и несет чушь, это не значит еще, что это надо принимать к сведению. Ну сказал, и сказал. Там, в параллельной реальности, где Греф, вообще, все иначе

Ответить
0

Может как запускать стартап ему и не обязательно знать, но если он занят пользовательским функционалом, то психология ему не помешает.
Тут же вопрос не в том, что чистые программисты будут совсем не нужны, вопрос в том, что будут востребованы больше те, кто еще что-то знает, практика она же часто на стыке знаний.
Может быть уже скоро, будут востребованы программисты с медицинскими знаниями, например и т.д.

Ответить
0

Вопрос - на каком уровне. Мне в линейные исполнители зачем программисты со знанием Камасутры?

Ответить
0

А вы это будущее? Греф про будущее говорит.

Ответить
0

Я - точно будущее.
А Греф говорит про какое-то мифическое будущее, которое только внутри его головы существует

Ответить
0

C чего вы так уверены?
Почему вам больше веры чем Грефу должно быть?
Может быть вы создали единорога ?

Ответить
0

А Греф, может, создал?

Ответить
0

Греф из унылого говна, коим был сбер, сделал весьма приличный банк, один из лидеров в Европе. Другим гос. банкам это не удалось.

Ответить
0

Другим гос банкам и задачи такой, вероятно, не было поставлено.

Ответить
0

Постановка задачи гарантирует результат?
Греф как минимум, самый результативный чиновник, остальные что-то хуже поставленные задачи выполняют, разве что на ум приходит Кириенко.

Ответить
0

Постановка задачи дает финансирование из бюджета и распределение дальнейших потоков физлиц

Ответить
0

Это гарантирует результат?
Вы вероятно давно в России не были, финансирование из бюджета, совсем ничего не гарантирует.

Ответить
0

Не гарантирует, но для гос банков является обязательной составляющей

Ответить
0

Финансирование не только для гос. банков обязательная составляющая, для любого крупного банка.
Полно компаний, даже не из гос. сектора, в которые залили многие миллиарды а толку ноль.

Ответить
0

Например?

Ответить
0

Дайте примет, куда влили ярд гос денег и не смогли построить нормальный банк

Ответить
0

Только один из примеров подходит под "залили миллиарды, а толку ноль", но здесь чистый обман

Ответить
0

Вы хотите сузить фокус до нуля?
Дай пример банка, да еще и гос и это не то, обман же.

Ответить
0

Я хочу какой-то релевантный пример.
То что есть в этой статье, уж точно не подходит

Ответить
0

Практика показывает, что весь мир идет к более узкой специализации

Расскажите это Гуглу, Амазону и вообще всем. Кто может овладеть любой технологией и заработать на ней миллиарды в считаные годы. Да, в Гугле спрашивают сортировки и теорвер.

Ответить
0

В гугле спрашивают базовые математические знания для понимания уровня интеллекта разработчика. Но какое это отношение имеет к широкой специализации?

Ответить
1

Складывается такое впечатление, что россияне из последних сил пытаются верить в то, что у власти стоят не полные кретины.

Ответить
0

Греф скажет что угодно, лишь бы взбудоражить и привлечь внимание. Это у него происходит переодически, раз в полгода/год.

Ответить
0

Интересно, а с чем связана такая закономерность)) весна - осень)?

Ответить
0

Я как простой обыватель думал, что идея создания ИИ заключается не в попытках формализовать математику в рамках существующих моделей, а в создании некоей самообучающейся сущности, которая благодаря околонеограниченным вычислительным мощностям сможет формализовать математику(или что там еще угодно) как сама захочет?

Ответить
1

Если вас интересует эта тема с философской точки зрения почитайте чистый разум Канта. На самом деле бóльшая часть задач мозга вшита ещё в днк/онтогенез. И возможен ли чистый разум в плане полной самоорганизации и автономного целеполагания тоже открытый вопрос(преимущественно философский)

Ответить
0

Он просто друг нужного человека. Ему не обязательно уметь в математику.

Ответить
0

«аксиома о том, что две параллельные прямые не пересекаются в евклидовой геометрии» - смешно, как и другие перлы в статье. Хорошая статья о будущем математики: Брайан Дэвис «Куда движется математика?».

Ответить
0

А что смешного с этой аксиомой? И какие еще перлы заметили?

Ответить
0

Уточните, пожалуйста, как на самом деле звучит пятый постулат Евклида или его аналоги. Написанное в статье - это определение параллельных прямых. Распространённое заблуждение. Писать рецензию на статью желания нет, но в целом она однобокая, нет анализа разных точек зрения. Хотя статья не научная, конечно.
«Еще один нюанс состоит в том, что машина не сможет оценить такие вещи, как степень раскаяния, уровень состояния аффекта или готовность сотрудничать со следствием. В таких случаях верно истолковать ситуацию может только человек, да и то не всякий». Есть философские статьи, что человек сам машина. Сомневаюсь, что существует хоть один вид человеческой деятельности, с которым гипотетически не смогла бы справиться машина.

Ответить
0

Про аксиому евклидовой геометрии Вы правы. А вот на чем основаны Ваши сомнения? Я про: " Сомневаюсь, что существует хоть один вид человеческой деятельности, с которым гипотетически не смогла бы справиться машина?" Работа машин в данный момент основана на том, что понятие "правильности" утверждения, заменяется на выводимость "из правильных" утверждений. Просто потому что выводимость обернуть в алгоритм проще, чем оценку правильности. Поэтому так важна непротиворечивость - она гарантирует, что все что будет получено в процессе вывода - тоже будет "правильным". И вот здесь появляются ограничения, о которых говорится в статье. Как эти ограничения предлагаете преодолевать?

Ответить
0

Если же человек с навыками программирования и знанием математики разбирается и в других, не смежных, предметных областях (например, в финансах, биологии, лингвистике, юриспруденции и пр.), может решать задачи, связанные с ними – он получает +100 очков к востребованности.

А если он готов за 50 тысяч работать, то он вообще наш человек!
Добавили из HR

Ответить
0
{ "page_type": "article" }

Прямой эфир

[ { "id": 1, "label": "100%×150_Branding_desktop", "provider": "adfox", "adaptive": [ "desktop" ], "adfox_method": "createAdaptive", "auto_reload": true, "adfox": { "ownerId": 228129, "params": { "pp": "g", "ps": "bugf", "p2": "ezfl" } } }, { "id": 2, "label": "1200х400", "provider": "adfox", "adaptive": [ "phone" ], "auto_reload": true, "adfox": { "ownerId": 228129, "params": { "pp": "g", "ps": "bugf", "p2": "ezfn" } } }, { "id": 3, "label": "240х200 _ТГБ_desktop", "provider": "adfox", "adaptive": [ "desktop" ], "adfox": { "ownerId": 228129, "params": { "pp": "g", "ps": "bugf", "p2": "fizc" } } }, { "id": 4, "label": "240х200_mobile", "provider": "adfox", "adaptive": [ "phone" ], "adfox": { "ownerId": 228129, "params": { "pp": "g", "ps": "bugf", "p2": "flbq" } } }, { "id": 5, "label": "300x500_desktop", "provider": "adfox", "adaptive": [ "desktop" ], "adfox": { "ownerId": 228129, "params": { "pp": "g", "ps": "bugf", "p2": "ezfk" } } }, { "id": 6, "label": "1180х250_Interpool_баннер над комментариями_Desktop", "provider": "adfox", "adaptive": [ "desktop" ], "adfox": { "ownerId": 228129, "params": { "pp": "h", "ps": "bugf", "p2": "ffyh" } } }, { "id": 7, "label": "Article Footer 100%_desktop_mobile", "provider": "adfox", "adaptive": [ "desktop", "tablet", "phone" ], "adfox": { "ownerId": 228129, "params": { "pp": "g", "ps": "bugf", "p2": "fjxb" } } }, { "id": 8, "label": "Fullscreen Desktop", "provider": "adfox", "adaptive": [ "desktop", "tablet" ], "auto_reload": true, "adfox": { "ownerId": 228129, "params": { "pp": "g", "ps": "bugf", "p2": "fjoh" } } }, { "id": 9, "label": "Fullscreen Mobile", "provider": "adfox", "adaptive": [ "phone" ], "auto_reload": true, "adfox": { "ownerId": 228129, "params": { "pp": "g", "ps": "bugf", "p2": "fjog" } } }, { "id": 10, "disable": true, "label": "Native Partner Desktop", "provider": "adfox", "adaptive": [ "desktop", "tablet" ], "adfox": { "ownerId": 228129, "params": { "pp": "g", "ps": "clmf", "p2": "fmyb" } } }, { "id": 11, "disable": true, "label": "Native Partner Mobile", "provider": "adfox", "adaptive": [ "phone" ], "adfox": { "ownerId": 228129, "params": { "pp": "g", "ps": "clmf", "p2": "fmyc" } } }, { "id": 12, "label": "Кнопка в шапке", "provider": "adfox", "adaptive": [ "desktop" ], "adfox": { "ownerId": 228129, "params": { "p1": "bscsh", "p2": "fdhx" } } }, { "id": 13, "label": "DM InPage Video PartnerCode", "provider": "adfox", "adaptive": [ "desktop", "tablet", "phone" ], "adfox_method": "createAdaptive", "adfox": { "ownerId": 228129, "params": { "pp": "h", "ps": "bugf", "p2": "flvn" } } }, { "id": 14, "label": "Yandex context video banner", "provider": "yandex", "yandex": { "block_id": "VI-223676-0", "render_to": "inpage_VI-223676-0-1104503429", "adfox_url": "//ads.adfox.ru/228129/getCode?pp=h&ps=bugf&p2=fpjw&puid1=&puid2=&puid3=&puid4=&puid8=&puid9=&puid10=&puid21=&puid22=&puid31=&puid32=&puid33=&fmt=1&dl={REFERER}&pr=" } }, { "id": 15, "label": "Плашка на главной", "provider": "adfox", "adaptive": [ "desktop", "tablet", "phone" ], "adfox": { "ownerId": 228129, "params": { "p1": "byudx", "p2": "ftjf" } } }, { "id": 16, "label": "Кнопка в шапке мобайл", "provider": "adfox", "adaptive": [ "tablet", "phone" ], "adfox": { "ownerId": 228129, "params": { "p1": "byzqf", "p2": "ftwx" } } }, { "id": 17, "label": "Stratum Desktop", "provider": "adfox", "adaptive": [ "desktop" ], "auto_reload": true, "adfox": { "ownerId": 228129, "params": { "pp": "g", "ps": "bugf", "p2": "fzvb" } } }, { "id": 18, "label": "Stratum Mobile", "provider": "adfox", "adaptive": [ "tablet", "phone" ], "auto_reload": true, "adfox": { "ownerId": 228129, "params": { "pp": "g", "ps": "bugf", "p2": "fzvc" } } }, { "id": 19, "label": "Тизер на главной", "provider": "adfox", "adaptive": [ "desktop", "tablet", "phone" ], "auto_reload": true, "adfox": { "ownerId": 228129, "params": { "p1": "cbltd", "p2": "gazs" } } } ]
Голосовой помощник выкупил
компанию-создателя
Подписаться на push-уведомления
{ "page_type": "default" }