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

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