Optimization, Complexity and Math (or, can we prove P!=NP by gradient descent?)
MATHEMATICAL PICTURE LANGUAGE
Avi Wigderson - Institute for Advanced Study, Princeton
This talk aims to summarize a project I was involved in during the past 5 years, which links together many areas in math, CS and physics. I hope to explain our motivations and goals, summarize our understanding so far, as well as challenges and open problems. I plan to describe, through examples, many of the concepts they refer to, and the evolution of ideas leading to what we know. More details can be found at mathpicture.fas.harvard.