OpenAI заявила о решении задачи тысячелетия Navier-Stokes, и математика в кризисе
A Mathematician Reads the AI Future
Профессор математики Steven Strogatz из Cornell описывает своё состояние после мая 2026 года, когда AI «пришёл за математикой»: по его словам, OpenAI заявила о решении проблемы тысячелетия Navier-Stokes — внутренняя модель запустила около 10 000 агентов, которые работали 88 часов подряд. Для автора его наука — такое же выражение человеческого духа, как музыка и литература, и теперь он задаётся вопросом, не останется ли она машинам.
Я профессор математики, и моя область в кризисе. Никто в математике никогда не забудет 2026 год. Если только это действительно не конец предмета — и тогда никто уже ничего не вспомнит о математике.
- GlibMonkeyDeath
Полагаю, как физик, я настроен более оптимистично — каждая революция в понимании мира (людьми) была вызвана новыми инструментами и данными. Возможность измерять отдельные кванты, например, показала нам, насколько странной и контринтуитивной может быть Вселенная. Думаю, ИИ может сделать нечто подобное для математики — установить связи, которые мог упустить человеческий мозг, и тем самым продвинуть человеческое знание.
Но я полностью понимаю тревогу — это настоящий момент Джона Генри (https://en.wikipedia.org/wiki/John_Henry_(folklore)) для области математики. Очевидно, это изменит то, как будут обучать математиков и как они будут работать.
- award_
- amelius
Надеюсь, мы сможем быстро отложить это в сторону и перейти к использованию ИИ для решения великих научных/философских проблем, таких как теория всего и трудная проблема сознания.
- abetusk
> Но для многих «чистых» математиков ... машины могут открывать истины, которые мы ищем, ценой лишения нас борьбы и радости открытия их самими.
Это чувство сродни желанию проклясть человечество тьмой, потому что не они несут свечу. Строгац оплакивает не утрату открытия, он оплакивает утрату того, что его провозглашают героем за открытие.
Ничто не мешает ему или другим открывать истины для себя. Выключите компьютер и попробуйте вывести это с нуля. Вперёд! Именно так студенты и делают на многих курсах.
Я находил мало столь удручающего, как быть на пороге ренессанса науки и математических открытий и видеть, насколько учёные и математики сопротивляются этому. Это обнажает их контраргументы. Любая видимость желания открыть фундаментальную истину о реальности заменяется на «но как же наша карьера!?». Строгацу и другим подобным ему должно быть стыдно.
- cuttothechase
Что так сбивает с толку в этом, так это следующий факт —
Допустим, передний край какой-то конкретной проблемы или области математики находится на x. X был достигнут за тысячелетия постепенными шагами, а иногда рывками и прыжками.
Теперь, если ИИ даёт нам состояние x + 1 или x + 10, разве не остаётся ещё x + бесконечность шагов, чтобы подняться? Многие из них ИИ никогда не сможет вообразить и не достигнет сам без помощи человека.
Да, есть временный шок и трепет из-за того, что все низко висящие плоды от x + 1 до x + 1000 для данной подобласти/проблемы были ковровой бомбардировкой или что-то в этом роде... но разве это не черепахи до самого низа!? Разве люди вскоре не найдут что-то ещё для развития и решения, что продвинет дальше того места, где это было, в этом бесконечном царстве исследований?