AI и проблемы тысячелетия: гипотеза Ходжа и Бёрча-Свиннертона-Дайера

В бывшем твиттере уже полно слухов, что AI сделал новые прорывы, две другие проблемы тысячелетия — гипотеза Ходжа (она спрашивает, можно ли некоторые очень сложные геометрические объекты описать через более простые алгебраические), и гипотеза Бёрча-Свиннертона-Дайера (она связывает количество рациональных решений эллиптического уравнения с поведением специальной L-функции).

Пост с тем, что, возможно, решены уже 3 проблемы тысячелетия, набрал 700 тысяч просмотров.

Скорей всего это слухи и ничего больше не доказано. Надо хотя бы проверить то, что уже есть.

Но все-таки текущая ситуация с AI интересна несколькими вещами.

Размытость авторства: кто решил проблемы тысячелетия с помощью AI

Во-первых, размытость вклада в открытие. В Навье-Стоксом подходы придумали одни, реализовывали другие, компьют и модель дали третьи, финальное решение нашел AI. Как и во всем с AI, вопрос, кто ответственен за результат и где проходит граница авторства.

AI и математика: проблемы тысячелетия как инструмент популяризации

Во-вторых, рост популяризации математики. Многие открытия AI сопровождают драмы и скандалы, но для популяризации математики это хорошо. Когда ещё в заголовках задачи тысячелетия, Эрдёша, столетние гипотезы, олимпиады и прочие. Математика внезапно оказывается в центре массового внимания.

Нужен ли сверхмощный AI для решения проблем тысячелетия

Наконец, действительно ли так важен супер мощный AI? Есть мнение, что даже без 10 000 агентов за 88 часов решение было бы найдено и без внутренней модели OpenAI, на обычных аккаунтах, просто дольше, например, месяца через три. Хайп с OpenAI явно преувеличен.

Математика и AI: что остаётся за человеком

Ну а для нас с вами остается только наслаждаться красотой математики, которая теперь получается с AI, и учиться новым навыкам.

В эпоху AI математика будет становиться еще сложнее, и математиков, которые будут это понимать, нужно еще больше!

AI может и будет находить решения, но чтобы соглашаться с ними или нет всегда нужен человек. Пока что.