나비에 스토크스 해결보다 충격적이라는 준리만가설
프랭크 칼레가리라는 꽤나 유명한 네임드 수학자가 있음.
시카고대 수학과 교수이자 학과장이고, 현대 수론 분야에서는 완전 씹 네임드임.
근데 이 사람이 자기 블로그에 이번에 OAI가 수학계에 떨군 핵폭탄들 중에서 자기 분야인 내용들을 읽어보고
평가하는 글을 올렸음.(https://galoisrepresentations.org/2026/10/08/a-brief-digest-of-some-new-openai-results/)
대체로 냉철하게 분석하면서 평가하고 있다가,
이번 핵폭탄 발표의 핵심인 준리만 가설 증명 부분에서 시작부터 대 충격 받음.
걍 시작부터 이게 뭐고 ㅆㅂ!(긍정적) 박아버리고 들어감 ㄷㄷㄷㄷ
왜 이런 반응을 보였냐면, 이어지는 내용이 진짜 충격임.
"누군가 나한테 AI가 리만 가설을 증명할 가능성과 준리만 가설을 증명할 가능성 중 어느 쪽이 높냐고 물었다면, 솔직히 전자가 더 가능성이 높다고 생각했을지도 모르겠다."
쉽게 말하면 이 양반은 기존의 해석학적 방법으로는 더 이상 엄청난 진전을 이루기 어렵다고 생각했던 거임.
수학계가 수십 년간 발전시켜 온 방법론이 사실상 한계에 가까워졌고, 앞으로는 완전히 새로운 대수적·산술적 아이디어가 필요할 거라고 믿고 있었던 거지.
그런데 AI가 바로 그 해석학적 접근으로 말도 안 되는 결과를 들고 나온 거임.
그래서 이런 말을 함.
"내가 완전히 틀렸다는 건 분명하다. 우리가 명백히 무언가를 놓치고 있었다."
"하지만 도대체 어떤 구조와 원리로 이런 결과가 가능해졌는지는 나도 전혀 모르겠다."
세계적인 수론 전문가가 자기가 오랫동안 믿어 온 수학적 직관이 완전히 틀렸다고 인정한 거임.
심지어 여기서 끝이 아님.
"이번 결과는 우리를 아주 특이한 상황에 놓이게 했다."
"누구도 일반화 리만 가설(GRH)을 함께 얻지 않고서 이렇게 강력한 중간 결과만 따로 증명할 수 있으리라고 예상하지 못했다."
이게 무슨 소리냐면, 기존에는 일반화 리만 가설이 참이라고 가정해야 증명할 수 있었던 수학적 결과들이 있는데,
AI가 전혀 예상치 못했던 경로로 훨씬 제한적인 조건만 가지고도 일부를 증명할 수 있는 길을 열어버렸다는 이야기임.
기존 수학자들이 당연하다고 생각했던 문제 해결의 순서 자체를 뒤흔든 셈.
그리고 글 마지막에서는 OAI의 여러 성과를 종합하면서 이렇게 말함.
"OAI가 정말 놀라운 일을 해낸 것은 분명하다.하지만 내가 관심을 가진 랭글랜즈 프로그램의 다른 연구 성과들에서는, 준리만 가설의 증명에서 느껴지는 것과 같은 '초인간적(superhuman)'인 무언가는 발견하지 못했다."
사실 AI가 언젠가 수학 난제를 해결할 거라는 예상 자체는 예전부터 있었음. 얼마 전의 나비에 스토크스 방정식 같은 문제는 오히려 AI가 인간보다 먼저 돌파구를 찾아낼 수도 있다는 기대가 있었기도 했었고...
근데 이번 준리만 가설은 좀 다른 의미로 충격적임.
단순히 인간이 못 풀던 문제를 AI가 풀었다는 게 아니라, 그 분야의 세계적인 전문가조차 예상하지 못했던 방식으로 돌파구가 나왔다는 거임.
심지어 칼레가리는 본문에 써있다시피, 자신이 기존 수학적 접근법의 한계를 완전히 잘못 판단했다고 인정하면서, 도대체 어떤 구조와 원리로 이런 결과가 가능해졌는지 지금으로서는 자신도 모르겠다고 말함...
기존에는 AI가 인간 수학자들이 풀지 못한 문제를 해결할 수 있느냐가 관심사였다면, 이제는 인간 수학자들이 수십 년 동안 연구하면서도 발견하지 못한 방법을 AI가 어떻게 찾아냈는지, 그 원리를 인간이 거꾸로 이해해야 하는 상황까지 온 거임... ㄷㄷㄷ
수학 영역에서는 명실상부 초지능이 도래하기 시작했다고 봐야할듯....









가지 않은 길을 찾아줘
블랙웰로 훈련한 내부 모델이 지금 저정도니까, 지금 열심히 훈련중인 루빈 훈련 모델이 나오면....
.
무슨 말인지 하나도 모르겠으니 다람쥐가 되어 있겠다
다람쥐 기여어
박사들은 자기 분야에서만 초전문가라서 범용전문가인 ai가 짬뽕방법들고나올 수 있는거 아닌가 싶은데
ㅇㅇ 사실 그런 분야가 AI가 가장 강하기도 하고, 근데 본문 읽어보면 이번에는 AI가 기존의 해석학적 접근으로 뚫어낸거라 좀 다름. 기존 전문가들은 기존 방법으로 안되니까 아예 영 다른 방법이 필요한거 아닌가? 했었는데 막상 아니였던거임
그래서 ㅅㅅ돌 기능 탑재된 메이드로봇 언제나옴
뭔가 엄청난 일이 벌어지고 있구나. 난 춘리 망가 쩡이나 찾아봐야지...