זוכה פרס פילדס מקים מכון שינסה להוכיח מתמטית שבינה מלאכותית בטוחה
המתמטיקאי הקנדי יעקב צימרמן, זוכה פרס פילדס וחבר בצוות הבטיחות של OpenAI, הקים מכון מחקר עצמאי בשם MAISI שיפעל מאזור מפרץ סן פרנסיסקו החל מינואר 2027. המכון ינסה ליישם הוכחות מתמטיות קשוחות, בהשראת קריפטוגרפיה, כדי להראות שמערכות AI פועלות באופן בטוח ואחראי - תחום שכיום נשען בעיקר על בדיקות אמפיריות.