חזרה לכל הפרקים
מיקרוסופט מציגה את EuClean: צעד חשוב לאיחוד הוכחות מתמטיות, בינה מלאכותית וגיאומטריה
24/06/20263:02
0:000:00
Spotify.svg.png)
Apple Podcasts
Podcast Indexתיאור הפרק
חדשות AI מאת הפורטל המרכזי לקהילה העסקית והמדעית בישראל זירת AI. מחקר חדש של Microsoft Research מציג מסגרת לאוטומציה של ניסוח בעיות גיאומטריה בתוך Lean ו-mathlib. מעבר להישג הטכני, EuClean מסמן כיוון אסטרטגי חשוב: בניית מערכות AI המסוגלות לחשוב מתמטית בסביבה מאומתת, אחידה וניתנת להרחבה.
