В IBM создали способный к научным открытиям искусственный интеллект
Специалисты IBM разработали новый искусственный интеллект (ИИ) AI-Descartes, который способен делать научные открытия. Согласно статье, опубликованной в Nature Communication, ИИ AI-Descartes заново «открыл» третий закон Кеплера, вывел уравнение адсорбции газов твердыми поверхностями Ленгмюра, и предложил хорошее приближение формулы замедления времени при высоких скоростях в рамках специальной теории относительности (СТО) Эйнштейна.
Ключевым методом, который использует AI-Descartes, является символьная регрессия, заключающаяся в поиске математических выражений, которые наилучшим способом соответствуют наблюдаемым данным, путем случайного комбинирования операторов (+, -, ×, ÷, квадратный корень, логарифм, экспонента), констант и других «блоков», при этом выражение не должно быть слишком сложным. Сама по себе символьная регрессия имеет ограничения, поскольку не все математические выражения, соответствующие данным, имеют научный смысл.
Чтобы решить эту проблему, разработчики объединили символьную регрессию с автоматизированными инструментами аргументации (англ. reasoning tools). Символьная регрессия проводилась методом смешанно-целочисленного нелинейного программирования (MINLP), а в качестве инструмента аргументации была выбрана KeYmaera X — система автоматизированного доказательства теорем, которая способна к дедукции, алгебраическим или компьютерно-алгебраическим рассуждениям.
