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

Компанія DeepSeek анонсувала модель DeepSeekMath-V2, створену для точного математичного міркування та доведення теорем. Модель зосереджується не на підсумкових числових відповідях, а на повному покроковому доведенні та перевірці логічних кроків.

DeepSeek зазначає, що система працює за принципом «генерація — перевірка». Спершу спеціальний модуль створює доведення, а окремий перевіряючий модуль оцінює його правильність. На основі цієї перевірки модель удосконалює власні рішення. Також використовується масштабування перевірки — нові та складні докази автоматично позначаються й додаються до навчальних даних, що постійно підсилює точність перевірника.

DeepSeekMath-V2 базується на DeepSeek-V3.2-Exp-Base і доступна для завантаження на платформі HuggingFace. Компанія також надала інструкції та інструменти для роботи з моделлю у своєму GitHub-репозиторії.

DeepSeek підкреслює, що відкритий доступ до моделі може пришвидшити розвиток математичних досліджень і допомогти науковцям у складних завданнях, які потребують формального доведення. Хоча DeepSeekMath-V2 не розв’язує задачі рівня Millennium Problems, компанія називає це важливим кроком у напрямі створення систем, здатних підтримувати фундаментальну науку.

Джерело: Neowin