В настоящее время газеты, журналы и телевидение полны сообщений о том, что искусственный интеллект решил математическую задачу, одну из 7 "задач тысячелетия". Эти задачи были выделены Институтом Клэя, и за решение каждой из них учредителями был установлен приз в один миллион долларов. При этом 25 лауреатов Филдсовской премии (престижной награды, которую иногда сравнивают с Нобелевской) написали открытое письмо, из которого следует, что искусственному интеллекту (ИИ) не место в математических исследованиях. Попробуем разобраться, в чём же дело.

Река математики

Пифагор (570—490 годы до нашей эры), стоявший у истоков математики, является одной из наиболее интересных и загадочных личностей в истории. Он организовал религиозный орден с необычным уставом, в котором, например, значилось: "Не поднимай то, что упало", "Не откусывай от целой булки", "Не прикасайся к белому петуху", "Не смотрись в зеркало около огня". Все достижения учеников приписывались ему. Судя по преданию, когда Пифагор доказал свою теорему ("Пифагоровы штаны во все стороны равны"), в жертву богам было принесено 100 быков. Видно, небедно жил пифагорейский орден.