Компьютер может вскоре лишить ученых работы

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

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

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

• Полвека назад Герберт Гелернтер из IBM написал программу, которая якобы сама сформулировала законы евклидовой геометрии, но, по мнению критиков, на самом деле программа полагалась на слишком большое количество заранее заложенных шаблонов, так что эти «открытия» нельзя считать самостоятельными.
• В 70-е годы программа «Автоматический математик» Дугласа Лената автоматически сгенерировала множество математических теорем, но все они были признаны бесполезными.
• В рамках стенфордского проекта Dendral, начатого в 1965 году, в течение двадцати лет предпринимались попытки молекулярного моделирования возможных органических соединений на основе химических данных, собранных космическим аппаратом НАСА. Итог оказался неутешительным.
• В 80-е годы была учреждена премия Лейбница в размере $100 тыс. за создание программы, которая откроет хоть какую-нибудь важную математическую теорему. Приз не востребован до сих пор.

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

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

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

via Habr