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