distracție: acum 3/4 luni am rulat o3 pentru niște academicieni pe un set de probleme în stil AIME. Le-a luat atât de mult timp să scrie un rezumat al rezultatelor (96% irrc) încât Alex a rezolvat dovada și IMO între timp lol
@littmath Acestea fiind spuse, nu este clar dacă dovezile vor fi rezolvate până când vor publica vreodată acel proiect
86,72K