Misalignment Between AI Development and Mathematical Rigor | HACKOBAR_