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

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