속보 | OpenAI는 비밀 AI 모델이 단 한 번의 프롬프트로 수백 개의 공개 수학 문제를 풀었다고 말합니다. 수학자들은 영수증을 원합니다

슬기로운 코인라이프 속보 데스크입니다.

Decrypt (해외) 공개 보도를 한국어로 충실히 옮겼습니다.

투자 권유나 매매 추천이 아닙니다.

핵심 요약

OpenAI는 미공개 모델에서 AI로 작성된 수학 원고 722개를 게시했는데 대부분이 단일 프롬프트에서 나온 것이라고 말했습니다. 일부 수학자들은 그 주장이 검증되지 않았다고 말합니다.

원문 번역

원 제목: “OpenAI Says a Secret AI Model Cracked Hundreds of Open Math Problems in One Prompt—Mathematicians Want Receipts”

OpenAI는 화요일에 GitHub에 722개의 수학 원고를 게시했는데, 모두 회사가 공개하지 않은 내부 모델로 제작되었습니다. OpenAI 대변인은 거의 모든 것이 단일 AI 에이전트에 전달된 단일 프롬프트에서 비롯되었지만 일부는 여러 번 시도했을 수도 있다고 말했습니다.

이는 대담한 주장이며 수학 분야에서 잠재적으로 중요한 돌파구입니다. 그러나 모든 사람이 팬이거나 과대광고를 구매하는 것은 아닙니다.

MIT의 수학자 Andrew Sutherland는 Scientific American과의 인터뷰에서 “모델이 출시되고 사람들이 결과를 복제할 수 있을 때까지 단일 에이전트의 일회성 문제에 대한 모든 주장을 검증되지 않은 것으로 처리해야 한다고 생각합니다.”라고 말했습니다. “영수증을 요청해야 한다”고 그는 말했다.

논문은 관련 결과의 372개 “군”으로 그룹화되며, 계열은 동반 논증, 결과 또는 대체 증명과 함께 주요 정리를 묶을 수 있습니다. 따라서 722권은 해결된 문제가 아닌 원고의 수입니다.

OpenAI는 모델에 약 4,000개의 문제를 제기했으며 게시할 만큼 중요하다고 판단한 결과를 유지했다고 밝혔습니다. 평균 결과는 OpenAI당 약 3시간의 ChatGPT Pro 사고 컴퓨팅에 해당하는 시간을 사용했습니다.

지난 달 Navier-Stokes의 주장은 매우 달라 보였습니다. 10,000명의 조정 요원이 88시간 동안 일했습니다.

OpenAI는 결과 중 10개에 대한 요약된 추론 요약을 발표했습니다. 즉, 저장소의 공식화 카탈로그에 따르면 722개의 논문 중 162개만이 컴퓨터로 확인된 주요 결과와 함께 제공됩니다.

이는 컬렉션의 약 22%에 해당하며 모든 논리적 단계를 기계적으로 확인하는 소프트웨어인 Lean으로 변환됩니다.

OpenAI 자체는 모든 원고가 Lean 형식화를 갖고 있는 것은 아니며 “일부 비공식 결과에는 문제가 있을 수 있다”고 말합니다. 즉, 그들이 출판한 내용 중 많은 부분이 잘못되었을 수 있습니다.

Lean 검사를 통과하면 증명이 Lean으로 작성된 진술을 따른다는 것만 확인됩니다. 진술이 원래 문제와 일치하는지, 결과가 새롭거나 중요한지 보여주지는 않습니다.

이는 이제 수학자들이 판단해야 하는 부분입니다. 그리고 이것이 바로 연구자들이 눈썹을 치켜세우는 지점이다.

나는 비행기의 색수가 6보다 크다는 OpenAI 증명을 읽으려고 했습니다. 그런데 그것은 완전히 믿을 수 없는 외계인 수학인가요?

어쨌든 모델은 갑자기 나타나는 것처럼 보이는 “약하게 측정 가능한” K-채색을 발견했습니다. openai/math 저장소에는 문제가 꺼져 있고 끌어오기 요청을 수락한 적이 없습니다.

실망스럽네요. 722개의 원고를 출판하고 Lean 형식화를 요청하는 경우 사람들이 이를 보낼 수 있는 곳이 필요합니다.

나는 Lean 4에서 OpenAI의 Saxl의 추측 증명을 공식화하고 있습니다. 뉴저지주 프린스턴에 있는 고등연구소(Institute for Advanced Study)는 성명을 통해 “이제 AI는 주장을 이해하고 검증하거나 책임을 질 수 있도록 촉발한 인간 없이도 상황에서 수학적 주장을 출력할 수 있습니다”라고 말했습니다.

“우리는 수학에 대한 인간의 이해가 여전히 가장 중요하다고 믿습니다. 이 새로운 시대에 책임 있는 학문적 성과의 일부로 수학에 대한 인간의 이해를 포함하는 새로운 패러다임을 향해 어떻게 노력할 수 있을까요?”

하지만 Abhishek Saha 교수와 같은 다른 사람들도 매우 흥분하고 있습니다. 그는 “오늘은 수학에 있어 매우 중요한 날이다”라고 썼지만 대부분의 문제는 “기존 프로그램 내에서 뛰어난 발전”, “놀라운 돌파구”라는 범주에 속한다고 지적했습니다.

이는 세트에 있는 대부분의 문제가 흥미롭지만 불가능하거나 밀레니엄 문제처럼 게임의 판도를 바꾸는 것은 아니라는 것을 의미합니다. 그 자리는 722가지 문제 중 정확히 한 가지 문제인 준-리만 가설(Quasi-Riemann Hypothese)에 대해 예약되어 있습니다.

오늘 OpenAI가 722개 원고에 걸쳐 발표한 372개 결과에 대한 추가 생각입니다. 수학자들이 증명하고 발표한 정리를 획기적인 성격에 따라 분류한다면 나는 이를 (아주 대략적으로) 네 가지 범주로 나눌 것입니다.

또한 이번 릴리스는 고급 연구 연구소의 자문 그룹이 9월 29일에 권장한 모델 이름, 프롬프트, 요약된 사고 체계, 소요 시간 및 모든 결과에 대한 계산 비용에 미치지 못합니다. OpenAI는 평균 컴퓨팅 수치와 10가지 추론 요약을 발표했지만 아무런 메시지도 표시하지 않았으며 책임감 있게 모델을 출시하기 위해 계속 노력하고 있다고 밝혔습니다.

토론토 대학의 수학자 다니엘 리트(Daniel Litt)는 정반대의 입장을 취하며 회사에 수학 문제에 대한 답을 비밀로 해달라고 요청할 이유가 없다고 주장했습니다. Anthropic은 지난 달 Lean 검사를 거친 Fermat의 마지막 정리 증명을 통해 다른 경로를 택하여 1,300만 줄을 모두 GitHub에 공개적으로 게시했습니다.

그 증명은 새로운 결과를 주장하기보다는 1995년에 발표된 Andrew Wiles의 정리를 공식화했습니다.

OpenAI는 Lean 공식화를 획득하면 이를 추가할 것이라고 밝혔습니다. 현재로서는 722개의 사본 중 162개에 하나가 있습니다.

속보는 초기 단계에서 수치가 바뀌거나 정정될 수 있습니다.

번역은 원문의 사실을 전달하기 위한 것이며, 가격이 움직였다고 추세가 확정된 것이 아닙니다.

레버리지·호가 공백·환율이 체감 수익률을 왜곡합니다. “호재=매수, 악재=매도”로 번역하지 마세요.

면책

본 글은 교육·시황 정리 목적이며 투자 자문·매수·매도 권유가 아닙니다. 암호화폐는 변동성이 크고 원금 손실 위험이 있습니다. 공시·거래소·매크로·가격 수치는 시점에 따라 달라지며, 의사결정은 본인 책임입니다.