IMO 2025 saw AI models achieving Gold medal scores, raising questions about the future of mathematical problem-solving competitions.

I think modern phones could use a pre-installed Python interpreter, with a healthy amount of graphics libraries, a decent amount of control over the system, snappy well-configured autocomplete ...