Изобретатели из Израиля разработали искусственный интеллект, который способен строить гипотезы из области чисел и теорий.
Как сообщает ToDay News Ufa, созданный алгоритм способен самостоятельно вести поиск необходимых математических формул в форме бесконечных дробей.
ИИ был создан на базе Израильского технологического института. Робота назвали в честь великого математика – Сринивасы Рамануджана. ИИ способен самостоятельно находить связи между числами и создавать гипотезы, которые в дальнейшем будут доказывать математики Израиля.
Ранее специалисты уже создавали подобные механизмы, но сегодняшняя разработка превзошла все ожидания. Благодаря ИИ есть возможность полностью изменить подход в формальных доказательствах, где применяется только исследовательская логика.