В IBM разработали ИИ, решивший уравнение адсорбции газов твердыми поверхностями Ленгмюра

Сотрудники компании IBM создали новый искусственный интеллект (ИИ), умеющий делать научные открытия, над которыми ранее ученые «бились» годами, сообщает издание Nature Communication. Так, ИИ AI-Descartes «переоткрыл» заново третий закон Кеплера, решил уравнение адсорбции газов твердыми поверхностями Ленгмюра и предложил допустимую формулу замедления времени при высоких скоростях в рамках специальной теории относительности (СТО) Эйнштейна.

Главным в этом плане является символьная регрессия, которая ищет математические выражения, наилучшим способом соответствующие наблюдаемым данным. ИИ комбинирует путем случайного комбинирования операторов (+, -, ×, ÷, квадратный корень, логарифм, экспонента), констант и других «блоков».

В IBM же объединили символьную регрессию и автоматизированные инструменты аргументации. Символьная регрессия определялась смешанно-целочисленным нелинейным программированием (MINLP), а в качестве инструмента аргументации бралась система автоматизированного доказательства теорем, которая способна к дедукции, алгебраическим или компьютерно-алгебраическим рассуждениям KeYmaera X.

Напомним, что ранее глава Сбербанка Герман Греф назвал приоритетными в изучении ИИ сегодня криптовалюту, новый интернет (Web 3.0), высокоскоростной интернет (5G/6G), облачные вычисления, квантовые технологии и робототехнику.