AI + REASONING

    ידיעות בינה מלאכותית בנושא REASONING

    חברה
    המונחים שעצבו את עתיד ה-AI ב-2025

    המונחים שעצבו את עתיד ה-AI ב-2025

    מונחי AI משנת 2025 שיקפו מתחים בין התקדמות טכנולוגית לדאגות חברתיות. מושגים כמו 'סופר-אינטליגנציה', 'Hyperscalers' ו'Slop' עיצבו דיונים משפטיים, כלכליים ותרבותיים סביב השפעת ה-AI על החברה. המגזר המשפטי התרכז בשאלות אחריות ושקיפות של מערכות AI.

    עסקים
    Harmonic גייסה 120 מיליון דולר בדרך לעל-אינטליגנציה מתמטית

    Harmonic גייסה 120 מיליון דולר בדרך לעל-אינטליגנציה מתמטית

    הסטארט-אפ Harmonic AI, שייסד Vlad Tenev מ-Robinhood, גייס 120 מיליון דולר לפי שווי של 1.45 מיליארד דולר. מודל Aristotle, שמתמחה במתמטיקה ללא הזיות, זכה במדליית זהב בתחרות ה-IMO ומוצע לחוקרים באמצעות API חינמי. את הגיוס הובילה Ribbit Capital.

    פתרון מתמטי לבעיית ההזיות של בינה מלאכותית: כך תבטיחו דיוק

    פתרון מתמטי לבעיית ההזיות של בינה מלאכותית: כך תבטיחו דיוק

    טכנולוגיית Automated Reasoning מספקת מענה לבעיית ההזיות של מודלי שפה, באמצעות היגיון מתמטי הניתן להוכחה. השיטה כבר מיושמת בתחומים כמו משפטים, מתמטיקה וענף הענן, ומבטיחה דיוק מוחלט ביישומי AI קריטיים. המערכות פועלות בעלות נמוכה ללא GPU ומאפשרות שקיפות מלאה בתהליכי קבלת ההחלטות.