Manuel Blum (Carnegie Mellon University)
https://simons.berkeley.edu/talks/man…
The Role of TCS in Modern Machine Learning.

We define the Conscious Turing Machine (CTM), a formal global workspace model of consciousness specified as a 7-tuple. Its 10 million processors self-define a multimodal language, Brainish, together with a dictionary of chunks. Each chunk is a 5-tuple that contains and defines a 2-tuple Brainish word.

Our principal contribution is not theorems—though there is one—but theoretical insights into several central puzzles of consciousness. From this formal definition follow a proposed solution to the binding problem, an explanation of how the suffering of pain is generated, and testable predictions derived from the CTM.