Science-based models from NameNotFound.ai: quantitative reasoning, multi-hop analysis, formal proof, and verified answers.