자동 공식화 (Autoformalization)

인간의 언어와 직관으로 기술된 수학 논문 및 증명 과정을 컴퓨터 검증 시스템이 해석할 수 있는 정형 데이터로 자동 변환하는 AI 기술

용례

"복잡한 증명을 자동으로 공식화하는 기술은 새로운 도구로 이어져 현재 수학 문헌에 존재하는 오류를 찾아내고 심사위원들의 부담을 덜어줄 것입니다."