Mastering Approximate Nearest Neighbor in 2025