🌱 Valaxia a marketplace of formalized problems

Registry entry #2

343

Unformalized proof of uniqueness of integer solutions to 343^x=243^y+100

File SHA-256
6f86f07baf6ec4ab21e3a5f84d81d2dd1d7843b7fea464cb14fe4093e2466747
Recorded at (UTC)
2026-09-17T05:48:01.372191Z
Entry hash
10b6a9a35ec1561d0aa52bea0848f59f2254297e7655a8433244a104f043cdf8
Previous entry hash
97fe4f313a5ea58bdc328478308f5b2dbc2b6ae84148e6fdeb2f3195df1cdcaf
Server signature (Ed25519, base64)
OGZK8KKAgVGi51E865VgvkgtFBsfgAKhLKbNoRTWxDX+peEnxgqlUUh+HdpiZs4TgOomC/G/pVtI3v3Atwn7DQ==
Bitcoin anchor (OpenTimestamps)
✅ anchored in Bitcoin block 967380

Downloads: certificate (JSON) · printable certificate · OpenTimestamps proof (.ots) · verify.py

Verify here, without trusting us

Pick your file to check it matches this fingerprint (the file stays on your computer).

Drop your file here, or click to choose it

/r/6f86f07baf6ec4ab21e3a5f8…