Цікаво: 3/4 місяці тому я запустив o3 для деяких науковців над набором задач у стилі AIME. Їм знадобилося так багато часу, щоб написати резюме результатів (96% irrc), що Алекс тим часом вирішив proof & IMO, лол
@littmath Тим не менш, неясно, чи будуть докази вирішені до того часу, коли вони коли-небудь випустять цей проект
86,71K