Недавно слухи о большой языковой модели Grok3 от xAI, доказывающей гипотезу Римана, вызвали бурю негодования в кругах ИИ. Инженер xAI Хьеу Фам сообщил в социальных сетях, что Grok3 успешно доказал эту математическую задачу и поэтому приостановил обучение. Как только эта новость появилась, она сразу же вызвала бурное обсуждение. Однако вскоре Фам пояснил, что это была всего лишь шутка, улун, вызванный сообщениями пользователей сети о «катастрофическом инциденте» во время тренировки Grok3. Редактор Downcodes предложит вам просмотреть этот «фарс» и обсудить прогресс ИИ в решении математических задач.
Несколько часов спустя Фам опубликовал ответ в другом посте: «Это была просто шутка». Этот «автогол» возник после откровения пользователя сети Эндрю Каррана, который заявил, что Grok3 столкнулся с «катастрофическим событием» во время тренировки.
Столкнувшись со все более возмутительными слухами, один из создателей xAI Грег Янг не смог не опубликовать саркастический пост: «Да, да, да, Grok3 начал атаковать охрану офиса после обучения. Другой исследователь, Генрих Каттлер, также с юмором сказал: «Ситуация была очень плохой! Позже мы заменили все неверные веса на нан (не число, не число), а затем восстановили его, увидев это, пользователи сети также пополнили ряды создателей мемов».
Хотя этот «фарс» закончился шуткой, он также заставил людей задуматься о математических возможностях ИИ.
Итак, насколько далек ИИ от решения математических проблем тысячелетия, таких как гипотеза Римана?
Мы можем получить представление о производительности AlphaProof, инструмента математических доказательств искусственного интеллекта, разработанного командой Google DeepMind. AlphaProof успешно решила три вопроса на Международной математической олимпиаде (IMO) 2024 года. Шестой вопрос известен как «последний босс» и чрезвычайно сложен. AlphaProof продемонстрировала сильные логические рассуждения и творческое мышление в процессе решения задач. Например, во втором вопросе для построения доказательства она разумно решила рассмотреть число ab+1. Эта стратегия соответствует идеям решения проблем человеком. вместе.
Хотя AlphaProof добилась впечатляющих результатов, ИИ еще предстоит пройти долгий путь, чтобы преодолеть важнейшие математические проблемы, такие как гипотеза Римана. Гипотеза Римана существует уже 165 лет с тех пор, как она была предложена в 1859 году. Бесчисленное количество математиков посвятили ей свои усилия, но им так и не удалось полностью доказать ее.
Чтобы доказать гипотезу Римана, ИИ должен обладать мощной вычислительной мощностью и глубокими способностями к рассуждению. В настоящее время ИИ может находить доказуемые теоремы, перебирая все возможные доказательства, но для этого требуется астрономическое количество вычислительных ресурсов. Кроме того, ИИ также должен обладать способностью понимать и применять существующие математические инструменты, чтобы играть более важную роль в математических исследованиях.
Некоторые эксперты по ИИ предсказывают, что к концу 2026 года ИИ станет «суперматематиком», способным решать сложные проблемы, такие как гипотеза Римана. Маск также пообещал, что Grok3, обученный на 200 000 единицах H100, будет выпущен к концу года и продемонстрирует потрясающую производительность.
Давайте подождем и посмотрим, сможет ли ИИ добиться прорыва в области математики в будущем.
Этот «собственный инцидент» с доказательством Grok3 гипотезы Римана не только демонстрирует быстрое развитие технологии ИИ, но и напоминает нам, что мы должны оставаться осторожными и рациональными в нашей оценке возможностей ИИ. Искусственный интеллект имеет широкие перспективы применения в области математики, но решение вековых проблем, таких как гипотеза Римана, все еще требует долгих и трудных исследований.