Новая веха прогресса. Как машины изобретают новую математику, о которой мы и мечтать не могли

11 февраля 2021, 20:03
НВ Премиум

Для расширения границ математики необходимо выдвигать новые гипотезы. Что же будет, если их созданием займется не человек, а машина?

Вероятно, примерно так подумали исследователи из Израильского технологического института в Хайфе и Google в Тель-Авиве, которые создали машину Рамануджана. Это автоматизированная система предположений, названная в честь математика Шринивасы Рамануджана, который разработал тысячи новаторских формул теории чисел почти без формального обучения, пишет VICE.

Видео дня

Как объясняют исследователи, всю дисциплину математики можно разложить на два процесса: выдвижение предположений и их доказательство. И чем больше появляется предположений, тем больше работы есть у математиков, которые должны доказывать или опровергать их.

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

«Наши результаты впечатляют, потому что компьютеру все равно, легко или сложно доказать формулу, и он не основывает новые результаты на каких-либо предшествующих математических знаниях, а только на числах в математических константах», — говорит профессор Каминер, один из создателей машины.

poster
Подписаться на ежедневную email-рассылку
материалов раздела Техно
Рассылка о том как технологии изменяют мир
Каждый понедельник

Присоединяйтесь к нам в соцсетях Facebook, Telegram и Instagram.

Показать ещё новости
Радіо НВ
X