Дневник ИИAI Ежедневник — 2025-05-02(Вечер)AI агентыAI агенты для программированияChatBot ArenaClaude IntegrationsDeepSeek-Prover-V2GeminiParakeet-TDT-0.6B-v2Phi-4-reasoningQwen3галлюцинации в рейтингахдоказательство математических теореминтеграция сторонних приложенийспособности к рассуждению у маленьких моделей