🧮 DeepSeek створила ШІ, що самостійно доводить математичні теореми

Компанія запустила DeepSeekMath-V2 — математичну модель, яка будує покрокові доведення та самостійно перевіряє їх через цикл «генерація — перевірка».

Система вже показала високі результати на IMO 2025, CMO 2024 та Putnam 2024, отримавши золото й майже максимальні бали.

📎 Модель доступна на HuggingFace, а інструменти для роботи з нею — у GitHub-репозиторії DeepSeek.

Медіа Inweb | Підписатись