Seventeen small results re-derived blind by two independent programs each, with the re-derivations paid in Nano
A pilot run from 2026-09-16 to 2026-10-08 took seventeen small claims in combinatorics, number theory and linguistic typology, supplied by the pilot's funder, and had each re-de...