ИИ меняет математику
Математика стоит на пороге крупнейших изменений за всю свою историю и причиной этого становится искусственный интеллект.
Математик Дэниел Литт еще год назад заключил пари, что вероятность того, что ИИ сможет написать научную работу уровня ведущих математиков к 2030 году, составляет всего около 25%. Однако уже сейчас он признает, что, скорее всего, проиграет это пари. За последние годы способности ИИ в математике выросли настолько быстро, что многие ученые были буквально ошеломлены.
Еще недавно нейросети с трудом справлялись даже с задачами уровня старшей школы. Сегодня же они уже способны решать сложные математические проблемы, помогать в реальных исследованиях и генерировать доказательства теорем. Некоторые из этих задач ставят в тупик даже профессиональных математиков.
Одно из самых важных применений ИИ — проверка математических доказательств. В современной математике доказательство сложной теоремы может занимать сотни страниц и требовать работы целых команд исследователей. ИИ способен генерировать доказательства гораздо быстрее, чем люди успевают их проверять, что ставит перед математиками новый философский вопрос: если теорема доказана машиной, но не проверена человеком, можно ли считать её действительно доказанной?
Здесь на сцену выходит так называемая формализация. Это процесс перевода математических доказательств с естественного языка в строгий компьютерный формат, который может быть автоматически проверен программой.
Недавно компания Math, Inc объявила, что её инструмент Gauss смог формализовать доказательство лауреата Филдсовской премии 2022 года Марины Вязовской. Итоговый код доказательства занял около 200 тысяч строк.
Если раньше ручные вычисления были важной частью работы математиков, то теперь многие из них уже автоматизированы. ИИ постепенно превращается из инструмента для вычислений в полноценного участника математических исследований.
Пока сложно сказать, приведет ли это к новой эпохе открытий или изменит саму природу математической науки. Но одно становится очевидным, развитие ИИ может радикально изменить то, как создаются и проверяются математические знания.
#ИИ #Математика #Наука
