Chinese AI Lab DEPSEC has been updated silently ProverbIts AI system that is designed to solve math -related evidence and theorem.
Accordingly South China Morning PostDEPSEC uploaded the latest version of V2, proverb to the embrace of the AI Dev platform late on Wednesday. It seems to be built at the top of the startup V3 model, which contains 671 billion parameters and the mixture (MOE) adopts the architecture. The parameters are fairly matched by the skill of solving the problem of a model, while the MOE tasks break into the subtasks and represent them on the smaller, specialized “specialist” elements.
DIPSEC updated the proverb last August, describing it as a custom model for formal theorem evidence and mathematical reasoning at that time.
In February, Reported Reuters This DEPSEC, which recently released an upgrade version of a general-structured model V3 and is expected to update the R1 “argument” model soon, is expected to be considering the first time for external fundraising.