Lin Hsin Hsin Quantum Security Center
The Nature of Mathematical Verification
Mathematics relies on
⏹ abstraction
⏹ logical deduction
⏹ not consensus
⏹ not headcount
⭕ A proof is either valid
or
⭕ it is not
An individual with the correct insight can
⭕ dismantle a false proof
or
⭕ fix a broken one
While modern complex proofs, eg the Classification of Finite Simple Groups, sometimes involve collaborations due to their sheer length, the act of finding a specific error or deriving a correct formula
often stems from individual insight
The idea that a team is required to write or correct mathematical equations is historically
inaccurate
Many of the most significant corrections and discoveries in mathematics were made by
solo inventors or individuals working in isolation