Will an AI system achieve a higher individual score than the top-scoring human at the International Mathematical Olympiad (IMO) in either 2026 or 2027? | Prophecy