같은 날 발표된 두 거인: 세기 추측 지수 시간 가설(ETH)이 위조되었습니다

요약:

이론적 컴퓨터 세계도 AI의 포격을 받았습니다! 지난 밤, AI는 과학 연구의 루비콘 강을 완전히 건너 공식적으로 인간 지식의 구축을 "전복"하기 시작했습니다. OpenAI는 이론 컴퓨터, 순수 수학, 이론 물리학의 세 가지 주요 분야에 핵폭탄을 투하했습니다.

이것은 아마도 올해 가장 폭발적인 기술 뉴스일 것입니다.

Claude는 이러한 결과가 사실이라면 오늘은 수학과 이론 컴퓨팅의 역사에서 가장 중요한 날이 될 것이라고 직설적으로 말했습니다.

그 중 수학적 돌파구는 필즈상 수상자인 왕홍(Wang Hong)의 이전 카케야 추측 연구와 관련성이 높은 반면, 물리적 돌파구는 세 가지 중 가장 중요할 수 있으며 노벨상 수상자 양첸닝(Chen Ning Yang)이 남긴 문제를 해결할 수도 있습니다.

이번에는 컴퓨터 분야의 혁신에 대해 이야기하겠습니다. 즉, 지수 시간 가정이 성립하지 않습니다.

Claude에 따르면 이는 "진술이 정확하다면 컴퓨터 과학이 바뀔 것"이라는 Turing Award 수준의 파괴적인 성과입니다.

현재 OpenAI 연구원이자 전 Microsoft 인공 지능 부사장이자 저명한 과학자인 Sebastien Bubeck은 이것을 "20년 만에 본 가장 큰 놀라움"이라고 칭찬했습니다.

게다가 같은 날 두 AI가 거의 동시에 이러한 혁신을 발표했습니다!

두 AI 거대 기업인 OpenAI와 Anthropic은 그들의 내부 모델이 27년 동안 컴퓨터 이론 이론을 지배해 온 '지수 시간 가설'(ETH)을 뒤집었다고 거의 동시에 발표했습니다!

더 무서운 것은 Anthropic이 투기한 논문에는 핵심 알고리즘이 내부 모델인 Claude에 의해 구축되었다고 명확하게 표시되어 있다는 것입니다.

인간 개입 제로

인류과학의 역사에 길이 남을 이 논문의 서명된 유일한 저자는 클로드(Claude)입니다.

이론적 컴퓨터 세계의 '하늘'이 무너졌습니다. 이것은 무엇을 의미합니까?

간단히 말하면 1999년에

지수 시간 가설(ETH)

3SAT 문제인 n개의 스위치가 있는 콤비네이션 자물쇠라고 생각하시면 됩니다.

반세기 동안 셀 수 없이 많고 똑똑한 두뇌들이 자물쇠를 풀기 위해 최선을 다했지만 누구도 깨뜨릴 수 없는 것이 하나 있습니다.

스위치 수가 증가함에 따라 자물쇠를 푸는 데 걸리는 시간은 항상 '기하급수적으로' 치솟습니다.

예를 들어 자물쇠를 n개의 숫자로 채워야 한다고 가정해 보겠습니다. 각 숫자는 1에서 9 사이입니다. 각 위치에는 9개의 선택이 있으므로 총 9ⁿ 가능성이 있으며, 이는 9번 n번입니다.

9ⁿ 가능성을 모두 활용하면 이 퍼즐을 풀 수 있습니다. 하지만 이 방법은 매우 비효율적입니다. n = 100개의 숫자를 채워야 하는 스도쿠 퍼즐의 경우, 세상의 모든 컴퓨터를 사용하더라도 해가 식을 때까지 기다려야 합니다.

사람들은 n을 사용하여 실행 시간이 9ⁿ보다 느리게 증가하는 알고리즘을 찾으려고 오랫동안 노력했지만 성공하지 못했습니다.

1999년에 학자들은 이 집단적 직관을 공식적인 가설로 썼습니다.

3SAT에는 하위 지수 시간 알고리즘이 없습니다.

속도를 약간 향상시킬 수는 있지만 이 "기하급수적 벽"을 결코 넘을 수는 없습니다. 이것은 물리학에서 '빛의 속도는 초과할 수 없다'는 것과 같습니다.

이러한 추측은 20년 넘게 제안되어 왔습니다. 과거에는 ETH 확립을 기반으로 다양한 컴퓨팅 문제의 복잡성 하한을 연구하기 위해 수백 편의 논문이 사용되었습니다.

그래프 이론과 조합 최적화부터 데이터베이스와 계산 생물학에 이르기까지 많은 연구는 이러한 가정을 기반으로 합니다.

리만 가설이 뒤집히면 정수론으로 귀결될 것입니다. ETH가 뒤집히면 복잡성과 매개변수화된 알고리즘이 문제가 될 것입니다.

ETH의 가중치가 "

P 대 NP

그러나 이는 P≠NP보다 더 강력하고 구체적입니다. ETH가 설정되면 P≠NP를 도출할 수 있습니다. 그러나 ETH가 뒤집히면 P=NP를 도출할 수 없습니다.

ETH에 의존하는 다수의 조건부 연구 결론은 재평가될 필요가 있습니다.

AI 분야의 새로운 '피해자' 집단이 등장했다——

그룹에 친구도 있습니다. 그가 이전에 쓴 논문은 ETH 설립을 전제로 한 것이었습니다.

이제 이 전제는 사라졌을 수 있으며, 논문의 결론을 재검토해야 합니다.

당신이 몇 년 동안 문제를 연구하고, 논문을 쓰고, 증명을 했는데, 심지어 특정 분야의 학자들(Tuli 교수 등)도 20년 넘게 이 가설을 연구해 왔다고 상상해 보세요.

어느 날, AI 모델은 모두가 늘 믿어왔던 전제가 틀렸을 수도 있다는 사실을 알려줍니다.

과학 연구의 루비콘 강을 건너다: 단독 저자 클로드

즉시 극적인 장면이 벌어졌습니다.

OpenAI 회장인 Greg Brockman은 방금 공식 발표를 게시했고, 그의 오랜 라이벌인 Anthropic은 방금 같은 제목의 논문을 발표했습니다.

그는 너무 공격적이어서 그 자리에서 추락했습니다!

Anthropic은 다음과 같이 말했습니다: 공교롭게도 이것은 사실이 아닙니다. 클로드 내부 모델이

10월 16일

게다가 Anthropic은 종이 페이지에 "출처 설명"을 남겼습니다.

핵심 알고리즘은 내부 Claude 연구 모델에 의해 10월 16일에 발견되었으며, 사람의 입력 없이 1,400만 개의 출력 토큰을 소비했습니다.

이는

AI가 과학 연구의 루비콘 강을 완전히 건넜다는 것을 의미합니다

1,400만 토큰의 개념은 무엇인가요? "삼체 문제"의 전권은 약 900,000 단어로 구성되어 있습니다. 1,400만 개의 토큰은 클로드가 "삼체 문제"의 두꺼운 초안을 한 번에 12개 이상 추론하는 것과 같습니다.

평가 후 많은 최고 학자들은 다음과 같이 말했습니다. 이는 AI 모델이 최고 박사후 연구원이 1~2년간의 과학 연구를 먹거나 마시거나 자지 않고 며칠 만에 완료하는 것과 같습니다.

지난 며칠 동안 클로드는 스스로 길을 탐색하고, 스스로 공식을 추론하고, 스스로 논리를 검증하고, 심지어 국경을 넘어 인기 없는 수학적 도구까지 사용하여 마침내 인류 앞에 증명을 내놓았다.

이번에는 “AI가 수학자들의 문헌 검색을 돕습니다”도 아니고, “AI가 올림피아드 문제를 맞췄습니다”도 아닙니다.

이것은 AI가 인류의 가장 엄격하고 순수한 이론 분야를 혼자서 돌파하는 것입니다.

설립자는 하룻밤에 깨어났고, 수학자는 빨리 살을 빼기 위해 '감사인'으로 변신했다

AI가 뒤집었다고 하면 뒤집나요? AI가 "진지하게 말도 안 되는 소리(환각)를 말하고 있는 것"은 아닐까?

가장 마법 같은 장면이 일어났습니다. 두 회사는 무죄를 입증하기 위해 PDF만 버린 것이 아니라

린 형식 증명 코드

Lean은 '사심 없는 전자 리뷰어'입니다. 논리적인 점프가 있더라도 바로 오류를 보고합니다. 코드가 원활하게 실행될 수 있다는 것은 기본 논리가 오류 가능성을 거의 차단한다는 것을 의미합니다. '기계 검증이 가능한' 서류를 넘겨주는 것은 AI의 반박할 수 없는 자신감이다.

그러나 이는 증명의 정확성을 완전히 확인하지는 않습니다.

ETH 추측의 창시자 두 명인 러셀 임팔리아조와 라마모한 파투리는 긴급히 나오도록 요청받았다고 합니다.

27년 전, 두 명의 학자가 추측을 썼습니다. 27년 후, 그들은 AI가 어떻게 이를 뒤집었는지 확인하기 위해 깨어났다.

이것은 아마도 학계 역사상 가장 복잡한 감정일 것입니다.

현재 이 두 전문가는 MIT 및 기타 대학의 최고 팀과 협력하여 코드를 한 줄씩 검토하고 있습니다.

동시에 또 다른 전선도 빠르게 전진하고 있습니다.

AI가 제작한 60페이지가 넘는 이 '외계인' 증거에 직면하면 인간의 두뇌가 읽기가 극도로 어렵습니다.

NVIDIA 수석 AI 설계자 Shiva Kintali가 하룻밤 사이에 OpenAI의 원본 60페이지 ETH 위조 인증서를 22페이지의 간소화된 버전으로 압축했습니다!

AI의 지루한 단계를 끊고 최적의 로그 인자를 추구하지 않았다. 그는 기본적인 진술만을 깔끔하게 위조하고 계산 예를 추가하려고 했습니다.

그의 목표는 단 하나입니다.

"인간 동료가 진정으로 이해하게 하라."

이제 전례 없는 학문적 광경이 등장합니다:

AI는 어려운 문제를 해결하는 역할을 담당합니다. AI는 지난 27년 동안 누구도 열지 않았던 문을 며칠 만에 열어줍니다.

인간은 소화에 대한 책임이 있습니다. AI의 오랜 추론을 인간이 이해할 수 있고 계속 발전시킬 수 있는 지식으로 다듬는 것입니다.

이제 인간이 AI의 숙제를 평가하고 간소화할 차례입니다.

기초과학 연구의 '주체-객체 변화'

이르면 2023년 3월, OpenAI는 획기적인 'AI가 고용 시장에 미치는 영향에 대한 예측 보고서'를 발표했습니다. 이 목록에서

'AI의 영향을 가장 많이 받는 직업' 목록에서 1위를 차지한 사람은 놀랍게도 수학자이다

당시 대부분의 사람들은 수학은 인간의 가장 엄격한 논리를 요구한다고 비웃었습니다. 부정행위에 대해 그렇게 많이 말하는 AI가 어떻게 이론적 수학을 할 수 있을까요?

그러나 정확히 3년 뒤, ETH가 하룻밤 사이에 AI에 의해 위조되면서 카케야의 추측은 모델들에 의해 차례차례 깨졌다...

3년 전 발사된 이 총알은 마침내 인간의 이론 연구 목표에 맞았다.

이것은 과학자들이 집단적으로 일자리를 잃게 된다는 뜻인가요? 아니요.

북경대학교 졸업생이자 학자인 Weijie Su가 3년 전 관찰한 것처럼:

AI는 어떤 분야든 간단하고 조잡하게 '대체'하는 것이 아니라 형태를 바꿀 것입니다. 미래의 과학 연구는 현실 세계의 도전 과제 및 기타 분야와 깊은 연관을 맺을 수 있는 사람들에게 큰 보상을 줄 것입니다.

카메라가 발명된 이후 화가들은 더 이상 '누가 더 잘 그리는가' 경쟁을 벌일 필요가 없어져 인상주의와 현대 미술이 탄생하게 되었습니다.

AI가 '계산 및 증명'이라는 힘든 작업을 대신하게 되면 인간은 마침내 보다 근본적인 문제에 귀중한 에너지를 소비할 수 있습니다.

다양한 분야에 걸쳐 실제 연결을 탐구하고 구축할 가치가 있는 다음 질문을 찾는 것입니다.

27년 전, 두 학자가 ETH 추측을 썼을 때, 그들은 그것을 끝낸 사람이 인간이 아닐 것이라고는 결코 상상하지 못했습니다.

의외로 두 명의 AI가 같은 날 시험을 치르게 되었습니다.

“세상은 AI로 인해 바뀌는 것이 아니라 이미 바뀌었습니다.”