В середине мая 2025 года в Берли (Калифорния) собрались тридцать ведущих математиков мира, чтобы провести необычный эксперимент — испытать на прочность новейший чат-бот ChatGPT o4-mini, созданный OpenAI. Эта модель, основанная…