틀:도메인 특화 언어 증명보조기 := Linguist 자명함 Google DeepMind/과학 인공지능 Night in the Woods/등장인물 틀:프로그래밍 언어 Yung Lean 나비에-스토크스 방정식 확장자/목록 수학자/목록 프로그래밍 글꼴 리만 가설 인공지능/성과/수학 인공지능/성과 범주론