Shafto Celebrates Amazon Science Partnership for DARPA Programs

Patrick Shafto posted about a recent event. The Rutgers-Newark professor and DARPA program manager expressed pride in partnering with Amazon Science. He stated that the teams go further and faster together on the Artificial Intelligence Quantified (AIQ) and Exponentiating Mathematics (expMath) programs. These focus on mathematical foundations for AI and AI for formalization of pure mathematics. The post included an attachment of a single photograph.