Решение величайших проблем математики было искусством. Затем пришла ИИ
wired ·
OpenAI недавно заявила, что с помощью тысяч ИИ-агентов решила стоящую десятилетиями проблему существования и гладкости уравнений Навье-Стокса, что вызвало споры в математическом сообществе. Критики утверждают, что этот метод грубой силы подрывает художественную и творческую природу математики, которая ценит глубокое понимание выше простого получения результатов. Многие математики считают, что ИИ сокращает преднамеренный процесс, необходимый для развития новых идей, что может привести к появлению решений без их осмысления. Декларация, подписанная лауреатами Филдсовской премии, предупреждает, что массовое производство доказательств может уничтожить плодотворную почву для человеческой инновационной деятельности. Эксперты, такие как Лоренцо Гавассино, подчеркивают, что борьба, присущая сложным вычислениям, часто вдохновляет на прорывные концепции, такие как мнимые числа. Также существуют опасения по поводу прозрачности, атрибуции и этических последствий замены подготовки аспирантов автоматизированными вычислениями. Хотя OpenAI создала консультативную группу для решения этих проблем, напряженность вокруг будущей роли ИИ в научных открытиях сохраняется.
wired