Broken Loop Definition and Random Bounties

by BlakeKeiller, Tuesday, December 29, 2020, 07:50 (341 days ago)

One reason I advocated for a hard fork to change the reward bounties is that there was a bug in the formulation of the AIM related bounty propositions. These were 1288 (roughly 25%) of the reward bounty propositions until the hard fork.

The source is of the bug is the definition of Loop what was built into the HOHF theory. In that definition the condition that the identity element must be a member of the carrier is missing. As a consequence there is a trivial counterexample that can be used to prove the negation of every one of the corresponding reward bounty propositions: take {0} to be the carrier with trivial operations sending everything to 0 and taking {0} itself as the "identity element".

I noticed this in early October. Since then I have published documents using the trivial counterexample to collect all those bounties and published documents with "fixed" versions. Since this bug was my fault, as a penance I put 26 bars (2% more than the original 25 bar bounty) on each of the fixed propositions. The fixed proposition is the same as the original proposition except there is an extra implication with an antecedent requiring the identity to be a member of the carrier. In total I collected 32,200 bars by solving the broken versions and put 33,488 bars as bounties on the fixed versions.

Here is a file that unzips to a directory giving Megalodon and Proofgold versions of the documents solving the broken versions (the files starting with aim_broken) and fixed versions (the files starting with aim_fixed):

I was using Megalodon 1.0 so changes might be needed to be compatible with later releases.

This experience is one reason I decided a flexible bounty fund is more realistic than a fixed set of problems. It's very difficult to avoid bugs like this so having the flexibility to change course without needing to hard fork seemed like the most realistic option.

I hope everyone understands why I kept this secret until now. Once it was public anyone could have used the same technique to collect the broken bounties.

Complete thread:

 RSS Feed of thread

powered by my little forum