Новый искусственный интеллект генерирует математические гипотезы, которые нужно доказать

Ученые создали программу под названием «машина Рамануджана», которая способна выдвигать гипотезы из области теории чисел. На сегодняшний день алгоритм создал более 100 интересных гипотез, из которых математики доказали несколько десятков.