Comment Comment by rafael859 Interesting that the proofs seem to use a limited vocabulary: https://github.com/aw31/openai-imo-2025-proofs/blob/main/pro...Why waste time say lot word when few word do trick :)Also worth pointing out that Alex Wei is himself a gold medalist at IOI. parent rafael859 1 year ago
Why waste time say lot word when few word do trick :)
Also worth pointing out that Alex Wei is himself a gold medalist at IOI.