Нова віха прогресу. Як машини винаходять нову математику, про яку ми й мріяти не могли
Для розширення меж математики необхідно висувати нові гіпотези. Що ж буде, якщо за їх створення візьметься не людина, а машина?
Ймовірно, приблизно так подумали дослідники з Ізраїльського технологічного інституту в Хайфі та Google у Тель-Авіві, які створили машину Рамануджана. Це автоматизована система припущень, названа на честь математика Шрініваса Рамануджана, який розробив тисячі новаторських формул теорії чисел майже без формального навчання, пише VICE.
Як пояснюють дослідники, всю дисципліну математики можна розкласти на два процеси: висунення припущень і їх доведення. І чим більше з’являється припущень, тим більше роботи є у математиків, які мають доводити або спростовувати їх.
Саме цим і займається машина Рамануджана — вона висуває гіпотези. Вона не займається пошуком — її роль обмежено в створенні поживи для розуму людей, які зможуть завдяки їй робити свої відкриття.
«Наші результати вражають, тому що комп’ютеру все одно, легко чи складно довести формулу, і він не засновує нові результати на будь-яких попередніх математичних знаннях, а тільки на числах у математичних константах», — каже професор Каминер, один з творців машини.
матеріалів розділу Техно
Приєднуйтесь до нас у соцмережах Facebook, Telegram та Instagram.
