3년 내에 '수학 천재' AI가 증명 공동 저자가 될 수 있을까?

DARPA는 수학 발전을 AI로 가속화하는 expMath 프로젝트를 출시했습니다. 이 프로젝트는 유용한 수학 추상화를 제안하고 증명할 수 있는 AI를 생성하는 것을 목표로 합니다. expMath는 AI 연구자와 수학자 간의 간격을 좁히고 복잡한 문제를 해결하는 것을 목표로 합니다. 주요 목표는 자연어 문장들을 재사용 가능한 레마로 자동 분해하는 AI 모델을 개발하는 것입니다. 이러한 모델은 또한 레마를 형식적 증명으로 번역하고 다시 자연어로 번역할 수 있어야 합니다. DARPA는 현재 고급 수학에서 AI의 제한을 인정하지만 잠재력을 긍정적으로 평가합니다. 이 프로젝트는 3년 프로그램으로 구조화되어 있으며, 이는 도전의 복잡성을 나타냅니다. 전문가들은 이 프로젝트가 수학 실천을 근본적으로 재구성할 수 있다고 믿습니다. DARPA는 기술 커뮤니티에 제안서를 제출하도록 장려하는 Proposers Day 이벤트를 개최했습니다. 이 기관은 expMath가 수학 분야에 상당한 영향을 미칠 수 있다고 믿습니다.