공간·인지 아틀라스

열일곱 번째 항로 · 표가 공간과 정보를 움직이기까지

숫자표가 세계를 움직이기까지 — 산가지에서 양자와 AI까지

낙양의 산가지 표와 에도의 행렬식, 하노버의 서신, 제네바의 공식, 괴팅겐의 관측 계산, 런던의 새 대수를 지나 양자 상태·압축·최적화·그래픽·검색·AI까지 건넙니다. 네모난 숫자표가 어떻게 ‘문제를 정리하는 칸’에서 ‘세계를 변환하는 연산’이 되었는지 보는 지도입니다.

이 항로에서 붙잡을 질문

서로 직접 이어지지 않은 방정식·공간·관측·데이터 문제들은 왜 반복해서 ‘관계를 표로 묶고 그 표를 변환하는’ 언어를 필요로 했을까요?

지도 선이 주장하지 않는 것

이 항로는 《구장산술》의 산가지 배열을 현대 추상 행렬로 부르거나, 세키·라이프니츠·크라메르·가우스·실베스터·케일리 중 한 사람을 단독 발명자로 만들지 않습니다. 행렬식·소거법·벡터공간·행렬 대수·수치 선형대수는 서로 다른 문제와 시기에 자랐습니다. 현대 응용도 행렬이 양자·검색·AI의 의미와 사회적 판단 전체를 설명한다는 뜻이 아닙니다.

장면을 읽는 동안 카메라는 현재 도시에 머물고, 장면 사이 구간에서만 감속·가속하며 다음 도시로 이동합니다. 지도 마커나 장면 링크로 어느 방향이든 다시 이동할 수 있습니다.

같은 항로, 네 개의 질문

렌즈는 장면을 숨기거나 원인을 확정하지 않습니다. 먼저 비교할 장소를 바꾸고, 선택은 URL에 그대로 남습니다.

전체 흐름은 문제·인지 변화·장소·이동·근거 경계를 같은 비중으로 봅니다. 같은 장면에 다른 설명을 시험하고 싶을 때 렌즈를 골라 보세요.

스크롤로 움직이는 지도 장면 15개

Live map · 지도를 불러오는 중…

01 / 15 · 263년

낙양

  1. 01 · 263년

    낙양 · 수용

    산가지 표에서 행을 줄이다 — 《구장산술》과 류휘의 주석

    《구장산술》의 방정 장은 산가지를 직사각형 칸에 놓고 열을 조작해 여러 미지수의 값을 구한다. 류휘의 263년 주석은 절차가 왜 작동하는지 설명했다. 오늘날 가우스 소거와 닮았지만 현대의 추상 행렬이나 행 연산 기호가 이미 있었다고 소급하지 않는다. 낙양은 위나라 지적 환경을 보여 주는 편집 핀이며 정확한 집필지는 확정되지 않았다.

    잠깐 멈춰 묻기

    문장을 산가지 칸으로 옮기면 왜 여러 미지수를 한꺼번에 줄일 수 있을까요?

    생각은 어떻게 달라졌나

    각 방정식을 따로 푸는 대신 계수와 값을 정렬한 표 전체에 같은 소거 절차를 적용합니다.

    이 장소가 가능 조건이 된 이유

    위나라 수도권의 편찬·주석 환경은 오래 축적된 실무 문제를 류휘가 263년 이유와 검산을 갖춘 절차로 설명할 지적 맥락을 제공합니다. 정확한 집필실은 알려지지 않았습니다.

    실제 이동 방식

    행정·배분 문제 → 여러 층의 《구장산술》 → 류휘 주석 → 필사·인쇄·교육 → 현대 역사가의 소거법 비교

    여기까지는 과장하지 않기

    낙양은 발견지 증거가 아니라 편집 앵커입니다. 산가지 열 조작이 현대 행렬 객체·행 표기·‘가우스’라는 이름을 이미 포함했다는 뜻도 아닙니다.

    근거 자료
    이 장면의 안정 링크
    낙양도쿄
  2. 02 · 1683년

    도쿄 · 저술

    방정식의 얽힘을 한 값으로 붙잡다 — 세키의 행렬식

    세키 다카카즈는 여러 방정식의 계수를 조직하며 1683년 행렬식에 해당하는 계산 규칙을 일본의 와산 전통 안에서 제시했다. 이는 유럽의 라이프니츠와 독립된 경로였고, 오늘의 선형대수 전체나 연립방정식용 현대 행렬식을 한 번에 완성한 것은 아니었다.

    잠깐 멈춰 묻기

    여러 방정식의 계수 얽힘을 하나의 규칙으로 요약하면 무엇을 알 수 있을까요?

    생각은 어떻게 달라졌나

    개별 미지수 계산에서 계수 배열의 치환과 부호를 추적하는 행렬식 계열의 사고로 이동합니다.

    이 장소가 가능 조건이 된 이유

    에도의 와산 학파·문제판·필사·인쇄 공동체는 중국 수학을 재구성하고 독자적 기호 절차를 경쟁적으로 발전시킬 기반이었습니다.

    실제 이동 방식

    중국 방정술의 일본 수용 → 와산 학파의 문제 경쟁 → 세키의 1683년 저술 → 제자·후대 일본 수학

    여기까지는 과장하지 않기

    세키의 규칙은 라이프니츠와 독립이지만 현대 행렬식 표기·선형대수 전체와 같지 않고, 유럽에 직접 전해져 케일리를 만들었다는 경로도 주장하지 않습니다.

    근거 자료
    이 장면의 안정 링크
    도쿄하노버
  3. 03 · 1693년

    하노버 · 서신 발신

    계수의 배열로 해의 조건을 묻다 — 라이프니츠의 서신

    라이프니츠는 로피탈에게 보낸 1693년 편지에서 계수에 두 첨자를 붙이고 행렬식과 닮은 식으로 연립방정식의 해 조건을 논했다. 생전에 널리 출판된 표준 방법이 아니었으므로, 이 서신을 곧바로 유럽 선형대수의 출발점으로 만들지 않는다.

    잠깐 멈춰 묻기

    계수에 행과 열의 주소를 붙이면 해의 조건을 어떻게 더 짧게 말할 수 있을까요?

    생각은 어떻게 달라졌나

    방정식의 긴 문장을 이중 첨자 계수와 조합식으로 바꾸어 배열의 구조를 읽습니다.

    이 장소가 가능 조건이 된 이유

    하노버 궁정의 도서관장 직책과 광범위한 국제 서신망은 라이프니츠가 파리·바젤·런던의 동료들과 공개 전 단계 아이디어를 교환하게 했습니다.

    실제 이동 방식

    방정식 이론 → 라이프니츠의 이중 첨자 → 1693년 로피탈 서신 → 사후 원고 연구 → 행렬식 전사 재구성

    여기까지는 과장하지 않기

    사적 서신은 생전 널리 읽힌 교과서가 아니며 세키의 독립 연구보다 우선권을 독점하거나 곧바로 케일리 행렬 대수로 퍼진 증거가 아닙니다.

    근거 자료
    이 장면의 안정 링크
    하노버제네바
  4. 04 · 1750년

    제네바 · 출판

    미지수마다 하나의 비를 만들다 — 크라메르의 규칙

    가브리엘 크라메르는 1750년 출판한 대수적 곡선 연구의 부록에서, 미지수의 수와 방정식 수가 같은 선형계의 해를 행렬식의 비로 표현했다. 작은 기호 예제에는 우아하지만 큰 계를 실제로 푸는 효율적 알고리즘은 아니다.

    잠깐 멈춰 묻기

    미지수의 수와 방정식 수가 같을 때 해를 행렬식의 비로 쓸 수 있을까요?

    생각은 어떻게 달라졌나

    소거 과정을 끝까지 수행하는 대신 계수 배열에서 해를 표현하는 일반 기호 공식을 만듭니다.

    이 장소가 가능 조건이 된 이유

    제네바 아카데미와 유럽 출판·서신망은 크라메르가 대수적 곡선 책의 부록에 일반 규칙을 공개하고 유통할 기반이었습니다.

    실제 이동 방식

    행렬식 전사 → 곡선의 교점 문제 → 1750년 제네바 출판 → 대수 교재의 크라메르 규칙 → 수치 계산과의 효율 비교

    여기까지는 과장하지 않기

    정칙 정사각 계에 적용되는 표현이며 큰 계의 권장 수치 알고리즘이 아닙니다. 크라메르가 행렬식이나 선형방정식 자체를 처음 만든 것도 아닙니다.

    근거 자료
    이 장면의 안정 링크
    제네바괴팅겐
  5. 05 · 1809년

    괴팅겐 · 출판

    별의 궤도와 측정 오차를 소거하다 — 가우스

    가우스는 천문·측지 계산에서 많은 선형방정식을 단계적으로 줄이고 최소제곱과 결합했다. 오늘날 ‘가우스 소거법’이라 부르지만 비슷한 소거 절차는 훨씬 오래되었다. 그의 힘은 발명 독점보다 계산을 관측·오차 조정의 체계에 넣은 데 있다.

    잠깐 멈춰 묻기

    불완전한 관측이 많을 때 하나의 궤도를 어떻게 가장 설득력 있게 계산할까요?

    생각은 어떻게 달라졌나

    선형계를 삼각형 모양으로 줄이는 계산을 최소제곱·오차 조정과 결합해 관측의 불일치를 다룹니다.

    이 장소가 가능 조건이 된 이유

    괴팅겐의 대학·천문대·측지 사업은 별과 지표의 반복 관측, 계산 인력, 국가 측량 수요를 한 연구망에 모았습니다.

    실제 이동 방식

    천문 관측 → 정상방정식·소거 계산 → 1809년 궤도 이론 출판 → 측지·오차 조정 → 후대 수치 선형대수

    여기까지는 과장하지 않기

    ‘가우스 소거’는 후대 이름입니다. 류휘를 포함한 더 이른 소거 절차를 지우지 않으며, 가우스의 정상방정식이 수치적으로 언제나 가장 안정적이라는 뜻도 아닙니다.

    근거 자료
    이 장면의 안정 링크
    괴팅겐라이프치히
  6. 06 · 1844년

    라이프치히 · 출판

    세 차원을 넘어 연산할 공간을 쓰다 — 그라스만

    그라스만의 《선형 확장론》은 방향을 가진 양을 더하고 곱하는 법칙으로 임의 차원의 공간을 다루었다. 지나치게 낯선 표기와 독학자의 위치 때문에 즉시 널리 읽히지 않았지만, 벡터공간과 외대수로 이어질 어깨를 만들었다. 라이프치히 핀은 출판지이며 그의 활동지는 슈테틴이었다.

    잠깐 멈춰 묻기

    공간이 세 방향보다 많아도 더하고 곱하는 법칙을 세울 수 있을까요?

    생각은 어떻게 달라졌나

    좌표 숫자의 묶음을 단순 목록이 아니라 차원과 무관하게 연산할 수 있는 확장량으로 봅니다.

    이 장소가 가능 조건이 된 이유

    라이프치히 출판 시장은 슈테틴 교사 그라스만의 급진적 원고를 책으로 만들었지만, 기존 학술 직위와 표기 관습의 밖에 있던 저술의 즉각적 수용까지 보장하지는 못했습니다.

    실제 이동 방식

    기하·역학의 방향량 → 그라스만의 1844년 확장론 → 제한된 초기 독자 → 후대 재판·벡터 해석 → 벡터공간·외대수

    여기까지는 과장하지 않기

    현대 벡터공간 공리나 열벡터 표기를 1844년 책에 그대로 넣지 않으며, 출판지 라이프치히를 그의 연구 활동지로 바꾸지 않습니다.

    근거 자료
    이 장면의 안정 링크
    라이프치히런던
  7. 07 · 1858년

    런던 · 출판

    숫자표 자체를 계산 대상으로 만들다 — 실베스터와 케일리

    실베스터는 1850년 ‘matrix’라는 말을 만들었고, 케일리는 1858년 논문에서 행렬의 덧셈·곱셈·역행렬을 체계적으로 다뤘다. 순서를 바꾸면 곱이 달라질 수 있다는 사실은 숫자 계산과 다른 새 대수의 신호였다. 고대 표 계산과 행렬식의 긴 전사를 지우고 두 사람만의 단독 발명으로 만들지 않는다.

    잠깐 멈춰 묻기

    숫자가 든 표 자체를 하나의 수학적 대상으로 더하고 곱하면 무엇이 달라질까요?

    생각은 어떻게 달라졌나

    행렬식을 계산하기 위한 보조 배열에서, 순서 있는 곱과 역원을 가진 독립 대수 대상으로 이동합니다.

    이 장소가 가능 조건이 된 이유

    런던 법학회·왕립학회·수학 서신망에서 변호사로 일하던 실베스터와 케일리는 법률 업무 곁의 지속적 교류로 불변식·행렬 아이디어를 발전시켰습니다.

    실제 이동 방식

    행렬식·선형변환 문제 → 실베스터의 1850년 명명 → 케일리의 1858년 회고록 → 행렬 대수·표현론·선형대수 교재

    여기까지는 과장하지 않기

    케일리의 1858년 사건지는 Cambridge가 아니라 London의 활동·출판 맥락입니다. 두 사람이 고대 표 계산·세키·라이프니츠·크라메르·가우스의 전사를 무에서 대체한 것도 아닙니다.

    근거 자료
    이 장면의 안정 링크
    런던런던
  8. 08 · 1901년

    런던 · 출판

    점구름을 가장 잘 설명하는 축을 찾다 — 피어슨

    피어슨은 여러 차원의 관측점에 가장 가까운 직선과 평면을 찾는 문제를 제시했다. 훗날 호텔링의 1930년대 주성분 분석과 결합해 데이터의 변동을 몇 개 방향으로 요약하는 언어가 되었다. 피어슨의 생물측정 성과와 우생학 활동을 함께 기억하며, 1901년 논문을 오늘의 PCA 전체와 동일시하지 않는다.

    잠깐 멈춰 묻기

    흩어진 여러 차원 점을 정보 손실이 가장 적은 한두 방향으로 눕힐 수 있을까요?

    생각은 어떻게 달라졌나

    변수 하나씩 보던 표를 전체 공분산 구조와 가장 가까운 축의 문제로 바꿉니다.

    이 장소가 가능 조건이 된 이유

    University College London의 생물측정 연구실은 대규모 생물 자료, 계산 인력, 통계 저널을 결합했지만 동시에 우생학적 분류와 제도 권력을 강화했습니다.

    실제 이동 방식

    최소제곱·상관 연구 → 피어슨의 1901년 최적선·평면 → 호텔링의 1930년대 성분 → 고유벡터 계산 → 차원 축소

    여기까지는 과장하지 않기

    1901년 논문은 오늘의 PCA 전체가 아니며 호텔링의 후속 정식화를 지우지 않습니다. 통계적 축이 자연에 있는 중립적 인간 유형을 발견한다는 뜻도 아닙니다.

    근거 자료
    이 장면의 안정 링크
    런던괴팅겐
  9. 09 · 1925년

    괴팅겐 · 출판

    관측 가능한 양을 곱셈표로 바꾸다 — 행렬역학

    하이젠베르크가 전이 진폭의 배열로 원자 스펙트럼을 계산하자 보른은 그것이 행렬 곱셈임을 알아보았고, 보른·요르단과 세 사람의 논문이 행렬역학을 발전시켰다. 순서에 따라 결과가 달라지는 비가환 곱셈이 양자 관측량의 구조가 되었다. 한 천재의 고립된 발명으로 축소하지 않는다.

    잠깐 멈춰 묻기

    보이지 않는 전자 궤도 대신 관측 가능한 전이만 표에 넣으면 어떤 곱셈이 나타날까요?

    생각은 어떻게 달라졌나

    고전적 궤도 그림에서 전이 진폭의 배열로 이동하고, 곱셈 순서가 물리적으로 중요한 비가환 구조를 받아들입니다.

    이 장소가 가능 조건이 된 이유

    괴팅겐의 이론물리 세미나와 보른의 연구팀은 하이젠베르크의 계산표를 요르단의 행렬 지식과 빠르게 결합하고 논문으로 검증할 협업 밀도를 제공했습니다.

    실제 이동 방식

    분광 관측 → 하이젠베르크의 전이 배열 → 보른의 행렬 인식 → 보른·요르단 논문과 세 사람 논문 → 양자역학의 연산자 언어

    여기까지는 과장하지 않기

    ‘하이젠베르크가 행렬역학을 혼자 발명했다’고 말하지 않습니다. 행렬 형식은 양자 이론의 한 표현이며 그 자체가 측정 해석 논쟁을 모두 해결하지도 않습니다.

    근거 자료
    이 장면의 안정 링크
    괴팅겐시카고
  10. 10 · 1936년

    시카고 · 출판

    큰 표를 가장 중요한 몇 겹으로 줄이다 — 에커트와 영

    에커트와 영은 행렬을 더 낮은 계수의 행렬로 가장 잘 근사하는 정리를 제시했다. 훗날 특이값분해와 함께 이미지·잡음 제거·추천·잠재 의미 압축의 핵심 원리가 된다. 1936년 논문이 SVD 자체나 모든 현대 압축 기법을 한꺼번에 발명한 것은 아니다.

    잠깐 멈춰 묻기

    큰 행렬을 더 적은 방향으로 바꾸면서 어떤 정보를 먼저 남겨야 할까요?

    생각은 어떻게 달라졌나

    모든 칸을 똑같이 보존하는 대신 가장 큰 특이값 방향부터 남겨 오차가 가장 작은 저계수 근사를 만듭니다.

    이 장소가 가능 조건이 된 이유

    시카고 대학의 수리물리 환경은 진동·양자 계산의 직교 변환 문제를 일반 행렬 근사 정리로 다룰 연구 기반이었습니다.

    실제 이동 방식

    직교변환·특잇값 전사 → 에커트–영 1936년 정리 → 수치 선형대수 → 영상 압축·잡음 제거·추천의 저계수 모형

    여기까지는 과장하지 않기

    논문은 SVD 자체의 최초 발견이나 JPEG·추천 시스템의 직접 설계도가 아닙니다. ‘중요한 정보’도 선택한 오차 척도와 데이터 표현에 의존합니다.

    근거 자료
    이 장면의 안정 링크
    시카고워싱턴 DC
  11. 11 · 1947년

    워싱턴 DC · 기밀 연구

    자원과 목표를 제약식의 표로 만들다 — 단치히와 심플렉스법

    미 공군의 계획 문제에서 단치히와 동료들은 생산·수송의 제약과 목표를 선형식으로 표현했고, 1947년 심플렉스법을 발전시켰다. 행렬은 복잡한 선택의 구조를 계산 가능하게 했지만, 목적함수에 담기지 않은 가치까지 자동으로 올바르게 결정하지는 않는다.

    잠깐 멈춰 묻기

    수천 개 자원 제약 속에서 가능한 계획과 더 나은 계획을 어떻게 구분할까요?

    생각은 어떻게 달라졌나

    계획을 서술문이 아니라 행렬 부등식과 목적함수로 바꾸고, 가능한 다면체의 꼭짓점을 따라 개선합니다.

    이 장소가 가능 조건이 된 이유

    펜타곤의 Project SCOOP는 전후 공군의 인력·장비·수송 계획과 계산 자원을 한곳에 모아 대규모 선형계획을 실제 운영 문제로 만들었습니다.

    실제 이동 방식

    군수·경제 계획 → 선형 제약 모형 → 단치히와 동료들의 1947년 심플렉스법 → 초기 컴퓨터 구현 → 산업 최적화

    여기까지는 과장하지 않기

    한 사람·한 날짜의 고립된 발명으로 만들지 않고 소련의 독립 선형계획 전사와 팀의 구현을 지우지 않습니다. 최적해는 넣은 목표와 제약에 대해서만 최적입니다.

    근거 자료
    이 장면의 안정 링크
    워싱턴 DC테딩턴
  12. 12 · 1961년

    테딩턴 · 출판

    행렬을 삼각형으로 몰아 고유값을 찾다 — QR 알고리즘

    영국 국립물리연구소의 프랜시스와 레닌그라드의 쿠블라놉스카야는 1961년 무렵 QR 반복법에 독립적으로 도달했다. 컴퓨터가 큰 행렬의 고유값을 안정적으로 찾는 대표 방법이 되었지만, 테딩턴 한 핀은 두 중심 중 하나일 뿐이다.

    잠깐 멈춰 묻기

    컴퓨터가 큰 행렬의 고유값을 오차 폭주 없이 반복해서 찾게 하려면 무엇을 바꿔야 할까요?

    생각은 어떻게 달라졌나

    행렬을 직교 Q와 삼각 R로 나누고 순서를 뒤집어 곱하는 반복으로 고유값이 드러나는 형태에 접근합니다.

    이 장소가 가능 조건이 된 이유

    NPL의 초기 컴퓨터·수치분석 공동체는 이론적 분해를 실제 기계 정밀도와 비용 안에서 반복 검증할 장비와 문제를 제공했습니다.

    실제 이동 방식

    고유값 문제 → 직교 분해 → 프랜시스와 쿠블라놉스카야의 1961년 독립 알고리즘 → 수치 소프트웨어 → 과학·공학 시뮬레이션

    여기까지는 과장하지 않기

    테딩턴만을 QR 알고리즘의 단독 탄생지로 만들지 않습니다. 레닌그라드의 쿠블라놉스카야가 독립적으로 발표했고 QR 분해와 QR 반복 알고리즘도 같은 말이 아닙니다.

    근거 자료
    이 장면의 안정 링크
    테딩턴케임브리지(매사추세츠)
  13. 13 · 1963년

    케임브리지(매사추세츠) · 저술

    화면의 선을 움직이는 변환이 되다 — 스케치패드

    서덜랜드의 MIT 박사 연구 Sketchpad는 사용자가 광펜으로 도형을 그리고 제약을 걸며 복제·회전·확대하게 했다. 동차좌표와 변환 행렬은 화면의 물체를 일관되게 움직이는 문법이 되었다. 한 프로그램을 모든 그래픽 인터페이스의 유일한 기원으로 만들지는 않는다.

    잠깐 멈춰 묻기

    화면의 수천 점을 하나씩 옮기지 않고 도형 전체를 회전·이동하려면 무엇을 저장해야 할까요?

    생각은 어떻게 달라졌나

    도형을 픽셀 목록이 아니라 좌표 벡터와 변환 행렬·제약의 결합으로 표현합니다.

    이 장소가 가능 조건이 된 이유

    MIT Lincoln Laboratory의 TX-2, 광펜, 대화형 계산 자원과 박사 연구 환경은 사람이 화면과 직접 대화하는 기하 실험을 가능하게 했습니다.

    실제 이동 방식

    사영기하의 동차좌표 → 레이더·컴퓨터 디스플레이 → 1963년 Sketchpad 논문 → CAD·객체 그래픽·그래픽 파이프라인

    여기까지는 과장하지 않기

    Sketchpad는 결정적 선행이지만 모든 GUI·CAD·컴퓨터 그래픽을 한 사람이 단독 발명했다는 뜻은 아닙니다. Cambridge 핀은 MIT 연구 맥락입니다.

    근거 자료
    이 장면의 안정 링크
    케임브리지(매사추세츠)스탠퍼드
  14. 14 · 1998년

    스탠퍼드 · 출판

    웹의 링크를 거대한 전이행렬로 읽다 — PageRank

    브린과 페이지의 초기 검색 시스템은 웹 링크를 정규화한 행렬로 만들고 반복 계산의 안정된 방향을 이용해 페이지 중요도를 순위화했다. 행렬은 수십억 연결을 한 규칙으로 묶었지만, 링크 기반 순위가 진리나 사회적 가치를 중립적으로 측정하는 것은 아니다.

    잠깐 멈춰 묻기

    누가 누구를 가리키는지만으로 거대한 웹의 안정된 순위를 만들 수 있을까요?

    생각은 어떻게 달라졌나

    웹을 문서 모음이 아니라 확률이 이동하는 희소 전이행렬로 보고 반복 뒤 남는 고유방향을 찾습니다.

    이 장소가 가능 조건이 된 이유

    Stanford의 디지털 도서관 프로젝트, 대학 웹 인프라, 공개 논문 문화와 실리콘밸리 창업망은 연구용 순위 실험을 대규모 검색 서비스로 확장할 기반이었습니다.

    실제 이동 방식

    인용 분석·마르코프 사슬 → 웹 링크 행렬 → 1998년 PageRank 논문 → 분산 색인·검색 서비스 → 추천·네트워크 중심성 재사용

    여기까지는 과장하지 않기

    PageRank가 Google 검색의 모든 요소이거나 링크가 품질·진리를 자동 보증한다는 뜻은 아닙니다. 감쇠·스팸 대응·색인 선택도 결과를 형성합니다.

    근거 자료
    이 장면의 안정 링크
    스탠퍼드마운틴뷰
  15. 15 · 2017년

    마운틴뷰 · 주요활동

    문맥을 행렬끼리 비교하다 — Transformer

    Transformer는 단어 표현에서 만든 query·key·value 행렬을 곱해 어떤 토큰을 얼마나 참고할지 계산한다. 대규모 병렬 행렬 연산은 번역과 생성형 AI의 확장을 도왔지만, 행렬 곱셈만으로 언어 이해 전체를 설명할 수는 없다. 마운틴뷰는 Google 연구망의 기관 앵커이며 저자들의 여러 소속을 한 장소로 지우지 않는다.

    잠깐 멈춰 묻기

    문장 속 모든 단어가 서로를 한 번에 비교하려면 어떤 표 세 장이 필요할까요?

    생각은 어떻게 달라졌나

    순서대로 상태를 넘기던 계산에서 query·key 점수 행렬과 value의 가중합을 병렬로 계산하는 attention으로 이동합니다.

    이 장소가 가능 조건이 된 이유

    Google의 대규모 번역 자료, TPU·GPU 계산, 여러 연구팀과 공개 학회 논문 체계는 행렬화된 attention을 규모 있게 실험할 제도적 조건이었습니다.

    실제 이동 방식

    분산 표현·신경 번역 → attention 선행 연구 → 2017년 Transformer → 공개 구현·가속기 → 대규모 언어·멀티모달 모델

    여기까지는 과장하지 않기

    행렬은 효율적인 계산 표현이지 이해·추론·창의성 전체의 설명이 아닙니다. 마운틴뷰는 Google 연구망 앵커이며 Toronto 소속 저자와 attention의 선행도 지우지 않습니다.

    근거 자료
    이 장면의 안정 링크

숫자표가 움직임이 되는 네 단계

함께 풀고, 공간을 움직이고, 남는 방향을 찾아 압축하다

모든 선택은 공유 URL에 남습니다. 네 패널은 역사적으로 이어지지만 하나의 만능 행렬 요령이 아니라 서로 다른 수학 질문입니다.

표는 식 사이의 관계를 본다

한 행 연산은 계수들을 함께 움직인다

한 식의 배수를 다른 식에서 뺍니다. 0이 된 행은 정보가 반복되는지, 서로 모순되는지를 드러냅니다.

x + y = 5

x − y = 1

x + y = 5

2y = 4

계수행렬 rank

2

확대행렬 rank

2

해 1개

(x, y) = (3, 2)

소거·선형변환·고유벡터·저계수 근사는 선형 구조를 공유하지만 가정·목표·오차 경계는 서로 다릅니다.

수학을 직접 만져 보기

숫자표가 세계를 움직이기까지 — 산가지에서 양자와 AI까지

행렬은 처음부터 네모 괄호 속 추상 대상이 아니었다. 연립방정식을 정리한 산가지 표, 행렬식과 소거법, 공간 변환과 고유방향, 데이터 압축과 수치 알고리즘을 거쳐 양자 상태·검색·그래픽·AI를 움직이는 계산 언어가 되었다. 이 여정은 ‘누가 행렬을 발명했나’보다 서로 다른 문제들이 어떻게 같은 구조를 필요로 했는지 따라간다.

15장면 영화형 여정으로 다시 보기

전체 지도에서 다시 보기

벡터와 행렬의 계산 언어 더 깊이 보기

연립방정식·선형변환·고유벡터·저계수 근사가 같은 표 안에서 어떻게 이어지는지 개념 페이지에서 비교합니다.

전체 지도 자유 탐험