There’s a famous prediction market about whether AI will get gold from the International Mathematical Olympiad by 2025.
correction: it’s by the end of 2025
Further correction / addition: the AI needs to have been built before the 2025 IMO, which is in July 2025.
correction: it’s by the end of 2025
Further correction / addition: the AI needs to have been built before the 2025 IMO, which is in July 2025.