फर्स्ट प्रूफ प्रोजेक्ट के हिस्से के रूप में, कृत्रिम बुद्धिमत्ता को अब तक के सबसे चुनौतीपूर्ण गणित परीक्षणों में से एक से गुजरना पड़ा, जिसमें चार एआई प्रणालियों को दस जटिल अनुसंधान समस्याओं को हल करने के लिए कहा गया।