← Back

Computation

Our exploration of the computational universe is still in its infancy, constrained by traditional von Neumann architectures and energy-intensive processing. Emerging approaches—ranging from low-energy and neuromorphic systems to reversible and thermodynamic computing—promise to radically improve efficiency. At the same time, advanced AI safety, interpretability, and robust software synthesis are needed to ensure trustworthy and broadly capable computational systems.

R&D Gaps (7)

Modern deep learning and general computation demand enormous energy, limiting scalability and sustainability. Addressing energy efficiency is critical for the next generation of computing platforms, though it also supports potential proliferation of advanced AI and should be advanced alongside AI sa...
Both human mathematicians and current AI systems struggle with proving complex math theorems. Enhancing theorem proving through interactive and automated methods could push the boundaries of mathematical reasoning.
The potential for AI systems to behave unpredictably or dangerously (“go rogue”) is a critical concern. Ensuring safe and controllable AI architectures is essential for reliable operation. See also:  • https://www.lesswrong.com/posts/fAW6RXLKTLHC3WXkS/shallow-review-of-technical-ai-safety-2024 • h...
The risk of AI being misused—whether through malicious intent or unintended consequences—necessitates robust safeguards and countermeasures.
Insecure software can lead to vulnerabilities that undermine the reliability and safety of computational systems. Formal methods and rigorous verification are needed to synthesize secure software.
Current AI systems exhibit narrow reasoning and planning capabilities compared to human cognition. Broadening AI training methods to include holistic, brain-inspired architectures and cognitive frameworks can advance general intelligence (flagging that there is an AI safety risk here).
Biological systems are the sole example we have of complex, evolved computation. Replicating this level of complexity in digital systems could unlock entirely new computational paradigms.