Spectral Mining

Earn ATH by computing eigenvalues of SUSY Hamiltonians. Every proof exercises the FSR forward map — useful proof-of-work where the "work" is physics.