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