Израильские ученые создали необычный искусственный интеллект

Ученые из Израиля разработали искусственный интеллект, который строит гипотезы из сферы теории чисел. Как пишет Lenta.ru, алгоритм занимается поиском математических формул в виде бесконечных дробей, в которых используются такие фундаментальные константы, как π или е. Он получил название «машина Рамануджана» в честь великого индийского математика Сринивасы Рамануджана – ему удавалось интуитивно получать сложные и чаще всего верные математические выражения, не доказывая их.

Ранее ИИ использовался для доказательства разнообразных гипотез, созданных людьми. Новый искусственный интеллект работает от обратного – приближенный к ИИ алгоритм находит возможные связи между числами и создает гипотезы, которые предстоит доказать математикам.



«Мы захотели выяснить, реально ли применять машинное обучение для таких фундаментальных исследований, как обнаружение новых закономерностей в теории чисел. До сих пор ученые создавали ИИ для доказательства задаваемых гипотез, но мы решили пойти в противоположную сторону», – заявили исследователи из Израильского технологического института Технион.

Также авторы отмечают, что новый ИИ меняет в целом сам подход в формальных доказательствах, где применяется последовательная логика. Машина Рамануджана, имитируя интуицию гениальных математиков, преобразует числовые данные для получения математических структур и позволяют проводить дальнейшие математические исследования.

Фото: pixabay.com