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