A DeepSeek csendben frissítette matematikai bizonyítási modelljét, a Prover-V2-t
A kínai DeepSeek AI startup észrevétlenül kiadta a Prover-V2-t, egy speciális, 671 milliárd paraméteres modellt, amelyet matematikai bizonyítások és tételek megoldására fejlesztettek. hirdetés hirdetés A bejelentés mindössze egy nappal azután történt, hogy az Alibaba bemutatta Qwen3 AI modellcsaládját, miközben egyre nagyobb figyelem övezi a DeepSeek közelgő R2 érvelő modelljét. A Prover-V2 fő jellemzői A DeepSeek…