메뉴

암호화 섹션

케임브리지 스타트업은 자사 시스템이 이를 뒷받침하는 린 공식화를 통해 3일 만에 Aaronson-Ambainis 추측을 입증했다고 밝혔습니다.

2026년 11월 10일 화요일 · 14:08 EST · 읽기 3분

AI에서는

공유하다

이제 막 태어난 지 두 달도 안 된 스타트업이 거의 20년 동안 연구자들을 괴롭혔던 양자 컴퓨팅 문제를 해결했다고 밝혔습니다.

PSI(Physical Superintelligence)는 2026년 11월 6일 Aaronson-Ambainis 추측을 입증했다고 발표했습니다. 이 작업은 비공개 인류학 모델과 함께 내부 연구 시스템을 사용했으며 회사는 시스템 실행 3일차에 증거가 도착했다고 말했습니다.

더욱 놀라운 것은 문제를 제기한 한 사람의 반응이다. Scott Aaronson은 그 증거를 완전히 따르지 않는다고 말합니다. 어쨌든 그는 그것을 믿습니다.

PSI가 실제로 증명한 것

Aaronson-Ambainis 추측은 기본적인 질문에 관한 것입니다. 양자 컴퓨터가 실제로 속도 면에서 고전 컴퓨터를 이길 수 있는 때는 언제일까요? 2008년경에 처음으로 등장했고 2014년에 공식 성명을 발표했습니다.

수학적 핵심만 제거하면 부울 큐브의 모든 경계가 낮은 다항식에는 영향력 있는 변수가 있다는 추측이 나옵니다.

연구 결과에 따르면, 이 증명은 결정 문제에 대한 무작위 오라클의 기하급수적 양자 이점을 배제합니다. 이전에는 부분적인 결과로 인해 문제가 해결되었습니다. 완전한 증거는 지금까지 도착하지 못했습니다.

PSI는 해당 작업을 13페이지 분량의 논문과 완전한 Lean 공식화로 발표했으며 둘 다 물리 슈퍼 인텔리전스 조직의 GitHub에 호스팅되어 있습니다.

린이 힘든 일을 하는 이유

린(Lean)은 수학을 위해 만들어진 프로그래밍 언어입니다. 모든 단계를 읽고 확인하기 위해 인간 심판에 의존하는 대신, 증명을 코드로 작성하고 커널이라는 작고 신뢰할 수 있는 프로그램이 각 단계가 마지막부터 논리적으로 이어지는지 확인합니다.

AI, 기술, 그리고 이들이 움직이는 시장을 일일 브리핑으로 만나보세요.

일일. 무료. 암호화폐, 금융, 정책 전반에 걸쳐 34,000명 이상의 독자와 함께 하세요.

우리는 귀하의 개인정보를 존중합니다. 언제든지 구독을 취소하세요.

이곳의 규모는 상당합니다. PSI의 공식화는 추가된 공리나 자리 표시자 없이 9,454줄과 648개의 정리로 실행됩니다.

연구 결과에 따르면 형식화는 여러 커널을 사용하여 독립적으로 다시 확인되었습니다.

이 검증 레이어는 바로 Aaronson이 자신이 완전히 이해하지 못하는 것에 대해 기꺼이 승인하려는 이유입니다. 그는 증명이 Lean에서 자동으로 형식화되고 PSI가 결과를 공유한 최고 연구원 팀에 의해 설명되었기 때문에 그 증명이 정확하다고 믿고 있다고 말합니다.

부정적인 결과와 그것이 유용한 이유

이 발견은 더 빠른 양자 알고리즘의 잠금을 해제하지 않습니다. 문을 닫습니다.

Turturean은 TechCrunch에 이를 실용적인 용어로 설명했습니다.

"사람들이 알 수 있게 해주는 부정적인 결과입니다. 우리는 더 이상 거기를 보고 있지 않습니다."

결과에도 분명한 한계가 있습니다. 연구 결과에 따르면 Shor의 알고리즘과 같은 구조화된 속도 향상에는 영향을 미치지 않습니다. 증명은 양자 이점의 모든 종류가 아니라 구조화되지 않은 입력에 대한 양자 이점을 제한합니다.

어쨌든 PSI는 누구입니까?

PSI는 매사추세츠 주 케임브리지에 본사를 둔 공익 기업입니다. Breakthrough Energy Ventures가 주도하는 초기 자금 5,800만 달러로 2026년 9월에 출시되었습니다.

그 타임 라인이 주목할 만합니다. 9월에 1차 라운드를 진행한 회사는 11월 초까지 거의 20년 동안 진행된 공개 문제에 대한 결과를 내놓았습니다.

인간적인 각도도 눈길을 끈다. PSI는 시스템의 일부로 비공개 인류학 모델을 사용했는데, 이는 결과가 부분적으로 외부 연구원이 현재 접근할 수 없는 AI 기능에서 나온 것임을 의미합니다.

공개: 이 기사는 Diego Almada Lopez가 편집했습니다. 당사가 콘텐츠를 생성하고 검토하는 방법에 대한 자세한 내용은 당사의 편집 정책을 참조하세요.

보유하고 있는 소식

주식과 암호화폐를 팔로우하세요. Pro에서 수백 개의 게시자가 제공하는 뉴스를 읽어보세요.

개인 정보 보호 정책