A Misalignment of AI in Mathematics: Kevin Buzzard Responds

(leanprover.zulipchat.com)

4 points | by mathgenius 7 hours ago ago

1 comments