hauskaa: 3/4 kuukautta sitten suoritin o3:n joillekin akateemikoille AIME-tyylisistä ongelmista. Heiltä on kestänyt niin kauan kirjoittaa yhteenveto tuloksista (96% irrc), että Alex ratkaisi todisteen ja IMO:n sillä välin lol

@littmath Siitä huolimatta on epäselvää, ratkaistaanko todisteet siihen mennessä, kun he julkaisevat luonnoksen