In the AID benchmark, o1 high (corresponding to o1 pro) scored above 60 in programming ability, outperforming o3-mini-high, though the two are very close.