מחקר
2 דקות
מ־arXiv cs.AI
מתזה: ארכיטקטורה נוירו-סימבולית חדשה למתמטיקה מדויקת
דגמי שפה גדולים נכשלים בהיגיון מורכב – מתזה החדשה משלבת נוירונים וסמלים להוכחות מתמטיות מדויקות. קראו עכשיו! (42 מילים)
קרא עודחיפוש בחדשות
2 תוצאות עבור "הוכחות מתמטיות".
מחקר
2 דקות
מ־arXiv cs.AI
בנצ'מרק חדש: Gemini ו-Claude מצטיינים בהוכחות מתמטיות ברמת דוקטורט
מחקר חדש ב-arXiv בודק מודלי LLM מתקדמים על הוכחות מתמטיות מספר אלגוריתמים רנדומליים. Gemini ו-Claude מובילים עם 66% דיוק. קראו עכשיו לפרטים מלאים.
קרא עוד