Нова віха прогресу. Як машини винаходять нову математику, про яку ми й мріяти не могли

11 лютого 2021, 20:03
НВ Преміум

Для розширення меж математики необхідно висувати нові гіпотези. Що ж буде, якщо за їх створення візьметься не людина, а машина?

Ймовірно, приблизно так подумали дослідники з Ізраїльського технологічного інституту в Хайфі та Google у Тель-Авіві, які створили машину Рамануджана. Це автоматизована система припущень, названа на честь математика Шрініваса Рамануджана, який розробив тисячі новаторських формул теорії чисел майже без формального навчання, пише VICE.

Відео дня

Як пояснюють дослідники, всю дисципліну математики можна розкласти на два процеси: висунення припущень і їх доведення. І чим більше з’являється припущень, тим більше роботи є у математиків, які мають доводити або спростовувати їх.

Саме цим і займається машина Рамануджана — вона висуває гіпотези. Вона не займається пошуком — її роль обмежено в створенні поживи для розуму людей, які зможуть завдяки їй робити свої відкриття.

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

poster
Підписатись на щоденну email-розсилку
матеріалів розділу Техно
Розсилка про те як технології змінють світ
Щопонеділка

Приєднуйтесь до нас у соцмережах Facebook, Telegram та Instagram.

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