Math enthusiast, currently addicted to the o1 model.