Машина Рамануджана выдвигает новые гипотезы, значительно упрощая жизнь ученым (Фото: Jeswin Thomas / Unsplash) Для расширения границ математики необходимо выдвигать новые гипотезы.
Что же будет, если их созданием займется не человек, а машина? Вероятно, примерно так подумали исследователи из Израильского технологического института в Хайфе и Google в Тель-Авиве, которые создали машину Рамануджана.
Это автоматизированная система предположений, названная в честь математика Шринивасы Рамануджана, который разработал тысячи новаторских формул теории чисел почти без формального обучения, пишет VICE.Как объясняют исследователи, всю дисциплину математики можно разложить на два процесса: выдвижение предположений и их доказательство.
Читать на nv.ua