Article URL: https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/Declaration.3A.20A.20Severe.20Misalignment.20of.20AI.20in.20Mathematics/near/623707262 Comments URL: https://news.ycombinator.com/item?id=49672572 Points: 4 # Comments: 1