The AI takeover of mathematics has begun | Dark Hacker News