Derive is the intelligent notebook for STEM students that catches mistakes the second they're written, building the data layer for the future of AI education