A Misalignment of AI in Mathematics: Kevin Buzzard Responds

(leanprover.zulipchat.com) by mathgenius | Sep 12, 2026 | 0 comments on HN