Recently, an AI assistant named Gauss has made waves in the mathematical community by completing the formalization challenge of the Strong Prime Number Theorem (PNT), proposed by renowned ...