The AI takeover of mathematics has begun | AI Sec Watch