가장 좋은 답은 누가 정할까 — 최단 경로에서 AI까지

생각은 어떻게 달라졌나

거리라는 한 기준을 시간으로 바꾸자 최적 곡선이 달라진다는 목적함수의 힘을 봅니다.

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

흐로닝언에서 교수로 일하던 베르누이는 라이프치히 학술지와 별쇄를 통해 도전을 유럽 수학자들에게 보내고 해법을 비교할 공개 무대를 만들었습니다.

실제 이동 방식

갈릴레이의 낙하 문제 → 베르누이의 1696년 학술지 도전·1697년 흐로닝언 별쇄 → 뉴턴·라이프니츠·야코프 베르누이 등의 해법 → 변분법

생각은 어떻게 달라졌나

미지수를 수에서 곡선·함수로 확장하고 각 곡선에 붙는 총량의 극값을 찾습니다.

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

로잔·제네바의 부스케 출판망은 상트페테르부르크·베를린에서 전개된 오일러의 긴 연구를 체계적인 라틴어 책으로 묶어 국제 독자에게 보냈습니다.

실제 이동 방식

최속강하선 해법 → 오일러의 함수 극값 일반화 → 1744년 《Methodus inveniendi》 → 라그랑주의 변분 표기 → 오일러–라그랑주 방정식

생각은 어떻게 달라졌나

각 오차를 따로 설명하는 대신 잔차 제곱합이라는 목적함수로 묶어 모형 매개변수를 고릅니다.

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

파리의 천문·측지 계산과 인쇄·아카데미 환경은 여러 관측을 조정하는 절차를 혜성 궤도 계산서 안에 공개하고 비교하게 했습니다.

실제 이동 방식

천문·측지의 과잉 관측 → 르장드르의 1805년 최소제곱 공개 → 가우스의 1809년 이론과 선행 사용 주장 → 오차 모형·회귀·통계 추정

생각은 어떻게 달라졌나

닫힌 해를 한 번에 구하는 대신 국소 기울기를 반복 계산해 근삿값으로 접근합니다.

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

파리 과학아카데미의 짧은 회보 발표 형식은 연립방정식 수치 절차를 빠르게 기록하고 해석학·계산 독자에게 퍼뜨렸습니다.

실제 이동 방식

미분과 극대·극소 → 연립방정식 반복 풀이 → 코시의 1847년 음의 기울기 절차 → 최급강하·선탐색 → 현대 최적화와 학습

생각은 어떻게 달라졌나

하나의 목적값 대신 여러 주체의 선호가 맞바뀌는 효율적 경계와 복수의 비지배 해를 봅니다.

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

로잔 대학의 정치경제학 강의와 출판은 수학적 선택·배분을 사회 제도와 연결할 무대를 만들었지만, 당시 경제·계급 가정을 보편 가치로 만들지는 않습니다.

실제 이동 방식

한계효용·일반균형 → 파레토의 1896~1897년 강의서 → 후생경제학의 파레토 기준 → 다목적 최적화와 파레토 전선

생각은 어떻게 달라졌나

목적함수의 기울기만 0으로 두는 대신 활성 제약·승수·상보성을 함께 계산합니다.

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

시카고 대학의 석사논문 제도는 결과를 기록했지만 낮은 유통성과 뒤이은 전쟁·학문 경로는 그 기여가 오랫동안 표준 서사 밖에 머물게 했습니다.

실제 이동 방식

라그랑주 승수 → 부등식 제약의 확장 → 카루시 1939년 석사논문 → 쿤·터커 1950년 발표 → 선행 연구 복원과 KKT 명명

생각은 어떻게 달라졌나

공장 경험칙을 선형 목적·부등식 제약과 자원의 한계가치를 함께 계산하는 계획 문제로 바꿉니다.

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

레닌그라드 대학·산업 자문과 소련 계획경제는 생산 배분 문제를 긴급하게 만들고 출판 기반을 제공했지만 언어·제도 장벽은 국제 이동을 늦췄습니다.

실제 이동 방식

합판 공장 생산 문제 → 칸토로비치의 1939년 소책자 → 전쟁·제도 장벽 속 제한된 수용 → 1950년대 재출판·경제 해석 → 선형계획과 자원 그림자가격

생각은 어떻게 달라졌나

계획표를 고차원 다면체로 보고 인접한 꼭짓점 사이에서 목적값을 개선하는 절차로 바꿉니다.

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

전후 워싱턴의 미 공군 통제·계획 조직은 대규모 배치·훈련·물류 문제와 계산 인력을 모아 일반 계획 모형을 시험할 자원을 제공했습니다.

실제 이동 방식

전시·전후 군수 계획 → 1947년 단치히의 선형 모형·심플렉스법 → 식단 문제와 초기 계산기 시험 → 산업·수송·통신 최적화

생각은 어떻게 달라졌나

허용 영역의 기하를 승수·활성 제약·상보성으로 번역해 비선형계획의 공통 언어를 만듭니다.

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

1950년 버클리 심포지엄은 서로 다른 최적화 연구를 한 장소와 논문집에 모아 새로운 분야 ‘비선형계획’을 이름 붙이고 검토하게 했습니다.

실제 이동 방식

라그랑주 승수·카루시 논문 → 1950년 버클리 발표 → 1951년 심포지엄 논문집 → 제약자격·쌍대성·볼록최적화의 확장

생각은 어떻게 달라졌나

완전한 함수표를 요구하는 대신 반복 관측과 줄어드는 보폭으로 불확실성을 평균냅니다.

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

노스캐롤라이나 대학의 수리통계 공동체는 확률론과 반복 계산을 연결하고 논문을 《Annals of Mathematical Statistics》로 보낼 연구 기반을 제공했습니다.

실제 이동 방식

통계 추정·순차 실험 → 로빈스–몬로 1951년 확률근사 → 확률적 근 찾기와 제어 → 확률적 기울기법·온라인 학습

생각은 어떻게 달라졌나

완전한 경로를 한꺼번에 비교하는 대신 상태별 최적 가치를 뒤에서 앞으로 재사용합니다.

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

산타모니카 RAND의 장기 급료·군사 시스템 문제·계산 자원은 순차 결정 이론을 보고서·책·컴퓨터 계산으로 발전시킬 환경을 제공했습니다.

실제 이동 방식

변분법·제어 문제 → RAND의 다단계 의사결정 → 1953년 초기 동적계획 보고서 → 최적성 원리 → 제어·경제·강화학습

생각은 어떻게 달라졌나

해의 존재·검증과 빠른 탐색을 분리하고 서로 다른 문제를 환원으로 묶어 최악 경우 난이도를 비교합니다.

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

버클리의 이론컴퓨터과학 공동체와 빠르게 성장한 학술회의·논문망은 계산복잡도를 알고리즘 설계의 공통 질문으로 만들었습니다.

실제 이동 방식

튜링의 계산 가능성 → 쿡의 1971년 NP-완전성 → 카프의 1972년 21개 조합문제 환원 → 근사·매개변수·휴리스틱 연구

생각은 어떻게 달라졌나

심플렉스의 경계 이동과 다른 투영·장벽 기하를 써서 선형계획의 다항시간 경로를 만듭니다.

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

머리힐 벨연구소의 장기 기초연구·통신 최적화 문제·대형 계산기는 새 알고리즘을 이론과 구현 양쪽에서 시험할 산업 연구 환경을 제공했습니다.

실제 이동 방식

심플렉스의 실용 성능·최악 사례 → 하치얀 1979년 타원체법 → 카르마르카르 1984년 내점법 → 장벽법·원추최적화

생각은 어떻게 달라졌나

손으로 정한 특징에서 대규모 자료·GPU·역전파로 내부 표현과 매개변수를 함께 학습하는 계산 체제로 이동합니다.

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

토론토 대학의 장기 신경망 연구, ImageNet 공개 자료, NVIDIA GPU와 국제 학술대회가 알고리즘·자료·하드웨어의 결합을 검증할 무대를 만들었습니다.

실제 이동 방식

신경망·역전파 선행 연구 → ImageNet 자료와 GPU 병렬계산 → 2012년 AlexNet → 대규모 심층학습 확산 → 목적불일치·편향·에너지 질문