Publicat la începutul anului 2024, DeepSeek-Math a pus bazele fundamentale ale cercetărilor care au culminat ulterior cu R1. Cercetătorii au demonstrat că pre-antrenarea pe 120 de miliarde de tokeni colectați de pe forumuri și pagini științifice (Common Crawl filtrat prin clasificatori Bayesieni) sporește capacitatea generală de gândire a modelului.
DeepSeek-Math include suport complet pentru limbaje formale de demonstrare a teoremelor matematice, precum Lean 4 și Isabelle.
Întrebări & Exemple practice:
DeepSeek-Math: Pre-antrenare pe Date Matematice și Verificare FormalăAi o întrebare despre DeepSeek-Math: Pre-antrenare pe Date Matematice și Verificare Formală sau ai descoperit un truc, prompt sau fragment de cod util? Distribuie-l cu ceilalți membri ai comunității!
Fii primul care pune o întrebare sau distribuie un fragment de cod / prompt!
Nu au fost adăugate încă întrebări sau resurse pentru această pagină. Dacă ai testat un prompt sau ai un snippet util, adaugă-l mai jos pentru comunitate.