4 ms·

I had good experience with Codex iterating to prove a fixed point theorem. But will also now consider GLM-4.6.