Unsolved Problems

Showing 1-20 of 20 problems

DARPA-001
Open

The Mathematics of the Brain

Create a mathematically consistent, predictive model of brain function that goes beyond biological inspiration....

L5
Analysis
432
24
DARPA-002
Open

The Dynamics of Networks

Develop high-dimensional mathematics to model and predict behavior in large-scale distributed networks....

L4
Graph Theory
389
21
DARPA-003
Open

Capture and Harness Stochasticity in Nature

Develop methods that capture persistence in stochastic environments, addressing Mumford's call for new mathematics....

L4
Analysis
298
17
DARPA-004
Open

21st Century Fluids

Extend classical fluid dynamics to handle complex substances like foams, suspensions, gels, and liquid crystals....

L4
Partial Differential Equations
345
19
DARPA-005
Open

Biological Quantum Field Theory

Apply quantum and statistical field theory methods to model and potentially control pathogen evolution....

L5
Mathematical Physics
267
15
DARPA-008
Open

Beyond Convex Optimization

Determine whether algebraic geometry can systematically replace linear algebra in optimization....

L4
Computer Science
312
18
DARPA-012
Open

Mathematics of Quantum Computing

Develop the mathematics required to control the quantum world for computation....

L5
Computer Science
543
32
DARPA-013
Open

Game Theory at Scale

Create scalable mathematics for differential games, replacing traditional PDE approaches....

L4
Computer Science
289
16
DARPA-014
Open

Information Theory for Virus Evolution

Apply Shannon's information theory to biological evolution....

L4
Analysis
234
13
DARPA-020
Open

Computation at Scale

Develop asymptotics for systems with massive degrees of freedom....

L4
Computer Science
276
15
DARPA-023
Open

Fundamental Laws of Biology

Identify governing principles for biological systems, analogous to physical laws....

L5
Mathematical Physics
498
29
DARPA-006
Open

Computational Duality

Use mathematical duality and geometry as foundations for developing novel computational algorithms....

L4
Computer Science
198
11
DARPA-007
Open

Occam's Razor in Many Dimensions

Find lower bounds for sensing complexity as data collection grows, addressing entropy maximization....

L4
Computer Science
234
13
DARPA-009
Open

Physical Consequences of Perelman's Proof

Apply Perelman's proof of the Poincaré conjecture to materials fabrication across scales....

L4
Topology
267
15
DARPA-010
Open

Algorithmic Origami and Biology

Strengthen mathematical theory for isometric and rigid embedding relevant to protein folding....

L4
Geometry
298
17
DARPA-011
Open

Optimal Nanostructures

Develop mathematics for creating optimal symmetric structures through nanoscale self-assembly....

L4
Geometry
223
12
DARPA-015
Open

The Geometry of Genome Space

Establish appropriate distance metrics on genome space incorporating biological utility....

L4
Geometry
245
14
DARPA-016
Open

Symmetries and Action Principles for Biology

Extend understanding of symmetries and action principles in biology to include robustness, modularity, evolvability, and variability....

L5
Mathematical Physics
312
18
DARPA-017
Open

Geometric Langlands and Quantum Physics

Connect the Langlands program to fundamental physics symmetries....

L5
Mathematical Physics
356
20
DARPA-018
Open

Arithmetic Langlands, Topology, and Geometry

Explore homotopy theory's role in Langlands programs....

L5
Topology
289
16