Skip Navigation
AI achieves silver-medal standard solving International Mathematical Olympiad problems
  • I wonder if they are sure that similar exercises weren’t in the learning set for AI. Such competitions have usually kind of patterns for exercises and people usually learn to them by resolving a large number of exercises to catch the pattern.

  • /etc/debian_version is still 12.0
  • I'm using http://deb.debian.org/debian mirror, but I was surprised that it didn't download files with apt-get update command. I removed /var/lib/apt/lists directory, and it worked and upgraded to 12.1 :).

  • /etc/debian_version is still 12.0
  • I've upgraded packages several times. My base-files package has version 12.4. I've tried with apt update and apt upgrade -s and I don't have any package to upgrade. Is it possible that the version is locked somewhere?

  • /etc/debian_version is still 12.0

    I have updated packages many times after 12.1 release, but I still have 12.0 in debian_version file. I tried to install today printer drivers but it couldn’t get the latest libcupsimage2 2.4.2-3 library on the server although there is 2.4.2-5 already.

    How to fix the version? Is it possible that it breaks cupsimage installation?

    6
    InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)MR
    mrroman @lemmy.world
    Posts 2
    Comments 3