ה-AI הסיני שמבין מתמטיקה כמו אף אחד אחר – הכירו את Prover V2 של DeepSeek!

DeepSeek, מעבדת AI מסין, השיקה גרסה משופרת של מודל ה-AI שלה, Prover, המתמקד במתמטיקה. הכלי העוצמתי הזה מיועד להתמודד עם הוכחות ותאורמות מתמטיות מורכבות. הגרסה החדשה, Prover V2, וגרסתה המהירה יותר, זמינות כעת בפלטפורמת הפיתוח של AI, Hugging Face. בהתבסס על המודל V3 של DeepSeek, הוא כולל ארכיטקטורת mixture-of-experts (MoE), שמתמחה בפירוק משימות לרכיבים ממוקדים, ובכך משפרת את היכולת שלו לפתור בעיות.

העדכון האחרון של Prover התקיים באוגוסט, מה שמשקף את המחויבות של DeepSeek להפרוץ את הגבולות של הוכחות תאורטיות פורמליות והנמקה מתמטית. השדרוג הזה משתלב בצורה חלקה באסטרטגיה הרחבה יותר של החברה. החברה שיפרה לאחרונה את מודל ה-V3 הרב-תכליתי שלה, וצפויה בקרוב לשפר את מודל ההנמקה R1 שלה.

חברים יקרים!
אהבתם מה שקראתם?
אז תהיו חברים…
קבלו ישירות אליכם למייל:
חדשות, טיפים ומדריכים, מבצעים וכלי בינה מלאכותית.
השאירו שם ומייל וגם אתם לא תצטרכו לדאוג שתפספסו משהו בעולם ה-AI!
שדה זה מיועד למטרות אימות ויש להשאיר אותו ללא שינוי.
פרטיות(חובה)
This field is hidden when viewing the form
This field is hidden when viewing the form
Send this to a friend