4 points, 1 comments on Hacker News

Source: [Hacker News](https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/Declaration.3A.20A.20Severe.20Misalignment.20of.20AI.20in.20Mathematics/near/623707262)

Sponsored