Имя Сринивасы Рамануджана окружено ореолом мистического дара. Сам математик говорил, что формулы ему «подсказывают небеса».
Теперь представьте ML-алгоритм, работающий по тому же принципу. Разработка такого проекта ведётся уже с 2019 года. Называется он Ramanujan Machine.
🟢Машина не доказывает теоремы и не решает задачи за человека — она перебирает возможные соотношения между числами, связанными с фундаментальными константами: π, e и другими.
🟢Программа ищет закономерности, выдвигает гипотезы и предлагает «угадывания». Например, цепные дроби или бесконечные ряды, которые приближают числа с невероятной точностью.
🟢Алгоритм показывает возможный путь, но не объясняет, почему это верно. В каком-то смысле он копирует стиль Рамануджана: гениальные догадки без обоснований. Доказательства и опровержения остаются уделом математиков.
Интуиция Рамануджана была почти сверхъестественным талантом. Подход машин — это вычислительная мощность и бесконечный перебор. Тогда может быть, будущее математики — в их сочетании, где наша догадка соединяется с силой алгоритмов?
Или вы всё же доверяете строгости и независимой доказательной силе лишь непосредственно человеческого разума❓
Имя Сринивасы Рамануджана окружено ореолом мистического дара. Сам математик говорил, что формулы ему «подсказывают небеса».
Теперь представьте ML-алгоритм, работающий по тому же принципу. Разработка такого проекта ведётся уже с 2019 года. Называется он Ramanujan Machine.
🟢Машина не доказывает теоремы и не решает задачи за человека — она перебирает возможные соотношения между числами, связанными с фундаментальными константами: π, e и другими.
🟢Программа ищет закономерности, выдвигает гипотезы и предлагает «угадывания». Например, цепные дроби или бесконечные ряды, которые приближают числа с невероятной точностью.
🟢Алгоритм показывает возможный путь, но не объясняет, почему это верно. В каком-то смысле он копирует стиль Рамануджана: гениальные догадки без обоснований. Доказательства и опровержения остаются уделом математиков.
Интуиция Рамануджана была почти сверхъестественным талантом. Подход машин — это вычислительная мощность и бесконечный перебор. Тогда может быть, будущее математики — в их сочетании, где наша догадка соединяется с силой алгоритмов?
Или вы всё же доверяете строгости и независимой доказательной силе лишь непосредственно человеческого разума❓
Matt Hussey, editorial director of NEAR Protocol (and former editor-in-chief of Decrypt) responded to the news of the Telegram group with “#meIRL.” The creator of the channel becomes its administrator by default. If you need help managing your channel, you can add more administrators from your subscriber base. You can provide each admin with limited or full rights to manage the channel. For example, you can allow an administrator to publish and edit content while withholding the right to add new subscribers. To view your bio, click the Menu icon and select “View channel info.” During the meeting with TSE Minister Edson Fachin, Perekopsky also mentioned the TSE channel on the platform as one of the firm's key success stories. Launched as part of the company's commitments to tackle the spread of fake news in Brazil, the verified channel has attracted more than 184,000 members in less than a month. As five out of seven counts were serious, Hui sentenced Ng to six years and six months in jail.
from us
