Tag: Mersenne-Primes

All the articles with the tag "Mersenne-Primes".

• Simultaneous Identities of the Golden Ratio and Euler's Identity

  29 Jul, 2026

  Formal verification in Lean 4 that the golden ratio φ satisfies twelve identities across five canonical structures, specialised to the 52 known Mersenne prime exponents.