OEIS Open: Lean으로 정형화된 492개 미해결 수학 추측 벤치마크OEIS Open: A benchmark of 492 unsolved math conjectures, formalized in Lean▲ 2 · arxiv.org · 88일 전 · 0 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…