формальная математика

🧠 Как ИИ от OpenAI научился решать олимпиадные задачи по математике через самообучение