← 상세페이지

AI가 증명한 수학 고전: Lean 4로 형식화된 Erdős 문제 699·961의 연결

endedScore 42026. 4. 24. 오전 5:13 ~ 2026. 4. 24. 오전 5:13

Status Lifecycle

1
New
2
Rising
3
Peak
4
Ended

Timeline

총 문서 수

1

추적 기간

1일

Score

4

최대 doc_count

1