최근 Xai Large Langu Xai 엔지니어 인 Hieu Pham은 Grok3가 수년간 수학 커뮤니티를 괴롭히고 모델 교육을 중단 한이 어려운 문제를 성공적으로 증명했다는 메시지를 발표했습니다. 그러나 이것은 Netizens의 계시에 의해 유발 된 "깨진"일 뿐이며, 결국 Xai 공동 창립자 인 Greg Yang과 다른 사람들의 유머러스 한 반응으로 밝혀졌습니다. 이 사건은 농담 일 뿐이지만이 사건은 AI의 수학적 능력에 대한 사람들의 심층적 인 생각을 촉발 시켰으며 수학 분야에서 AI의 미래의 획기적인 발전을 기대합니다.
최근 Xai 엔지니어 인 Hieu Pham은 소셜 미디어에 "폭발적인"메시지를 게시했으며, Xai의 대형 언어 모델 Grok3은 Riemann 추측을 성공적으로 입증하고 모델 교육을 중단했다고 주장했습니다. 이 뉴스는 AI 서클에서 열렬한 토론을 빠르게 촉발 시켰고 네티즌은 충격을 표명했으며 그것이 참인지 거짓인지 여부를 말하기가 어려웠습니다. 결국, 밀레니엄의 7 가지 주요 수학적 문제 중 하나 인 Riemann 추측은 "추측 세계의 왕관"으로 알려져 있으며, 그 어려움은 상상할 수 있습니다.
몇 시간 후, Pham은 다른 게시물에서 답을 공개했습니다. 그것은 단지 농담이었습니다. 이 "이의 제기"는 Netizen Andrew Curran의 계시에서 비롯되었으며, 그는 Grok3가 훈련 중 "재해 사건"을 겪었다 고 주장했다.
Xai Lianchuang Greg Yang은 냉소적 인 기사를 게시 할 수 없다는 소문에 직면하여 "그렇습니다. Grok3는 또 다른 연구원 인 Heinrich Kuttler를 공격하기 시작했습니다 그는 유머러스하게 말했다.
이 "Farce"는 농담으로 끝났지 만 AI 수학적 능력에 대한 사람들의 생각도 촉발했습니다.
그렇다면 AI는 Riemann 추측과 같은 밀레니엄 세대 수학 문제를 극복하는 데 얼마나 멀리 떨어져 있습니까?
Google의 Deepmind 팀이 개발 한 AI 수학적 증거 도구 인 AlphaProof의 성능을 볼 수 있습니다. AlphaProof는 2024 International Mathematics Olympiad (IMO)에서 세 가지 질문을 성공적으로 해결했으며, 그 중 여섯 번째 질문은 "Ultimate Boss"로 알려져 있으며 매우 어렵습니다. Alphaproof는 예를 들어 문제를 해결하는 과정에서 강력한 논리적 추론 능력과 창의적 사고를 보여주었습니다 함께.
Alphaproof는 놀라운 결과를 얻었지만 AI는 여전히 Riemann 추측과 같은 최고의 수학적 문제를 극복 할 수있는 먼 길을 가지고 있습니다. Riemann 추측은 1859 년에 제안 된 지 165 년의 역사를 가지고 있으며, 수많은 수학자들이 그들의 노력에 전념했지만 완전히 입증 된 적이 없습니다.
Riemann 추측을 증명하기 위해 AI는 강력한 컴퓨팅 능력과 심층적 인 추론 능력을 가져야합니다. 현재 AI는 입증 된 이론을 철저히 검색하여 가능한 모든 증거를 검색 할 수 있지만 이는 천문학적 컴퓨팅 리소스가 필요합니다. 또한 AI는 수학 연구에서 더 큰 역할을하기 위해 기존 수학적 도구를 이해하고 적용 할 수있는 능력이 있어야합니다.
일부 AI 전문가들은 2026 년 말까지 AI가 "슈퍼맨 수학자"가 될 것이라고 예측하여 Riemann 추측과 같은 문제를 해결하기에 충분합니다. 머스크는 또한 20 만 H100으로 훈련 된 Grok3가 연말에 출시 될 예정이며 놀라운 성능을 가져올 것이라고 약속했다.
앞으로 AI가 수학 분야에서 획기적인 진전을 이룰 수 있는지 기다려 보자.
AI가 Riemann 추측을 증명할 수 있는지에 대한 이러한 "Farce"는 농담으로 끝났지 만 인공 지능의 미래 발전 방향에 대한 우리의 생각을 촉발시켰다. 수학 분야에서 AI의 진보는 모든 사람에게 분명하지만, 리만 추측과 같은 최고 수준의 문제를 극복하는 데 여전히 먼 길이 있습니다. 미래의 수학 분야에서 AI에서 더 많은 획기적인 혁신을 기대합시다!