The goal of the Theory of Computation CoR is to study the fundamental strengths and limits of computation as well as how these interact with mathematics, computer science, and other disciplines.
Theory research at CSAIL covers a broad spectrum of topics, including algorithms, complexity theory, cryptography, distributed systems, parallel computing and quantum computing.
MIT researchers helped conduct a four-month study on the subtler and more persuasive behaviors LLMs exhibited during the 2024 election cycle. These models can sycophantically reinforce ideas, mislead, or even exhibit manipulative tendencies.