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