ידיעות בינה מלאכותית בנושא MATHEMATICS
חוקרים ישראלים פיתחו מערכת AI בשם MEDA שמצליחה לנסח משוואות מדעיות מתוך מאמרים קיימים. בבדיקה של 12 מערכות נמצאה בעיה קריטית: מודלים שמסתמכים רק על נתונים גולמיים הניבו משוואות חסרות ביסוס ביולוגי ורפואי. המערכת הישראלית, שמשלבת מודל שפה עם חיפוש מתמטי, מייצרת משוואות שקופות וניתנות לבדיקה, וזמינה כקוד פתוח לחוקרים אחרים.
מחקר ORCA בחן 5 מודלי AI מובילים ב-500 שאלות מתמטיות. ג'מיני של גוגל ו-Grok-4 (xAI) מובילים עם כ-63% דיוק, אך שיעור הטעויות הממוצע עומד על 40%. רוב הכשלים נובעים מ'חישובים מרושלים' וכשלי לוגיקה. מומלץ לאמת תוצאות קריטיות בכלים מקצועיים.
מודל בינה מלאכותית של Meta פתר בעיית יציבות מתמטית בת 100 שנים בהצלחה של 10.1%, אך הוא עדיין נזקק לסיוע אנושי. מודלים של גוגל מציגים ביצועים מרשימים בתחרויות מתמטיות ובפתרון משוואות נאוויר-סטוקס. מומחים צופים כי AI תשנה את פני המתמטיקה בתוך שנים, אך מדגישים את הצורך בשילוב בין יכולות חישוב לבין תובנה אנושית.
הסטארט-אפ Harmonic AI, שייסד Vlad Tenev מ-Robinhood, גייס 120 מיליון דולר לפי שווי של 1.45 מיליארד דולר. מודל Aristotle, שמתמחה במתמטיקה ללא הזיות, זכה במדליית זהב בתחרות ה-IMO ומוצע לחוקרים באמצעות API חינמי. את הגיוס הובילה Ribbit Capital.
