Имя Сринивасы Рамануджана окружено ореолом мистического дара. Сам математик говорил, что формулы ему «подсказывают небеса».
Теперь представьте ML-алгоритм, работающий по тому же принципу. Разработка такого проекта ведётся уже с 2019 года. Называется он Ramanujan Machine.
🟢Машина не доказывает теоремы и не решает задачи за человека — она перебирает возможные соотношения между числами, связанными с фундаментальными константами: π, e и другими.
🟢Программа ищет закономерности, выдвигает гипотезы и предлагает «угадывания». Например, цепные дроби или бесконечные ряды, которые приближают числа с невероятной точностью.
🟢Алгоритм показывает возможный путь, но не объясняет, почему это верно. В каком-то смысле он копирует стиль Рамануджана: гениальные догадки без обоснований. Доказательства и опровержения остаются уделом математиков.
Вот что ещё можно посмотреть по теме:
✅раздел на сайте машины с новыми открытиями
✅одна из последних статей авторов проекта — экскурс в историю доказательств формул для математических констант от Эйлера до ИИ
✅X-аккаунт The Daily Ramanujan, не менее загадочный, чем сам Рамануджан
✅наша рекомендация фильма про математика
К чему это мы?
Интуиция Рамануджана была почти сверхъестественным талантом. Подход машин — это вычислительная мощность и бесконечный перебор. Тогда может быть, будущее математики — в их сочетании, где наша догадка соединяется с силой алгоритмов?
Или вы всё же доверяете строгости и независимой доказательной силе лишь непосредственно человеческого разума❓
#как_устроено