수학의 '지수적' 진화: DARPA expMATH 프로그램

expMATH는 인공지능(AI)을 활용하여 순수 수학의 발전 속도를 수백 배 이상 가속화하려는 DARPA의 도전적인 프로젝트입니다. 기존 AI가 정답을 맞히는 데 집중했다면, expMATH는 새로운 수학적 아이디어를 제안하고 이를 스스로 검증하는 'AI 공동 저자(AI Co-author)' 개발을 목표로 합니다.

 

왜 '지수적(Exponentiating)'인가?

전통적인 수학 연구는 사람이 직접 문제를 쪼개고(Decomposition), 증명 과정을 코드로 변환(Formalization)하는 고된 수작업에 의존해 왔습니다. expMATH는 이 병목 구간을 AI로 자동화하여 수학적 발견의 주기를 혁신적으로 단축하고자 합니다.

---

프로그램의 두 가지 기둥 (Technical Areas)

DARPA는 이 목표를 달성하기 위해 연구 영역을 크게 두 가지로 나누었습니다.

기술 영역 (TA)	주요 목표	핵심 과제
TA1: 자동화 기술	AI의 수학적 추론 능력 강화	문제 자동 분해(Auto-decomposition), 자연어-정형 언어 간 상호 변환(Auto-informalization)
TA2: 전문적 평가	AI 시스템의 성능 검증	대학원 수준의 교과서 및 최신 연구 논문을 활용한 실제 수학 실력 측정

---

주요 타임라인 및 진행 현황 (2026년 기준)

2024년 첫 공고 이후, 2026년 현재 본격적인 연구 단계에 진입해 있습니다.

• 2025년 4월: 프로그램 매니저 Patrick Shafto 박사 주도로 공식 사업 설명회 및 공고 시작.
• 2026년 3월: UCLA를 포함한 13개 대학 기반 연구팀이 수행자로 최종 선정.
• 2026년 4월 현재: UCLA의 ALPHA 프로젝트 등 선정 팀들이 3년간의 집중 연구(약 500만 달러 규모)에 착수.
• 향후 목표: 대학원생이 손으로 직접 푸는 속도보다 100배 빠른 해결 속도와 90% 이상의 정확도 달성.

---

관전 포인트: 무엇이 달라지는가?

1. AI와 수학자의 파트너십: AI는 복잡한 정리를 작은 '보조 정리(Lemma)'로 쪼개어 제안하고, 인간 수학자는 그 방향성을 결정하는 창의적 역할에 집중합니다.
2. Lean과 Isabelle의 통합: 오픈소스 증명 보조 도구(Proof Assistant)를 활용해 AI가 생성한 증명이 논리적으로 100% 완벽한지 기계적으로 검증합니다.
3. 난제 해결의 돌파구: 편미분 방정식(PDE), 정수론, 복잡성 이론 등 현대 수학의 난제들이 AI의 도움으로 해결될 가능성이 커졌습니다.

---

결론: 국방 안보로 이어지는 수학의 힘

수학은 암호학, 재료 과학, 유체 역학 등 현대 국방 기술의 근간입니다. expMATH를 통해 가속화된 수학적 발견은 곧 해킹 불가능한 암호 체계, 초고성능 군사 장비 설계 등 압도적인 국방 우위로 이어질 것입니다.