Olen innoissani voidessamme jakaa: #Aletheia, matematiikan tutkimusagenttimme, ratkaisi juuri 6/10 tunnetusti vaikeaa FirstProof-ongelmaa itsenäisesti, paras tulos ensimmäisessä haasteessa! Minulle tämä on vielä suurempi kuin historiallinen IMO-kultasaavutuksemme viime vuonna; Nämä ongelmat haastavat jopa huippumatemaatikot. Jaamme tuloksemme avoimesti, näemme artikkelin ja koko ajatukset ketjussa. 👇