Блог пользователя 4orty3hree

Автор 4orty3hree, история, 6 часов назад, По-английски

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.

  • Проголосовать: нравится
  • +22
  • Проголосовать: не нравится

»
5 часов назад, # |
  Проголосовать: нравится 0 Проголосовать: не нравится

ruh roh

»
5 часов назад, # |
Rev. 3   Проголосовать: нравится +10 Проголосовать: не нравится

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.

»
3 часа назад, # |
  Проголосовать: нравится +12 Проголосовать: не нравится

The AI seems to be unable to solve combinatorics problems, and it took 3 days on non-geo.