By extending the scope of a key insight behind Fermat’s Last Theorem, four mathematicians have made great strides toward building a unifying theory of mathematics.

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.