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