17세 Hannah Cairo, 40년 된 수학 추측을 반례로 뒤집음

 (english.elpais.com)
1P by GN⁺ | ★ favorite | 댓글 1개
  • 조화해석에서 수십 년간 참으로 여겨졌던 Mizohata-Takeuchi 추측이 17세 Hannah Cairo의 반례로 보편 명제가 아님이 확인됨
  • 이 추측이 참이면 분야의 여러 중요한 결과를 자동으로 뒷받침할 수 있었기 때문에, 반박 자체가 기존 연구 기대를 크게 흔듦
  • Cairo는 UC Berkeley 수업의 선택 과제로 원래 추측을 접한 뒤, 몇 달간 증명을 시도하다가 어려움의 구조를 이용해 반례 구성으로 방향을 바꿈
  • 반례에는 프랙털 등 여러 도구가 쓰였고, 이후 문제를 주파수 공간에서 다시 보며 더 단순한 반례 설계법도 찾아냄
  • 고등학교를 마치기 전 연구 성과를 낸 Cairo는 올가을 University of Maryland에서 Zhang의 지도 아래 박사과정을 시작할 예정임

17세가 반박한 Mizohata-Takeuchi 추측

  • Hannah Cairo는 몇 달 동안 추측을 증명하려 했지만, 왜 증명이 어려운지 이해한 뒤 그 구조를 이용해 반례를 만들 수 있다고 판단함
  • 여러 실패 끝에 연구 대상 성질을 만족하지 않는 사례를 구성했고, 이 사례는 명제가 보편적으로 참이 아님을 보임
  • 반례 구성에는 프랙털을 포함한 여러 도구가 필요했고, 각 요소를 매우 조심스럽게 배치해야 했음
  • Ruixiang Zhang에게 자신의 제안이 실제로 맞다는 점을 납득시키는 데도 시간이 걸림

조화해석에서 왜 중요한가

  • Cairo가 해결한 문제는 Mizohata-Takeuchi conjecture로, 1980년대 처음 제기된 뒤 조화해석 연구자들이 수십 년간 다뤄온 문제임
  • 널리 참으로 여겨졌던 이 추측은, 참일 경우 분야의 여러 중요한 결과를 자동으로 검증할 수 있었음
  • 조화해석은 함수를 사인파 같은 더 단순한 구성요소로 분해하는 분야임
    • 디지털 오디오·비디오 파일 압축
    • 통신 시스템 설계
    • 여러 물리·수학 현상 이해

Fourier 이론과 추측의 직관

  • 조화해석은 19세기 초 Joseph Fourier가 고체 내부 열 확산을 설명하는 열 방정식을 연구한 데서 출발함
  • Fourier의 핵심 아이디어는 복잡한 함수를 사인과 코사인의 합으로 분해하는 것이었고, 이 기법은 Fourier series로 알려짐
  • Cairo는 조화해석에서 모든 것이 파동으로 이루어져 있으며, 충분한 수의 파동을 쓰면 무엇이든 만들 수 있다고 설명함
  • Fourier restriction theory는 제한된 파동 집합만으로 어떤 대상을 만들 수 있는지 연구함
  • Cairo의 설명에 따르면 Mizohata-Takeuchi 추측은 특정 종류의 파동만 사용하면 선으로 이루어진 형태가 나온다는 명제임

수업 과제에서 시작된 연구

  • Cairo는 바하마 Nassau에서 태어났고, 미국으로 이주한 뒤 고등학생 신분으로 교육 시스템에 들어갔지만 UC Berkeley 수업을 들음
  • 관심 분야에서 읽은 책을 교수들에게 알리고 수업 참석을 요청했으며, Zhang을 포함한 여러 교수가 이를 허락함
  • Zhang은 어느 날 추측의 훨씬 단순한 특수 사례를 증명하는 과제를 냈고, 선택 과제로 원래 추측도 포함함
  • Cairo는 그 선택 문제에 몰두했고, 증명을 시도하다가 반례 구성으로 전환함
  • 첫 반례를 얻은 뒤 전체 문제를 주파수 공간에서 다시 공식화했고, 자신의 구성이 어떻게 보이는지 관찰한 끝에 더 단순한 반례 설계법을 찾음

El Escorial 학회와 첫 국제 발표

  • Cairo는 6월 9일부터 13일까지 El Escorial의 San José Residence에서 열린 12th International Congress on Harmonic Analysis and Partial Differential Equations에 참석함
  • 이 행사는 Institute of Mathematical Sciences와 Autonomous University of Madrid가 조직했으며, El Escorial Meetings로 알려져 있음
  • 거의 50년 역사 동안 해당 분야에서 권위 있는 행사 중 하나가 됨
  • Cairo에게는 첫 국제 과학 여행이었고, 학회 프로그램에 포함된 발표도 진행함
  • Cairo는 대중 앞에서 말하는 일을 좋아하며, 때로는 자신보다 나이가 많은 학생들을 가르치는 것도 좋아한다고 말함

수학을 배운 경로와 다음 단계

  • Cairo는 어릴 때부터 복잡한 수학 교재를 혼자 읽기 시작함
  • 처음에는 정수론을 할 것이라 생각했고, 13~14세 때 정수론 논문을 썼지만 아무도 관심을 두지 않는 문제였다고 회상함
  • COVID-19 팬데믹 동안 Berkeley Math Circle 여름 캠프가 온라인으로 열리면서 바하마에 있던 Cairo도 참여할 수 있었음
  • Math Circle은 대학 이전 학생들이 어려운 수학 문제를 협력해 푸는 프로그램임
    • Cairo는 이를 학교 수학처럼 암기하는 방식이 아니라, 친구들과 아이디어를 탐구하고 공유하는 활동으로 봄
    • 프로그램 디렉터는 Cairo의 뛰어난 수학적 재능을 알아보고 이후 강사로 초대함
  • Cairo는 올가을 University of Maryland에서 박사과정을 시작하고, Zhang의 지도 아래 계속 연구할 예정임
  • 스페인 ICMAT의 Mathematics Intensive Programme도 유망한 젊은 수학자를 발굴하고 지원하는 것을 목표로 함

함께 보면 좋은 글 β

GN⁺   [-]
Hacker News 의견들

  • https://archive.is/Nr1hH

  • Hannah Cairo가 추측과 자신의 결과를 설명한 영상이 있음 [1]
    또 Terence Tao가 얼마 전 추가 진전에 대해 암시했는데 [2], 더 아는 사람이 있는지 궁금함
    [1]: https://www.youtube.com/watch?v=3ZeH_8sTyKA
    [2]: https://mathstodon.xyz/@tao/114003793236630744

  • 논문은 여기 있음: https://arxiv.org/abs/2502.06137
    대학원 때 조화해석 과목을 들을 기회가 있었는데, 당시 내 연구와는 간접적으로만 관련 있어서 그냥 넘겼음

  • 수학에서 어떤 나이든 독창적이고 새로운 것을 해내는 건 극도로 어려움
    17살에 해냈다면 말도 안 되게 재능 있는 것임. 축하함

    • 독창적인 것 자체가 원래 그렇긴 함

  • “어느 날 그는 그 추측의 훨씬 더 단순한 특수 사례를 숙제로 증명해 보라고 냈고, 선택 과제로 원래 추측도 포함했다”
    여기에는 교훈이 있음. 가능하다면 사람들에게 뛰어날 기회를 줘야 함

    • 대학 1학년 초기에 Collatz 추측 같은 “간단한” 문제들을 받았던 기억이 남
      그렇게 단순하게 표현되는 문제라면 해법도 똑같이 단순할 거라 생각해서, 해법이 어떤 모습일지 탐구해 보고 싶었음
      나이가 들고 내 지적 역량을 더 잘 이해하게 되면서, 성공 가능성이 훨씬 크고 획기성은 전혀 없는 실용 문제를 풀기로 선택하게 됨
      그래도 처음부터 진지하게 받아들여진 느낌은 좋았고, 현실 세계에 갇히기 전에 어려운 문제를 풀어보려 하는 건 중요하다고 봄
    • 내 어려운 문제들은 전부 주니어에게 줌

  • 자신보다 나이가 많은 사람들에게 보통 가르치는 내용을, 그보다 어린 사람이 발견하는 일이 얼마나 자주 있을까?
    Euler는 유명한 항등식을 발견했을 때 41살이었고, 그건 학교에서 배우는 종류임
    Newton도 미적분을 만들었을 때 21살이었으니, 10대 후반이 배울 수도 있는 내용임
    Galois는 몇 살 차이 정도인가? 20살에 죽었고, 그 내용은 대학 중반쯤 가르치는 것 같음

    • 내가 다닌 대학에서 Galois 이론은 3학년 2학기 과목이었고, 영국식으로는 20~21살에 해당함
    • Carl Gauss, Mozart, Blaise Pascal도 있음. Pascal의 유명한 정리는 아마 17살 때였을 것임
      “Child prodigies” 목록에도 후보가 더 있음
      https://en.wikipedia.org/wiki/List_of_child_prodigies
    • 부모가 어떤 식으로든 일찍 관여했을 가능성이 크다고 봄. 개인 1:1 교육이나 부모 자신이 연구자인 경우 같은 것들임
      동시에 그 젊은 사람도 극도로 동기부여되어 있고 해낼 자질이 있어야 함. 즉 맥락적 조건과 개인적 역량이 모두 필요함

  • 멍청한 질문일 수 있는데, 그녀가 이번 가을에 박사과정을 시작한다면 이미 목표를 이룬 것 아닌가?
    수십 년 된 문제를 푼 사람에게 인간 지식의 경계를 확장했다는 걸 증명하려고 “두 번째” 무언가를 하라고 기대하는 이론적 근거가 뭔지 궁금함

    • 박사과정은 연구하는 법을 배우는 훈련임
      하나의 아주 어려운 문제를 풀었다고 해서 그런 훈련이 필요 없어지는 건 아님. 특히 반례는 때로 기술보다 순수한 재능과 운의 문제일 수 있어서 더 까다로움
      박사학위를 받고 학계에 남고 싶다면 다음 단계는 포닥임. 문제 하나를 풀었다고 해서 좋은 포닥 자리에 필요한 명확한 연구 의제나 꾸준한 출판 능력의 증거를 갖췄다고 볼 수는 없음
    • 그런데 17살에 박사학위를 받으면 뭘 하게 될까?
      그렇게 어릴 때 교수로 채용하는 건 상상하기 어려움. 이미 생산적인 협업을 몇 년 더 이어가면서, 수학자가 되는 데 필요한 비수학적 부분도 멘토링받는 건 나쁘지 않아 보임
    • 미국의 박사과정은 연구와 별개로 많은 수업 이수가 필요함
      어쩌면 그녀가 그 부분에 관심 있을 수 있음. 아니면 특히 EU의 일부 대학처럼 출판 논문 기반 박사학위를 제공하는 곳도 있음
      그녀는 자신의 반례 논문(https://arxiv.org/pdf/2502.06137)을 학위논문으로 묶어서 졸업할 수도 있음. 때로는 지도교수 없이도 가능함
    • 박사학위는 지능이나 성취의 증명인 만큼이나 버티는 능력의 증명이기도 함
    • 좋은 질문임. 나도 박사학위가 있는데, 사람들이 박사학위의 목적을 잊은 것 같음
      Hannah는 많은 박사학위 소지자들이 실패하는 것, 즉 새로운 연구 기여를 사실상 해냈음
      미국 기준으로만 말하자면, 최근 박사과정은 주로 a) 강의와 많은 수업을 포함한 학계 준비, b) 산업계 직무를 위한 연구에 초점이 맞춰져 있음. 내 동기 중 중국이나 인도 출신 학생 상당수에게는 미국 일자리로 가는 통로였음
      박사과정은 순수하게 연구와 인간 지식의 확장에 집중해야 한다는 데 동의함. 하지만 실제로는 학생들이 지도교수의 연구를 홍보하러 학회에 가고, 대학은 조교라는 값싼 강사를 얻고, 많은 평범한 학생들이 “이걸 조금 바꿔서 결과가 어떻게 변하는지 보라” 식의 점진적 논문을 써서 R&D 자리를 확보하는 사업에 가까움
      Hannah의 연구에는 매우 깊은 인상을 받았고, 요즘 많이 사라진 연구의 이타적 성격을 잘 보여준다고 봄. 불가능한 문제를 푸는 것이 존중받는 학계에 가고 싶지 않은 사람들이, 자신의 경력을 앞당기려고 저항이 가장 적은 박사 루트를 고르는 모습을 너무 자주 봄
      각자가 이익을 극대화하려는 건 당연할 수 있지만, 발견은 종종 어려운 문제와 불가능을 향한 이타적 추구에 달려 있다는 점을 기억해야 함. 이는 내 동기들과 30회 넘는 학회에서 본 것에 기반한 개인적 생각임

  • 엄청나게 재능 있긴 하지만, 10대에게서 이런 결과가 나왔다는 사실 자체는 놀랍지 않음
    주요 수학적 발견은 종종 20대 중반에게서 나왔고, 더 큰 발견일수록 20대 초반과 10대 쪽으로 기우는 경향이 있음. 순수수학이 그만큼 창의적인 분야라서 그렇다고 봄

    • 우리가 만든 학계 시스템은 꽤 어리석어서, 책임연구자들이 다음 연구비를 어디에 신청할지 고민하는 데 많은 시간을 쓰도록 강제됨
      또한 긴 승부보다 단기 사고에 맞춰 시스템을 최적화함. 연구소 같은 예외가 있긴 하지만, 그래서 젊은 사람들이 가장 맑은 정신을 갖는다고 봄
    • 젊은 수학자에 관한 이런 주장을 들을 때마다, 지금도 정말 맞는지, 역사적으로도 정말 그랬는지 의문이 듦
      예를 들어 Andrew Wiles는 40대에 Fermat의 마지막 정리를 증명했고, 나이 들어서도 생산적인 수학자는 많음
      또 이런 주장은 화려한 대형 문제 쪽으로 치우쳐 보임. 수학적 틀을 만들고, 구조적 통찰을 찾고, 서로 떨어진 분야 사이의 연결을 발견하는 일은 젊은 집중력만이 아니라 폭넓은 경험이 필요함
    • 이 말은 아주 오래전부터 더는 맞지 않았다고 봄
      20대에 주요 기여를 한 가장 최근 사례라면 프랑스 혁명 무렵의 Évariste Galois 정도일 것임
      10대는? 전혀 아님. 사실상 그런 적이 없다고 봄
    • 아마 처음 푸는 문제는 재미처럼 느껴지지만, 문제를 매일 직업으로 풀다 보면 금방 지루해지기 때문일지도 모름
    • https://en.m.wikipedia.org/wiki/Shoshin
      https://en.m.wikipedia.org/wiki/Einstellung_effect

  • 그녀가 처음 썼다는 수론 논문 링크가 있는 사람이 있나?
    그녀의 반례에는 의심이 있음. 점근적 방법을 꽤 느슨하게 쓰는 것 같음

답변달기