NextReason is an ERC-funded research project developing next-generation methods for computer-assisted automated reasoning. The project investigates automated theorem proving, conjecture generation, neuro-symbolic reasoning, and learning-based methods for mathematical reasoning. GPU resources will be used to train and evaluate machine-learning models, run neural components of automated reasoning systems, and perform computational experiments combining learning and symbolic search.