That’s Mathematics
Recording by Tom Lehrer.
Recording identifiers
- ISRC
- QZW9L2347821
- Release date of the album this recording appears on
- 2020
- CopyrightID (CopyrightChains transaction hash)
- 0xacee463e61fb54253c6d99567efbb604b3694c4c4f17590d543e8554bef22f94
- Copyright registration time
- 2026-07-30T05:36:52+00:00
OpenTimestamps proof evidence
- Bitcoin-attested timestamp
- 2026-07-30T05:43:45Z
- Bitcoin block
- 960212
- Canonical record hash
- sha256:494ed29331ff37b4ab3a7fdb77a63bbaa7a4801f1455d3ede1ffc430cd609cc1
- Verify the CopyrightID on CopyrightChains
- Verify the Bitcoin block independently
- Read the machine-verifiable OTS result
- Download the anchored registration record (its SHA-256 is the canonical record hash above)
- Download the OpenTimestamps proof (.ots) for that record
- Recording evidence summary for ISRC QZW9L2347821
What this proof establishes
This recording was released in 2020, before generative AI. ProofProfile's catalogue derives from the pre-2022 AcousticBrainz and MusicBrainz source corpus, and ISRC is the stable recording-level bridge from that source corpus to the authoritative cc-db-prod track record.
CopyrightChains and Bitcoin OpenTimestamps make the exact committed record independently verifiable today. The cryptographic proof does not by itself establish authorship or ownership of the underlying recording.
Read the complete pre-generative-AI provenance and verification method.