An optimizer that respects the mathematical symmetries of the loss function, enabling implicit bias toward low-rank solutions.