Убьет ли ИИ математику?

    Три года тому назад ИИ  едва  умел  в арифметику. За последние полгода машина смогла  доказать несколько  новых  результатов, вполне  пригодных   для  первосортного математического журнала.  При таких темпах прогресса  не исключено, что Григорий Перельман  останется  единственным белковым ученым, решившим   “задачу  тысячелетия” - одну  из семи  проблем,  которые Институт Клэя обозвал  «важными  классическими  задачами с решениями,   не найденными   в течение многих лет», а остальные шесть, включая  гипотезу Римана полуторовековой давности, уравнения Навье-Стокса и  Янга-Миллса порешит в недалеком будущем  машина. 

          Лауреат последней  медали Филдса, самой престижной премии для ученых  младше 40 лет (его имя нам,  мирянам, абсолютно ничего не говорит ), высказался недавно так: “Я почти   уверен, что в недалеком будущем ИИ  на голову превзойдет  уровень, доступный нынешним математикам. Мне хочется, чтобы люди  отдавали себе отчет в  реальности происходяшего.”  Это не очередная сенсация интернета о победе над  раком, но  мнение  понимающего индивидуума.

     За последний год резко (в пару раз) подскочило число новых статей, публикуемых  на сайте arxiv – объяснить график можно лишь тем, что народ рванул окучивать машинный  Клондайк. Само собой, далеко не все старатели упоминают о том, что результаты собственно не их.  Arxiv не рецензирует статей, он лишь  отсеивает абсолютный и очевидный   хлам и графомань. Сейчас им приходится думать, каким образом лучше душить машинные результаты. О том же самом приходится думать и редакциям журналов, которые заваливают сейчас  компьютерными работами. Конечно, скрыть участие электронного  разума довольно сложно – у машины вполне характерный стиль, да и с какого рожна недавний  инвалид вдруг станет прыгать на восемь метров в длину... Однако, все мы люди, и как писал Сартр: “Если вся Франция знает, что ты шлюха  – это уже слава.”

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

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

PS

   По недавним слухам в сентябре 26 года  ИИ порвал как Тузик грелку одну из семи  "Задач тысячелетия", за каждую из которых обещан миллион долларов. Первую проблему из этого списка решил Григорий Перельман. ИИ, как утверждают,  доказал, что у Навье-Стокса существуют сингулярные решения, которые уходят в бесконечность за конечное время. Если это правда (скорее всего да), математику через пару лет постигнет участь шахмат, где человек не может против машины.