Verification generally refers to substituting a special value into a general formula, which can make this formula effective.

And it is proved that it is a general conclusion after strict mathematical reasoning.

For example, the famous Goldbach conjecture, which has been verified by tens of thousands of numbers, can only be called conjecture without strict theoretical proof.