H huggingface.co OpenAI o3 just scored 99.8% on CodeForces using brute-force 2 points wluk 1 year ago 1 comments