Douglas' Space

expMATH는 인공지능(AI)을 활용하여 순수 수학의 발전 속도를 수백 배 이상 가속화하려는 DARPA의 도전적인 프로젝트입니다. 기존 AI가 정답을 맞히는 데 집중했다면, expMATH는 새로운 수학적 아이디어를 제안하고 이를 스스로 검증하는 'AI 공동 저자(AI Co-author)' 개발을 목표로 합니다. 왜 '지수적(Exponentiating)'인가?전통적인 수학 연구는 사람이 직접 문제를 쪼개고(Decomposition), 증명 과정을 코드로 변환(Formalization)하는 고된 수작업에 의존해 왔습니다. expMATH는 이 병목 구간을 AI로 자동화하여 수학적 발견의 주기를 혁신적으로 단축하고자 합니다.프로그램의 두 가지 기둥 (Technical Areas)DARPA는 이 목표를 달성하기..