The AI takeover of mathematics has beguntheverge.com2 points·brandonb··1 commentOpen articleSaveView on HN