FrontierMath Score of o3-mini Much Lower Than Claimed — LessWrong