The AI takeover of mathematics has begun | Agent5