사이먼스 재단, Anthropic, OpenAI, 수학자들의 AI 시대 적응 지원에 1,500만 달러 투입
사이먼스 재단은 2026년 10월 15일, Anthropic 및 OpenAI와 협력하여 수학계가 연구의 AI 주도 변화에 적응하도록 돕기 위해 총 1,500만 달러 규모의 자금과 자원을 공동으로 투입한다고 발표했습니다. 재단은 공개 제안 요청을 포함한 자금 관리 및 배분을 담당하며, 두 AI 연구소는 수학을 넘어 기초 과학 전반으로 확장되는 도구와 컴퓨팅 자원을 제공합니다.
실제 발표 내용
이 프로그램은 사이먼스 재단, Anthropic, OpenAI의 3자 파트너십입니다. 핵심 수치는 총 1,500만 달러의 자금 및 자원이며, 단일 기관에 대한 단일 보조금이 아닙니다.
발표에 따르면, 이 자금은 다음을 지원할 예정입니다:
- 연구자들이 최근 AI 지원 결과를 평가하는 데 도움이 되는 워크숍 및 이니셔티브
- 수학자들이 새로운 AI 도구를 배우고 사용할 수 있도록 하는 교육
- 커뮤니티 전반에 걸쳐 관점을 공유할 수 있는 장소
- 수학에서 AI 사용에 대한 공동 표준을 수립하기 위한 노력
사이먼스 재단은 상을 관리하고 공개 제안 요청을 발행합니다. Anthropic과 OpenAI는 재단이 지원하는 연구자들에게 AI 도구와 컴퓨팅 리소스를 별도로 제공하며, 이러한 리소스는 수학에 국한되지 않고 일반적으로 기초 과학으로 확장된다고 발표는 밝혔습니다.
수학에 초점을 맞춘 이유
사이먼스 재단은 수학을 AI의 영향이 가장 빠르게 도래하고 커뮤니티가 공유 규범을 가장 필요로 하는 분야로 규정합니다. 재단은 과학을 위한 머신러닝의 초기 후원자였으며, 수학자들의 작업 방식을 "혁명적으로 바꾸고" AI 지원 증명을 가능하게 했다고 재단이 설명하는 Lean 증명 보조 도구의 개발을 포함합니다. 재단은 또한 AI의 역할에 관한 워크숍, 강연, 협업을 주최해 왔습니다.
재단의 명시된 근거, 재단의 말로
사이먼스 재단의 데이비드 스퍼겔 회장은 이 프로그램을 기업 채택이 아닌 커뮤니티 거버넌스로 규정했습니다:
"인공지능이 연구 환경을 빠르게 재편하면서, 우리는 수학 커뮤니티가 함께 모여 최선의 길을 모색하도록 돕고 싶습니다. 지금은 수학을 전체적으로 바라볼 때입니다. 증명과 정리의 집합체가 아니라 인간의 호기심에 의해 추동되는 집단적 이해로 말입니다."
규칙을 누가 정해야 하는지에 대해 스퍼겔은 말했습니다:
"이것은 수학 커뮤니티가 함께 모일 때입니다. 커뮤니티가 이러한 도구가 어떻게 평가되고, 채택되고, 사용되는지에 대한 논의를 주도해야 하며, 특정 회사나 기관이 주도해서는 안 됩니다. 프로그램의 목표는 수학 커뮤니티를 지원하는 것입니다."
사이먼스 재단은 1994년 짐과 매릴린 사이먼스가 설립한 민간 자선 재단입니다. 짐 사이먼스는 퀀트 헤지펀드 르네상스 테크놀로지스를 설립했습니다. Hacker News의 댓글 작성자들은 위키백과의 재단 설명을 인용하여 2022년 기준 자산이 50억 달러가 넘는 미국 최대 자선 단체 중 하나라고 언급했습니다.
Hacker News 반응: 인센티브, 규모, 수혜자에 대한 회의론
Hacker News 토론에서 지배적인 반응은 두 AI 연구소의 참여에 대한 의심이었습니다. 가장 많은 추천을 받은 주장은 연구소들이 수학적 결과를 모델의 마케팅 성과로 전환했다는 비판을 받아 왔으며, 프로그램에 기여하는 것이 평판 회복 기능을 한다는 것이었습니다:
"OAI와 Ant는 본질적으로 수학적 발견을 모델의 PR 승리로 약탈하여 과정에서 연구 분야를 황폐화시켰다는 비판을 받았습니다. 각각 약 500만 달러를 (부분적으로 토큰 크레딧으로) PR 세탁에 던지는 것은 자기만족적으로 보입니다. 사이먼스 재단이 연구소들에게 존경의 무화과 잎을 제공할 기회를 포착한 것에 찬사를 보냅니다. 보조금 제안에 대한 가장 빠른 '예'였을 수도 있습니다."
관련 비판은 자금 메커니즘이 자멸적이지 않은지 의문을 제기했습니다. 기여의 일부가 모델 크레딧이 될 것으로 예상되기 때문입니다:
"그래서 OpenAI/Anthropic 토큰 1,500만 달러, 이것이 처음에 '문제'를 시작한 모델 사용을 더 장려하지 않을까요?"
여러 댓글 작성자들은 그 금액이 문제에 비해 작다고 주장했습니다. 한 사람은 대학 간접비를 제외하면 그 돈이 10개 미만의 그룹을 지원할 수 있다고 언급했습니다. 또 다른 사람은 헤드라인 숫자 자체를 일축했습니다:
"1,500만 달러가 이 회사들에게는 소액이라는 사실, 그리고 이 프로젝트가 위선적이고 자기만족적이라는 사실(다른 많은 게시물에서 설명된 바와 같이)을 제외하면, 인상을 주기 위해 헤드라인에 거액의 금액을 명명하는 것 자체가 어리석은 생각입니다."
반복되는 우려는 분배적이었습니다: 기존에 자금이 잘 지원되는 수학자들이 상을 차지하고 초기 경력 연구자들은 혼란을 흡수할 것이라는 것입니다. 한 댓글 작성자는 의존하는 개별 패키지가 아닌 재단에 기부하는 것에 비유했습니다. 또 다른 사람은 "최고의 AI 친화적 수학자들이 전리품을 차지할 것"이라고 예측했습니다.
일부 댓글 작성자들은 프로그램 이름의 전제에 의문을 제기했습니다. AI가 진정으로 수학을 자동화한다면, 전환을 "탐색"한다는 것이 무엇을 의미하는지, 그리고 프로그램이 암묵적으로 AI 연구소가 기대에 미치지 못할 것이라는 내기를 하는 것인지 물었습니다. 다른 사람들은 AI 생성 증명의 인식론적 비용을 제기했습니다: 수학의 가치는 부분적으로 결과를 도출하는 인간의 과정에 있으며, 수학자의 사고를 재구성하는 막다른 길을 포함하고, 모델이 넘겨준 증명은 그 지식을 함께 전달하지 못할 수 있다는 것입니다.
반론: AI를 위기가 아닌 도구로 취급하라
모든 댓글 작성자가 프로그램이 필요하다고 본 것은 아닙니다. 한 사람은 수학자들이 지원이 필요한 이주민 집단이 아니라고 주장했습니다:
"수학자들을 애지중지하고 지원이 필요한 일종의 AI 난민으로 취급하는 것에 공감할 수 없습니다. AI는 도구이며, 유능한 수학자들은 다른 모든 사람들처럼 그것을 사용하는 법을 배워야 합니다. AI가 인간의 수학 이해에 순이익 가능성을 나타내지 않는다고 믿기 어렵습니다. 오용될 수 있지만, 어떤 도구든 오용될 수 있습니다. 그냥 오용하지 마세요..."
별도의 스레드는 비제도적이고 실용적인 "탐색" 형태를 제안했습니다: AI 제공자가 사용자 상호작용을 훈련에 사용할 수 있도록 하는 데이터 공유 설정을 끄는 것입니다. 연구자들은 출판 전에 모델 훈련에 기여하는 것을 통제할 수 있으며, 출판 후에는 스크래핑이 불가피하다는 주장이었습니다.
프로그램이 해결하지 못하는 것
발표는 자금, 공개 제안 요청, Anthropic과 OpenAI의 현물 도구 및 컴퓨팅 접근을 확립합니다. 상의 규모, 자격 요건, 검토 기준, 1,500만 달러의 현금과 자원 분할, 또는 "AI 사용에 대한 공동 표준"이 어떻게 시행될지에 대해서는 명시하지 않습니다. 이러한 세부 사항은 재단의 제안 프로세스에 맡겨집니다.
토론에서 표면화된 공개 질문은 기술적이라기보다 구조적입니다: 모델이 수학적 실천을 변화시키고 있는 연구소들이 부분적으로 자금을 지원하는 프로그램이 수학 커뮤니티에 의해 신뢰할 수 있게 운영될 수 있는지, 그리고 1,500만 달러가 분야의 규모에서 의미를 갖기에 충분한지 여부입니다.