7vik comments on Some lessons from the OpenAI-FrontierMath debacle