ParentFull threademp17344·I mean, solutions for the 2025 IMO problems are already available on the internet. How can we be sure these are “unencountered” problems?View on HN