요약
사이먼스 재단이 앤트로픽·오픈AI와 함께 1,500만 달러로 수학계의 AI 적응을 돕습니다.
미국 사이먼스 재단이 10월 15일 발표한 새 지원 사업입니다. AI가 수학 연구에 빠르게 퍼지면서 생긴 변화에 수학계가 적응하도록 돕는 것이 목표입니다.
왜 중요한가
- 수학계의 AI 사용 기준을 만드는 일에 AI 기업 두 곳이 직접 돈을 댑니다.
- 돈은 기업이 아니라 재단이 관리하고 공개 공모로 나눠, 연구자 공동체가 방향을 정하게 했습니다.
- 두 회사는 수학을 넘어 재단이 지원하는 기초과학 연구자에게도 AI 도구와 컴퓨팅 자원을 제공합니다.
핵심 내용
- 사이먼스 재단, 앤트로픽, 오픈AI가 자금과 자원을 합쳐 1,500만 달러를 내놓습니다.
- 공모로 뽑힌 워크숍과 사업은 AI가 도운 최근 성과 검증, 새 도구 학습, AI 사용 공동 기준 마련 등을 다룹니다.
- 재단은 증명 보조기(컴퓨터로 수학 증명을 검증하는 프로그램) Lean 개발을 지원한 이력을 내세웠습니다.
- 데이비드 스퍼겔 재단 회장은 지금이 수학 전체를 살펴볼 때라고 말했습니다.
- 회사별 분담액, 일정, 개별 지원 규모는 밝히지 않았습니다.
HN 반응
- 지원금이 이미 넉넉한 유명 수학자에게 몰린다는 불만에, 연구비는 결국 대학원생·박사후연구원 고용에 쓰인다는 반론이 나왔습니다.
- 수학 성과를 홍보에 써 비판받은 AI 기업의 이미지 세탁이라는 냉소에, 재단이 오래 arXiv(논문 공개 사이트)를 지원해 왔다는 옹호가 맞섰습니다.
테렌스 타오 같은, 이미 자금이 넉넉한 늘 그 30명 남짓한 수학자들이 이 돈을 받고, 우리 같은 초기 경력 수학 전공생들은 빈손으로 남게 될 거라는 생각을 자주 합니다.
비유하자면 "npm fund를 실행하면 뜨는 패키지들이 아니라 Node JS 재단에 100달러를 기부하는 것"과 비슷하다고 할까요.
그래도 그 사람들이 그 돈을 그냥 챙기는 건 아니잖아요. 다른 학술 연구비와 똑같이 박사과정생과 박사후연구원을 뽑는 데 쓸 텐데요.
0이 아닌 어느 정도의 금액은 토큰값으로 곧장 AI 회사들에 들어갈 가능성이 높습니다...
그 돈 일부로 가중치도 공개하고, 학습 파이프라인도 공개하고, 내부를 전부 들여다보고 마음대로 뜯어고칠 수 있는 LLM 기반 정리 증명 보조 도구를 개발하면 안 되나요? 다른 계산 도구처럼 모든 수학자의 연구실에 흔한 도구로 놓이게 하는 거죠. 그런 프로젝트는 그 자체로 연구 주제도 만들어 낼 겁니다.
VC 자금이 광고 예산을 통해 구글과 메타로 흘러 들어간 것과 거의 같은 방식이죠.
AI 하는 사람들이 투자자들에게 내미는 핵심 논리가 바로 "사람을 토큰으로 대체하겠다"는 거 아닌가요?
이 돈이 비정규직 인건비로 안 쓰인다면 수학자들한테는 정말 안타까운 일이겠네요.
그런데 저는 물리학 박사에, 학계에서 선임 연구원으로 15년 넘게 일했는데, 지금은 주 60시간 넘게 무급 인턴으로 일하면서 점심값으로 토큰을 사고 있습니다.
그것도 제가 가장 운이 나쁜 축이 아니고요.
수정: 감이 오시라고 덧붙이면, 제 박사 전공 분야(끈이론)는 유럽에서 연간 1,500만~3,000만 유로 정도를 지원받습니다(구글 검색 기준).
이건 말 그대로 "낙수효과"예요. 사람들이 이기적이라서 절대 안 통하는 그 낙수효과요.
그래도 테렌스 타오가 돈을 챙겨서 자기 월급을 올리거나 할 수는 없잖아요. 그 돈은 반드시 써야 합니다.
박사과정생한테 써야 하는 건 아니죠.
그분은 이제 사람보다 AI와 협업하고 있습니다. 적어도 최근 글을 보면 그런 인상을 받습니다.
최근 인터뷰에서 그분은 박사과정생·박사후연구원들과 하는 연구 회의 말고는 요즘 수학을 할 시간이 거의 없다고 말합니다.
꽤 초창기에, 연구자가 수학에 기여하는 가장 좋은 방법은 하던 일을 전부 내려놓고 대신 AI를 공부하는 것일 수 있다고 말한 사람이 타오 아니었나요?
타오였던 것 같은데 제가 틀렸을 수도 있습니다. 어쨌든 그 생각이 처음 나왔을 때보다 지금은 더 설득력 있어 보입니다.
낙수효과 경제의 기쁨이란...
우리가 아는 고등교육은 부유한 집안이 육체노동을 피하라고 자녀를 신학 공부시키려고 교회에 돈을 내던 데서 시작했습니다.
여러 역사학자가 학벌주의는 대체로 귀족 계급이 대중을 조종하려고 쓴 도구일 뿐이라는 데 동의합니다.
초기 경력 수학 전공생으로서 시몬스 재단이 밝힌 계획과 어떻게 다르게 했으면 하시는지 궁금합니다. 학생분 같은 사람들도 한몫 챙길 방법이 있으면 좋겠네요.
일단 AI를 밀어주지 않았으면 합니다. 뭔가를 하라고 돈이 나오면 누군가는 그 돈을 받고 그 일을 할 테고, 그러면 결국 학문이 깎여 나갑니다.
요즘 개발할 때 AI를 쓰는데 제 코딩 실력이 점점 나빠지는 느낌이라 가끔 재활이 필요할 정도입니다. 수학자들도 같은 일을 겪지 않을까 좀 걱정돼요. 나중에는 증명 구조를 AI가 짜 놓은 탓에 수학자 본인이 손댈 수 없는 경우가 생길 것 같습니다(건드리면 어디가 어떻게 무너질지 알 수 없으니까요).
이 재단은 1994년에 설립됐고, 위키백과에 따르면 "2022년 기준 자산이 50억 달러가 넘는 미국 최대 규모의 자선 단체 중 하나"입니다. 짐 사이먼스가 헤지펀드 르네상스 테크놀로지스를 세운 사람이고요.
시몬스 재단은 arXiv에도 상당한 자금을 대고 있고, 수학과 과학 전반의 개별 연구비도 아주 많이 지원합니다. 여기에 무슨 속셈이 있다고 보지는 않아요.
기사에 바로 나와 있어요.
재단은 과학을 위한 머신러닝을 일찍부터 후원해 왔으며, 수학자들의 연구 방식을 혁신하고 AI 지원 증명을 가능하게 한 Lean 증명 보조기의 개발에도 자금을 댔다. 또한 수학자들이 한자리에 모여 이 분야에서 AI의 역할을 탐구하고 논의하도록 워크숍, 강연, 공동 연구도 마련해 왔다.
빅AI가 학습해 가는 곳이 바로 arXiv죠.
첫째, 시몬스 재단은 2011년부터 arXiv를 지원해 왔습니다.
둘째, arXiv의 존재 이유 자체가 공개 접근입니다. 예전에는 이렇지 않았어요. 연구가 최대한 널리 퍼지는 건 좋은 일입니다.
사람들이 학습하는 곳이기도 하고요.
그러니까 이 회사들이 최근 수학계의 상황을 만들어 놓은 거잖아요. 수많은 최고 수학자들이 그들의 방식을 비판했고, 쏟아낸 결과물을 보이콧하자는 말까지 했는데요. 그런데 AI 연구소들의 대답이 이 불쌍한 학계 영혼들을 1,500만 달러로 사들이는 겁니까? 그마저도 대부분 AI 토큰으로요? 여기서 섬뜩한 아이러니가 느껴지는 게 저뿐인가요?!
똑똑한 말씀을 많이 하시는 분으로 알고 있는데, 정말 시몬스 재단에 대해 잘 모르셨던 건가요?
몰랐습니다. 미국에서 가장 큰 자선 재단 중 하나라는 것도 확실히 몰랐고요!
"시장을 풀어낸 사람(The Man Who Solved the Market)"을 읽어 보세요. 대단한 이야기예요. 그분은 정말 비범한 사람이었고, 머리가 엄청나게 좋았고, 수학과 과학을 지원하는 데 큰돈을 내놨습니다.
여기서 "자선"이란 AI 가속과 인간 제거를 뜻하죠.
OAI와 앤트로픽은 수학적 발견을 사실상 싹싹 긁어다 자기네 모델의 홍보 성과로 둔갑시키고, 그 과정에서 연구 분야를 뜻하지 않게 쑥대밭으로 만들었다고 반발을 샀죠. 그래 놓고 각자 500만 달러쯤(일부는 토큰 크레딧으로)을 홍보용 이미지 세탁에 던져 넣는 건 제 잇속 챙기기로 보입니다.
이 기회를 잡아 연구소들에게 체면치레용 무화과 잎을 내준 시몬스 재단은 참 대단하네요. 역대 연구비 제안 중 가장 빠른 "승인"이었을지도 모르겠습니다.
이런 최첨단 모델 때문에 수학이라는 연구 분야가 확실히 크게 달라지긴 했지만, 그걸 쑥대밭이 됐다고 표현하는 건 말이 안 됩니다.
동력 직기가 섬유 분야를 쑥대밭으로 만들었다고 말하는 것과 다를 바 없어요.