A Misalignment of AI in Mathematics: Kevin Buzzard Responds
By mathgenius · 2026-09-12 · 4 points · 1 comments
https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/Declaration.3A.20A.20Severe.20Misalignment.20of.20AI.20in.20Mathematics/near/623707262
By mathgenius · 4 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews