Neural networks are machine learning systems that solve problems without being programmed. A new mathematical approach seeks to error-check their logic.