Недавно новость о том, что модель крупного языка XAI Grok3 доказала, что гипотеза Римана взрывалась в социальных сетях, вызвав широкое внимание и жаркое обсуждение. Инженер XAI Hieu Pham опубликовал сообщение, в котором говорилось, что Grok3 успешно доказал эту сложную проблему, которая мучила сообщество математики в течение многих лет и, следовательно, приостановило модельное обучение. Тем не менее, это было лишь «сломанное», вызванное откровениями пользователей сети, которые в конечном итоге были выявлены юмористическим ответом соучредителя XAI Грег Ян и других. Хотя это просто шутка, этот инцидент вызвал глубокое размышление людей о математических способностях ИИ и заставляет нас с нетерпением ждать будущего прорыва ИИ в области математики.
Недавно инженер XAI Hieu Pham опубликовал «взрывное» сообщение в социальных сетях, утверждая, что большая языковая модель Xai успешно доказала гипотезу Riemann и приостановила обучение модели. Эта новость быстро вызвала жаркие дискуссии в круге ИИ, и пользователи сети выразили свой шок, и было трудно сказать, было ли это правдой или ложным. В конце концов, гипотеза Римана, как одна из семи основных математических проблем тысячелетия, известна как «Корона мира гипотезы», и его трудности можно представить.
Несколько часов спустя Фам показал ответ в другом посте: это была просто шутка. Это «возражение» возникло из откровений сетизена Эндрю Керрана, который утверждал, что Grok3 столкнулся с «инцидентом на катастрофу» во время обучения.
Столкнулся на слухи о том, что чем больше он распространяется, Xai Lianchuang Greg Yang не мог не опубликовать саркастическую статью и саркастически сказал: «Да, Grok3 начал атаковать охранников в офисе». С юмором он сказал: «Ситуация очень плохая! Позже мы заменили все плохие веса NAN (не численным, не номером), прежде чем мы восстановились».
Хотя этот «фарс» закончился шуткой, это также вызвало размышления людей о математических способностях ИИ.
Итак, как далеко ИИ от преодоления тысячелетних математических проблем, таких как гипотеза Римана?
Мы можем увидеть производительность Alphaproof, инструмента математического доказательства искусственного интеллекта, разработанного командой Google DeepMind. Alphaproof успешно решил три вопроса в Международной математической математической олимпиаде 2024 года (IMO), среди которых шестой вопрос известен как «Ultimate Boss» и чрезвычайно сложный. Alphaproof продемонстрировал сильную логическую способность и творческое мышление в процессе решения проблем вместе.
Хотя Alphaproof достиг замечательных результатов, ИИ все еще предстоит пройти долгий путь, чтобы преодолеть лучшие математические проблемы, такие как гипотек, которую Риманн. Гипогада Римана имеет историю в 165 лет с момента ее предложения в 1859 году, и бесчисленные математики посвятили свои усилия, но они никогда не были полностью доказаны.
Чтобы доказать гипотезу Riemann, ИИ должен обладать сильной вычислительной мощностью и глубокими возможностями рассуждений. В настоящее время ИИ может искать все возможные доказательства, исчерпывающие поиск проверенных теорем, но это требует астрономических вычислительных ресурсов. Кроме того, ИИ также должен иметь возможность понимать и применять существующие математические инструменты, чтобы играть большую роль в математических исследованиях.
Некоторые эксперты по ИИ предсказывают, что к концу 2026 года ИИ станет «математиком Супермена», которого достаточно для решения таких проблем, как гипотезы Римана. Маск также пообещал, что Grok3, который был обучен 200 000 H100, будет выпущен в конце года и принесет потрясающую работу.
В будущем давайте подождем и посмотрим, сможет ли ИИ добиться прогресса в области математики.
Хотя этот «фарс» о том, сможет ли ИИ доказать гипотезу Римана, он закончился шуткой, также вызвал наше мышление о будущем направлении развития искусственного интеллекта. Прогресс искусственного интеллекта в области математики очевиден для всех, но еще предстоит пройти долгий путь, чтобы преодолеть такие первоклассные проблемы, как гипотеза Римана. Давайте с нетерпением ждем новых прорывов в ИИ в области математики в будущем!