Will a problem on the 2025 IMO nontrivially use the fact that 2025 is a square?
60
1kṀ12k
Aug 1
15%
chance

Resolves YES if there is a problem with 2025 as a parameter that behaves significantly differently when the parameter is a perfect square compared to the general case.

As an example, hypothetically, IMO 2014/2 (on peaceful rooks) with n=2025 will resolve YES since n being a square is an edge case for that problem. In contrast, problems which for example only use the fact that 2025 is odd do not count.

Get
Ṁ1,000
to start trading!
© Manifold Markets, Inc.TermsPrivacy