Слава Богу, що деякі LLM можуть виграти золото на IMO. Навіть у питаннях базового функціонального аналізу (наприклад, розкладання підпростору) o3 дає невиправно неправильні питання. Але я оптимістично налаштований, що через 1-2 роки буде набагато краще.