הרמוניק שוברת שיא: מערכת Aristotle שלה משיגה 96.8% דיוק באימות קוד
הרמוניק הודיעה שמערכת הבינה המלאכותית Aristotle שלה השיגה 96.8% דיוק במדד VERINA לאימות קוד, עם 160 אימותים נכונים מתוך 183. המשגה עולה על מודלי LLM מובילים וכוללת יישומים אלגוריתמיים מתקדמים. המערכת זמינה כעת דרך ה-API של החברה.
חברת ההזנק Harmonic, שנוסדה על ידי בכירים לשעבר מרובינהוד, הודיעה על הישג משמעותי למערכת הבינה המלאכותית שלה - Aristotle. המודל השיג דיוק של 96.8% במבחן VERINA ליְעֶדוף כללי אימות קוד, תוך כדי פתרון של 183 מתוך 189 מפרטים פורמליים. הפלטפורמה פותחה על ידי חוקרים מאוניברסיטת ברקלי ומטא כדי לבחון יכולות יצירת קוד ניתן לוידוא.
המערכת הצליחה לבצע 160 אימותי קוד נכונים ו-23 זיהויי שגיאות. הביצועים של Aristotle עולים על אלה של מודלי שפה גדולים (LLMs) מובילים בשדה, כפי שנבדקו באותה סביבה. בין ההישגים הבולטים של המודל:
- אימות אלגוריתם למיון בחירה
- וידוא נכונות של קידוד אורך-ריצה למחרוזות
- חישוב תת-הרצף העולה הארוך ביותר ברשימות מספרים
Aristotle זמין כעת דרך ה-API של החברה. Harmonic מציינת שמשימתה ליצור "מנוע היסק מתמטי מתקדם בעולם" מקבלת חיזוק מהישג זה, לאחר שביצועי עבר כללו זכיות באולימפיאדות מתמטיות ופתרון בעיות ארדש מורכבות.