Garrett Baker comments on FrontierMath Score of o3-mini Much Lower Than Claimed