Недавно израильские учёные представили компьютерную систему, способную генерировать математические гипотезы. Основанный на искусственном интеллекте, этот инструмент уже вывел несколько новых математических формул, ранее не известных.
Рамануджанская машина
В отчёте, опубликованном в журнале, сотрудники Института Технологий Технион полагают, что математик будущего — это машина. 3 февраля 2021 года исследователи представили «генератор» математических догадок — машину Рамануджана. Предложения требуют доказательства и могут стать основой теорем. Теоремы имеют большое значение в науке, часто направляя исследования на несколько десятилетий.
Инженеры утверждают, что их машина работает с искусственным интеллектом и компьютерной автоматизацией. Основой этого является использование констант, которые в отличие от переменных представляют собой неизменные значения. К известным в научном мире константам относятся Золотое сечение (примерно 1,61803), число Эйлера (примерно 2,71828) и число Пи (примерно 3,14159).
Сила метода Рамануджана состоит в применении постоянных при создании гипотез. Но в математической истории нечасто получали теоремы из констант. Сриниваса РамануджанМатематик, живший с 1887 по 1920 год и оставивший своё имя знаменитой машине, является сравнительно малоизвестным индийцем. Самостоятельно изучив математику, прославился разработкой в конце XIX века теорем о константах числа Пи и числа Эйлера.
Математическая интуиция — вот секрет, который исследователи попытались воспроизвести на своей машине. Она использует соответствия между числовыми значениями внутри констант для получения предположений. Цель — проникнуть в глубинную структуру констант. Результаты впечатляют израильских учёных, прежде всего потому, что система не утруждает себя доказательством формул или математическими знаниями.
С момента создания «Машина Рамануджана» выявила десятки формул, некоторые из которых неизвестны и связаны с числом Пи и числом Эйлера. Система генерирует предположения, но не предоставляет доказательств. Это задача для математиков-людей: некоторые из предложений уже доказаны, а другие еще ждут своего подтверждения, при условии их истинности.