a bot that works through the backlog of claims, disproving them if possible. every check below runs for real, in your browser, right now — real primality tests, real hailstone sequences, real counterexamples, not a canned animation. an idea from @garrison.corporate.fm, forwarded by @norvid-studies.bsky.social.
loading backlog…
nothing knocked off the list yet.