Remarks on AI, formal methods and math at an event · Digg