Google DeepMind 수학을 위한 AI 이니셔티브

Google DeepMind과 Google.org는 기본 수학 연구에 AI를 통합하기 위해 AI for Math Initiative를 출시했습니다. 이 협력은 세계 최고의 수학자들과 최첨단 AI 추론 및 증명 시스템을 pairing하여 인간의 창의성을 증진하고 발견의 속도를 가속화하는 것을 목표로 합니다.

파트너십 및 기관 목표

AI for Math Initiative는 수학 연구에서 AI 사용을 선도하기 위해 Google DeepMind과 다섯 개의 저명한 연구 기관을 모읍니다. 파트너 기관은 다음과 같습니다:

  • Imperial College London
  • Institute for Advanced Study
  • Institute des Hautes ‚tudes Scientifiques (IHES)
  • Simons Institute for the Theory of Computing (UC Berkeley)
  • Tata Institute of Fundamental Research (TIFR) 이 이니셔티브는 세 가지 주요 목표에 중점을 둡니다: AI 기반 통찰에 적합한 수학 문제 식별, 이러한 발전을 위한 인프라 및 도구 개발, 그리고 수학 발견의 전체 속도 가속화.

수학적 발견을 위한 기술 도구세트

Google은 Google.org를 통해 자금을 지원하고 이니셔티브의 연구를 지원하기 위해 전문 AI군에 대한 접근을 제공합니다. 이러한 도구는 다음과 같습니다:

  • Gemini Deep Think: Gemini 모델 가족을 위한 향상된 추론 모드.
  • AlphaEvolve: 알고리즘 발견을 위해 설계된 에이전트.
  • AlphaProof: 형식적 증명 완료 시스템.

수학적 추론에서의 AI 성능

최근 AI 추론의 발전이 이 이니셔티브의 기반을 제공했습니다. Google DeepMind은 수학적 성능에서 몇 가지 주요 마일스톤을 보고했습니다:

국제 수학 올림피아드 (IMO) 벤치마크

2024년에 AlphaGeometry와 AlphaProof는 IMO에서 은메달 수준을 달성했습니다. 최근에는 Deep Think가 탑재된 Gemini 모델이 금메달 수준의 성능을 보여, 여섯 문제 중 다섯 문제를 완벽히 해결하고 35점을 얻었습니다.

알고리즘 발견 및 문제 해결

AlphaEvolve는 수론, 조합론, 기하학, 수학 분석 분야의 50개 이상의 공개 문제에 적용되었습니다. 이 시스템은 20%의 경우에서 이전에 알려진 최고의 솔루션을 개선했습니다. 주요 성과에는 다음과 같은 것이 포함됩니다:

  • Matrix Multiplication: AlphaEvolve는 48개의 스칼라 곱셈만 사용하여 4x4 행렬 곱셈을 위한 새로운, 더 효율적인 방법을 발견하여 1969년의 Strassen’s algorithm이 보유해온 기록을 깼습니다.
  • Computational Limits: 이론 컴퓨터 과학에서, AlphaEvolve는 연구자들이 특정 복잡한 문제가 이전에 이해했던 것보다 더 계산적으로 어려운 것을 보여주는 새로운 수학적 구조를 식별하도록 도왔으며, 계산 한계에 대한 보다 정확한 이해를 제공했습니다.

Sources