L leanprover.zulipchat.com A Misalignment of AI in Mathematics: Kevin Buzzard Responds 4 points mathgenius 1 month ago 1 comments
