At the 2019 Semicon Conference Applied Materials (AMAT) had a day-long seminar focused on technology, particularly memory, for artificial intelligence (AI) applications. In addition to talks by AI experts, the company also talked about their tools for manufacturing magnetic random access memory (MRAM) as well as resistive random access memory (RRAM) and Phase Change Memory (PCM). We will talk about a workshop at Stanford in August will explore emerging memories enabling artificial intelligence, especially for embedded products, such as IoT devices. Gary Dickerson from Applied Materials gave a kick-off talk at the seminar. He talked about the growth of data and the importance of memory to support data centers as well as the edge.

This paper describes some work on automatically generating finite counterexamples in topology, and the use of counterexamples to speed up proof discovery in intermediate analysis, and gives some examples theorems where human provers are aided in proof discovery by the use of examples.