Результатом исследования сотрудников Израильского технологического института Технион стало создание уникального алгоритма на базе искусственного интеллекта. Он способен генерировать математические гипотезы из сферы теории чисел.
Ранее искусственный интеллект активно использовали для доказательства гипотез, которые создавали люди. В новой разработке доказывать гипотезы нужно ученым, а создает их алгоритм. Он способен легко находиться взаимосвязи между различными числами и создавать на их основе соответствующие гипотезы. Эксперты отметили, что изначально они хотели понять, можно ли применять машинное обучение для таких исследований. В итоге им это удалось, хотя были некоторые сомнения.
Разработанный алгоритм получил название в честь индийского математика Сринивасы Рамануджана, который доказал более 120 формул из теории чисел.
