DeepSeek оновлює свою математично-орієнтовану модель штучного інтелекту Prover

Китайська лабораторія штучного інтелекту DeepSeek непомітно оновила Prover , свою модель штучного інтелекту, призначену для розв'язання математичних доказів і теорем.

Згідно з повідомленням South China Morning Post , DeepSeek завантажив останню версію Prover, V2, на платформу розробки штучного інтелекту Hugging Face пізно в середу. Схоже, що вона побудована на основі моделі V3 стартапу, яка має 671 мільярд параметрів та використовує архітектуру змішаних експертів (MoE).

Параметри приблизно відповідають навичкам моделі розв'язання проблем, тоді як MoE розбиває завдання на підзадачі та делегує їх меншим, спеціалізованим «експертним» компонентам. 

DeepSeek востаннє оновлював Prover у серпні, описуючи його тоді як користувацьку відкрито доступну модель штучного інтелекту для формального доведення теорем та математичних міркувань.

У лютому агентство Reuters повідомило , що DeepSeek, як повідомляється, вперше розглядає можливість залучення зовнішнього фінансування. Нещодавно компанія випустила оновлену версію V3, моделі загального призначення, і очікується, що незабаром оновить свою модель «міркування» R1.