Забавно: 3/4 месяца назад я запустил o3 для некоторых ученых над набором задач в стиле AIME. Им потребовалось так много времени, чтобы написать резюме результатов (96% irrc), что Алекс тем временем решил доказательство и IMO, лол

@littmath Тем не менее, неясно, будут ли доказательства решены к тому времени, когда они когда-нибудь опубликуют этот черновик