Development of Automated Reasoning System Capable of Generating Proofs For Mathematical Theorems. Commun. Phys. Sci 2025, 12 (8), 2300-2311.