ציטוט מ מערכת האתר ב 30/04/2025, 13:53

DeepSeek הסינית הציגה את Prover V2, גרסה מתקדמת של מודל שפה גדול (LLM), שזמין בקוד פתוח דרך שירות Hugging Face החל מה-30 באפריל. המודל החדש, ששוחרר ברישיון MIT, מתמקד באימות הוכחות מתמטיות. עם 671 מיליארד פרמטרים, Prover V2 גדול משמעותית מהגרסאות הקודמות - Prover V1 ו-Prover V1.5 משנת 2024.

המודל מצפין ידע מתמטי לתבנית שתסייע ביצירת ואימות הוכחות, מה שעשוי לקדם מחקר וחינוך. המודל מופעל בזיכרון RAM או VRAM, והפרמטרים בו כווצו לדיוק של 8 ביט, חצי מהמקום הרגיל, כדי לשפר ביצועים.

Prover V1 משתמש ב-7 מיליארד פרמטרים שמקודמים דרך נתונים סינתטיים. Prover V1.5 קיבל שיפורים ביצועים, אך השדרוגים המדויקים ב-Prover V2 עדיין לא פורסמו.

על בסיס המודל R1, שזכה לתשומת לב רבה בעולם הבינה המלאכותית, Prover V2 זוכה לשבחים על הפתיחות שלו - שמאפשרת לציבור גישה חופשית, אך גם מניעה חששות לגבי שימוש לרעה.