o3‑pro formalises a useful tradeoff: for consequential work, taking longer for a more reliable answer can be rational.