Stav dette: Advances in Mathematical Reasoning with Large Language Models