https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
It's a bit scary to think that once it gets good at competitive programming, it could easily reach a 2100+ rating.
I'm curious about how programmers can keep their skills sharp in this AI-augmented world we're moving towards. How do you think we can stay ahead? I'd love to hear your thoughts and opinions on this.
ruh roh
Considering aplhaCode was able to solve div2D at-most and alphaProof solving IMO P6, this is incredible advancement. I see nor mentioning " Of course, the ideal scenario is to solve the IMO Grand Challenge." about 8 months ago and we clearly have more or less acheived the ideal scenario. Really interested to hear nor's thought on this.