수학 분야 AI의 불일치: Kevin Buzzard의 답변A Misalignment of AI in Mathematics: Kevin Buzzard Responds▲ 4 · leanprover.zulipchat.com · 50일 전 · 1 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…