Then Darpa turns around, and sponsors a new project to "develop a mathematical theory to build a functional model of the brain." It's one of 23 "mathematical challenges" issued today by the agency.