최근에는 xAI의 대형 언어 모델 Grok3가 리만 가설을 증명한다는 소문이 AI계에 소란을 일으켰습니다. xAI 엔지니어인 Hieu Pham은 Grok3가 이 수학적 문제를 성공적으로 증명하여 훈련을 중단했다는 소식을 소셜 미디어에 전했습니다. 이 소식이 나오자마자 즉시 열띤 토론을 불러일으켰습니다. 그러나 Pham은 이것이 Grok3의 훈련 중 "재앙적인 사건"에 대한 네티즌의 폭로로 인해 발생한 농담일 뿐이라고 곧 밝혔습니다. Downcodes의 편집자는 이 "희극"을 검토하고 수학적 문제를 극복하는 AI의 진행 상황에 대해 논의하도록 안내합니다.
몇 시간 후 Pham은 다른 게시물에서 답변을 공개했습니다. 그것은 단지 농담이었습니다. 이 '자책골'은 Grok3가 훈련 중 '재앙적인 사건'을 겪었다고 주장한 네티즌 Andrew Curran의 폭로에서 비롯되었습니다.
점점 더 터무니없는 소문이 퍼지자 xAI 공동 창작자인 그렉 양(Greg Yang)은 "예, 예, 그렇습니다, Grok3가 훈련 후에 사무실 보안을 공격하기 시작했습니다"라는 비꼬는 글을 올렸습니다. 또 다른 연구원인 하인리히 커틀러(Heinrich Kuttler)도 유머러스하게 말했습니다. "상황이 매우 나빴습니다! 나중에 잘못된 가중치를 모두 난(숫자가 아닌 숫자가 아닌 숫자)으로 교체한 후 복원했습니다." 이를 본 네티즌들도 밈 만들기 대열에 합류했습니다.
이 '희극'은 농담으로 끝났지만 AI의 수학적 능력에 대한 사람들의 생각을 촉발하기도 했습니다.
그렇다면 AI는 리만 가설과 같은 밀레니엄 수학 문제를 해결하는 데 얼마나 멀리 떨어져 있을까요?
구글 딥마인드(DeepMind)팀이 개발한 AI 수학적 증명 도구인 알파프루프(AlphaProof)의 성능을 엿볼 수 있다. AlphaProof는 2024 국제 수학 올림피아드(IMO)에서 세 가지 문제를 성공적으로 해결했습니다. 여섯 번째 문제는 "궁극의 보스"로 알려져 있으며 매우 어렵습니다. AlphaProof는 문제 해결 과정에서 강력한 논리적 추론과 창의적인 사고를 보여주었습니다. 예를 들어 두 번째 질문에서는 증명을 구성하기 위해 숫자 ab+1을 고려하는 것을 교묘하게 선택했습니다. 함께.
AlphaProof는 인상적인 결과를 얻었지만 AI는 리만 가설과 같은 주요 수학적 문제를 극복하기 위해 아직 갈 길이 멀습니다. 리만 가설은 1859년 제안된 이래 165년의 역사를 갖고 있다. 수많은 수학자들이 이를 위해 노력했지만, 아직까지 완전히 증명하지는 못했다.
리만 가설을 증명하려면 AI가 강력한 컴퓨팅 능력과 심층적인 추론 능력을 갖춰야 합니다. 현재 AI는 가능한 모든 증명을 철저하게 검색해 증명 가능한 정리를 찾아낼 수 있지만, 이를 위해서는 천문학적인 컴퓨팅 자원이 필요하다. 또한, AI가 수학 연구에서 더 큰 역할을 하기 위해서는 기존의 수학적 도구를 이해하고 적용하는 능력도 필요합니다.
일부 AI 전문가들은 2026년 말에는 AI가 리만 가설 등 어려운 문제를 풀 수 있는 '슈퍼수학자'로 거듭날 것이라고 예측한다. 머스크는 또한 200,000개의 H100 유닛으로 훈련된 Grok3가 연말까지 출시되어 놀라운 성능을 가져올 것이라고 약속했습니다.
AI가 미래에 수학 분야에서 획기적인 발전을 이룰 수 있을지 기다려 보겠습니다.
리만 가설에 대한 Grok3의 증명과 관련된 이 "자체 사건"은 AI 기술의 급속한 발전을 보여줄 뿐만 아니라 우리가 AI 능력을 평가할 때 신중하고 합리적이어야 함을 상기시켜 줍니다. AI는 수학 분야에서 광범위한 응용 가능성을 가지고 있지만 리만 가설과 같은 100년 된 문제를 극복하려면 여전히 길고 힘든 탐구가 필요합니다.