4 points by dustyweb
@pushcx, could you merge this into https://lobste.rs/s/xsbz3l/severe_misalignment_ai_mathematics (or vice versa)?