החברה מפתחת מערכת להוכחה מתמטית שקוד עומד בדרישות מוגדרות, בשילוב כלי AI וטכנולוגיות פתוחות. היא מציגה שאיפה להרחיב אימות פורמלי לשפות ולמערכות שונות. הגישה נועדה לאפשר בדיקה עצמאית של ההוכחות, תחת הנחות ודרישות שמוגדרות מראש.
מצאתם טעות או תוכן לא ראוי? דווחו לנו >>
→ לכל המבזקים