A Misalignment of AI in Mathematics: Kevin Buzzard Respondsleanprover.zulipchat.com·4 pts·mathgenius·1
Admiral cloudberg: New article coming soon, and a teaseradmiralcloudberg.medium.com·4 pts·mathgenius·0
You've Been Murdoched: Australia's Teen Ban Offers a Warning for Europetechpolicy.press·11 pts·mathgenius·1