Новая веха прогресса. Как машины изобретают новую математику, о которой мы и мечтать не могли
Для расширения границ математики необходимо выдвигать новые гипотезы. Что же будет, если их созданием займется не человек, а машина?
Вероятно, примерно так подумали исследователи из Израильского технологического института в Хайфе и Google в Тель-Авиве, которые создали машину Рамануджана. Это автоматизированная система предположений, названная в честь математика Шринивасы Рамануджана, который разработал тысячи новаторских формул теории чисел почти без формального обучения, пишет VICE.
Как объясняют исследователи, всю дисциплину математики можно разложить на два процесса: выдвижение предположений и их доказательство. И чем больше появляется предположений, тем больше работы есть у математиков, которые должны доказывать или опровергать их.
Именно этим и занимается машина Рамануджана — она выдвигает гипотезы. Она не занимается поиском доказательств — ее роль ограничивается в создании пищи для ума людей, которые смогут благодаря ей делать свои открытия.
«Наши результаты впечатляют, потому что компьютеру все равно, легко или сложно доказать формулу, и он не основывает новые результаты на каких-либо предшествующих математических знаниях, а только на числах в математических константах», — говорит профессор Каминер, один из создателей машины.
материалов раздела Техно
Присоединяйтесь к нам в соцсетях Facebook, Telegram и Instagram.
