Simons Foundation, 수학자의 AI 시대 대응을 돕는 약 225억원 규모 지원 사업 출범

• Simons Foundation, Anthropic, OpenAI가 수학계의 AI 활용과 변화 대응을 위해 총 1,500만 달러($15m) 상당의 자금과 자원을 지원하기로 함
• 재단이 공개 제안 공모 등을 통해 지원금을 관리하고 배분하며, AI 보조 연구 결과 평가와 새로운 도구 학습을 위한 워크숍 및 사업을 지원함
• 연구자들이 경험과 관점을 공유하고 AI 사용의 공동 기준을 마련하도록 돕는 것이 사업의 주요 목표임
• Anthropic과 OpenAI는 재단이 지원하는 연구자에게 AI 도구와 컴퓨팅 자원도 제공하며, 대상은 수학을 넘어 기초과학까지 포함함
• 도구의 평가, 도입, 활용에 관한 논의는 특정 기업이나 기관이 아니라 수학계 공동체가 주도한다는 원칙을 둠

지원 규모와 운영 방식

• Simons Foundation, Anthropic, OpenAI가 협력해 총 1,500만 달러 상당의 자금과 자원을 투입하기로 함
• 재단은 공개 제안 공모를 포함한 방식으로 지원금을 관리하고 배분하며, 다음 활동을 위한 워크숍과 사업을 지원함
  • 최근 AI 보조 연구 결과를 평가함
  • 새로운 도구를 배우고 활용함
  • 연구자 간 관점을 공유하고 AI 사용의 공동 기준을 마련함
• Anthropic과 OpenAI가 제공할 AI 도구와 컴퓨팅 자원은 재단의 지원을 받는 수학 연구자뿐 아니라 기초과학 연구자도 대상으로 함

수학계 공동체가 주도하는 AI 활용

• 지원금과 자원은 공동체 주도 방식으로 운영하며, 재단이 수십 년간 쌓아 온 수학 지원 경험을 활용할 계획임
• 재단 회장 David Spergel은 수학을 증명과 정리의 집합만이 아니라 인간의 호기심이 이끄는 집단적 이해로 바라보며, 수학계가 함께 AI 시대의 진로를 모색해야 한다고 봄
• AI 도구의 평가, 도입, 활용에 관한 논의는 어느 한 기업이나 기관이 아닌 수학계가 이끌어야 하며, 이 프로그램의 목적은 수학계 공동체를 지원하는 데 있음

Lean과 기존 AI 연구 지원의 연장선

• 재단은 과학을 위한 머신러닝의 초기 후원자였으며, 증명 보조 도구 Lean 개발에도 자금을 지원함
  • Lean은 수학자의 연구 방식을 크게 바꾸고 AI 보조 증명을 가능하게 함
• 기존에도 워크숍, 강연, 공동 연구를 통해 수학자들이 모여 수학에서 AI가 맡을 역할을 탐구하고 논의하도록 지원해 옴