DARPA, AI로 수학 연구 가속화 추진

미국 방위고등연구계획국(DARPA)은 수학 발전 속도가 너무 느리다고 판단, AI를 활용한 연구 가속화 프로젝트 expMath를 시작했다. 수학적 추상 개념을 제안하고 증명할 수 있는 AI '공동 저자' 개발을 목표로 한다. AI는 기초 수학에는 뛰어나지만, 고급 개념을 다루는 것은 큰 과제다. 프로젝트 성공은 기존 대규모 언어 모델을 뛰어넘는 접근 방식이나 시각·청각 입력 등의 대체 방법 모색에 달려 있다.