Harmonic גייסה 120 מיליון דולר בדרך לעל-אינטליגנציה מתמטית
הסטארט-אפ Harmonic AI, שייסד Vlad Tenev מ-Robinhood, גייס 120 מיליון דולר לפי שווי של 1.45 מיליארד דולר. מודל Aristotle, שמתמחה במתמטיקה ללא הזיות, זכה במדליית זהב בתחרות ה-IMO ומוצע לחוקרים באמצעות API חינמי. את הגיוס הובילה Ribbit Capital.
סטארט-אפ הבינה המלאכותית Harmonic, שאותו ייסד במשותף Vlad Tenev, מנכ"ל Robinhood ויו"ר המועצה המנהלת של החברה, גייס 120 מיליון דולר בסבב גיוס Series C. הגיוס הובל על ידי Ribbit Capital, בהשתתפות Sequoia Capital, Index Ventures, Kleiner Perkins ו-Emerson Collective. השווי הפוסט-כספי עומד על 1.45 מיליארד דולר. זהו הגיוס השלישי של Harmonic בתוך 14 חודשים, עם סך גיוסים של 295 מיליון דולר – Series A של 75 מיליון דולר בספטמבר 2024 ו-Series B של 100 מיליון דולר ביולי, לפי שווי של 900 מיליון דולר.
<h2>Aristotle: מודל AI מתמטי ללא הזיות</h2>החברה, שהוקמה ב-2023 ומנוהלת על ידי המנכ"ל Tudor Achim, מפתחת Mathematical Superintelligence (MSI) – מודלי בינה מלאכותית מתקדמים למתמטיקה פורמלית ללא 'הזיות' (תשובות שגויות או מומצאות). המוצר העיקרי, Aristotle, משתמש בכלי Lean 4 – עוזר הוכחות שמאפשר תרגום בעיות מתמטיות בשפה טבעית להוכחות פורמליות שניתן לאמת במחשב.
Aristotle השיג ביצועים ברמת מדליית זהב באולימפיאדת המתמטיקה הבינלאומית (IMO) – התחרות היוקרתית ביותר בעולם – לצד Google ו-OpenAI. כעת הוא זמין לציבור באמצעות API חינמי, שמתמטיקאים וחוקרים כבר משתמשים בו לבדיקת הוכחות מורכבות ולגילויים חדשים. לאחרונה הוא שודרג וכולל תמיכה באנגלית עסקית (בנוסף ל-Lean 4), יצירה אוטומטית של למות וממשק טרמינל פשוט יותר.
<h2>טכנולוגיה מתקדמת: נתונים סינתטיים ושיפור עצמי</h2>גישת Harmonic מתמקדת ביצירת נתונים סינתטיים – צמדי בעיה-הוכחה שנוצרים באופן אוטונומי – במקום נתוני אינטרנט. זה מאפשר לולאת "משחק עצמי" (self-play) לשיפור רקורסיבי: המודל מתאמן בעצמו – מתרגילים פשוטים לתיאורמות מתקדמות. "הסרת ההזיות נובעת מכך שהמערכת מחייבת פלט של חשיבה כקוד במקום כטקסט", אמר Achim.
הכספים יושקעו בכוח מחשוב מסיבי כדי לאמן את המודלים. Harmonic מכוונת לבניית אמון ב-AI בתעשיות קריטיות כמו תעופה, רכב ופיננסים, שבהן טעויות עלולות להיות הרסניות. Tenev ציין: "Aristotle מאפשר הצצה לעתיד שבו חשיבה מתקדמת ואימות פורמלי מתמזגים".
Achim הוסיף: "ביצועי הזהב ב-IMO הראו מה על-אינטליגנציה מתמטית מאפשרת. הגיוס יאיץ את זה עוד יותר". החברה צופה מסחור עתידי בתחומי תוכנה ובטיחות.