[generalizations]

> has not yielded improvements (cf. gpt4.5 vs 4o).

FWIW there is a huge difference between 4.5 and 4o.