Система сама способна подобрать формулу, описывающую найденный закономерность.
Другими словами, она может формулировать законы физики без теоретической подготовки, просто наблюдая за окружающим миром.
Использование вычислительных методов особенно актуально в тех областях науки, где собраны огромные объемы данных, но до сих пор нет теории, которая бы описывала все результаты экспериментов.
И таких направлений становится все больше в биологии, генетике, океанографии, космологии и почти во всех естественных науках.
В общем, это далеко не первая попытка привлечь искусственный интеллект к открытию математических теорем и законов физики.
Все предыдущие были неудачными.
Полвека назад Герберт Гелернтер из IBM писал программы, которые якобы формулировали законы евклидовой геометрии, но, по мнению критиков, на самом деле программы опирались на слишком много заранее установленных шаблонов, так что эти «открытия» нельзя считать независимыми.
В 70-е годы программа Автоматический математик Дуглас Лената автоматически сформулировал множество математических теорем, но все они оказались бесполезными.
В рамках Стэнфордского проекта Дендрал , начавшаяся в 1965 году, представляла собой двадцатилетнюю попытку молекулярного моделирования возможных органических соединений на основе химических данных, собранных космическим кораблем НАСА.
Результат разочаровал.
В 80-е годы был основан Премия Лейбница на сумму $100 тысяч за создание программы, которая откроет хоть какую-нибудь важную математическую теорему.
Приз еще не востребован.
Однако определенные надежды все же возлагаются на программу Корнеллского университета.
Есть вероятность, что он действительно работает эффективнее всех своих предшественников.
В отличие от всех них, эта разработка работает только на основе ограниченного базового набора математических правил.
В отличие от Dendral, программа умеет сводить количество возможных вариантов к небольшому количеству наиболее вероятных.
Анализ набора данных.
Программа работает в несколько этапов.
Сначала она выполняет случайные арифметические действия в случайном порядке, пытаясь найти закономерность.
После этого он выбирает результаты, менее ошибочные, чем остальные, меняет алгоритм, снова проводит расчеты, снова выбирает лучшие варианты и так далее.
Ученые уже проверили программу в действии.
Они пока не опубликовали конкретных результатов, но считают их интересными.
с помощью Проводной Теги: #искусственный интеллект #ИИ #Герберт Гелернтер #Автоматический математик #Дендрал #Премия Лейбница #теоретическая физика #законы природы #Популярная наука
-
Вводные Вопросы По Чпу
19 Oct, 24 -
Импортозамещение Удостоверяющих Центров
19 Oct, 24 -
Huawei Dorado V6: Сычуаньская Жара
19 Oct, 24 -
Интернет-Журнал Для Школ И Колледжей.
19 Oct, 24 -
Легко Переходите На Youtrack
19 Oct, 24
