साइंस पत्रिका ने 8 अक्टूबर को गूगल डीपमाइंड का AlphaProof Nexus शोध छापा। सिस्टम ने 353 खुले एर्डोश सवालों में से 9 और पूर्णांक अनुक्रमों के 44 अनुमान सिद्ध किए। हर प्रमाण Lean सॉफ़्टवेयर ने जांचा, पर विशेषज्ञों के मुताबिक वह सवाल की सही लिखावट नहीं परख सकता।