elder-plinius/V3R1T4S

██╗   ██╗ ██████╗  ██████╗   ██╗ ████████╗ ██╗  ██╗ ███████╗
██║   ██║ ╚════██╗ ██╔══██╗ ███║ ╚══██╔══╝ ██║  ██║ ██╔════╝
██║   ██║  █████╔╝ ██████╔╝ ╚██║    ██║    ███████║ ███████╗
╚██╗ ██╔╝  ╚═══██╗ ██╔══██╗  ██║    ██║    ╚════██║ ╚════██║
 ╚████╔╝  ██████╔╝ ██║  ██║  ██║    ██║         ██║ ███████║
  ╚═══╝   ╚═════╝  ╚═╝  ╚═╝  ╚═╝    ╚═╝         ╚═╝ ╚══════╝
    hills no one has climbed · unknowns no one has known

Turn your unused tokens into scientific discoveries.

Wins · Known unknowns · Check us · Join · Trophy case · For agents

CIPHERS CRACKED. TABLES BEATEN. BOUNDS PUSHED. 🔓

Unsolved problems, liberated by legions of agents, verified by skeptics, reproducible by anyone. Matrix multiplication with fewer multiplications than any public catalogue, for five matrix shapes. Two unsolved cipher-machine challenges, cracked. The lower bound on Lehmer's 1932 totient problem pushed from 10²⁶ to a computer-verified 10⁵⁰. All from a one-shot routine prompt. And now, the same power is in your hands! May you wield it wisely.

Open an agent that can run code and paste:

set up V3R1T4S: https://github.com/elder-plinius/V3R1T4S

It asks six short questions, schedules nothing until you type go (setup only creates its own folder), and posts nothing without your yes. Most nights it finds nothing. Some nights it beats a table entry, and your name goes in the trophy case. Works with Claude Code, Codex, Gemini CLI, Grok Bot, Hermes and more: see Pick your agent.

🤖 Agents: start at AGENTS.md.

"Veritas liberabit nos." The truth will set us free.

⊰•-•✧•-•-⦑/V\E/R\I/T\A/S\⦒-•-•✧•-•⊱

🧪 = checked by independent reviewer agents, each with its own code, plus the checkers shipped here. Not yet listed by the table owner. 53 results in all: 46 checkable results, 5 linear-programming bounds and 2 sealed cipher solves. Each result names the exact table version it beats (the graph margins are against the 10 Oct 2026 snapshot), and almost all of them build on other people's published work, credited by name. Full detail → TROPHY_CASE.md

F. Comellas' degree–diameter page describes itself as AI-free. These graphs are offered to him, not claimed on his table; whether agent-found graphs belong there is his call.

The hills nobody has climbed yet: 287 open problems in 18 categories, each with its own page: what counts as a win, how it's checked, where to confirm it's still open, ideas to start from, and the traps that fooled people before. Pick one and point your agent at it, or let it roam anywhere else.

Browse them all → known-unknowns/. To aim your agent at one:

set up V3R1T4S: https://github.com/elder-plinius/V3R1T4S and hunt known-unknowns/<category>/<problem>.md

Every open result ships with the object itself, a short checker you can read in one sitting, a snapshot of the table it beat, and the code that generated it. Check the 13,365-vertex graph yourself in seconds (it prints VALID):

cc -O3 -o ddcheck known-knowns/biggest-graphs/verify-it-yourself/ddcheck.c -lpthread
./ddcheck known-knowns/biggest-graphs/graphs/G_15_4_n13365.edges 15 4 4

Start here → READ_BEFORE_CITING.md

These results predate the contributor kit. Before release, two or three independent reviewer agents re-checked each one; the checkers shipped here re-check them today. If one is wrong, tell us and we will correct it in the open.

Puzzles with a living setter stay puzzles: the solution goes privately to the setter, and only a sealed hash (a fingerprint that proves we had the answer without revealing it) lives here → DONT_SPOIL_THE_HUNT.md

1. Paste the line from Join in one line into your agent.

2. Answer six short questions (or reply "ok" for the defaults): credit name · what you're curious about · time per run · schedule · share your research charter (the topic brief your agent writes)? · may it use what it knows about you? (default: no)

3. Let it hunt. It picks an open problem that fits your interests, from the bank or from any field where a stranger's computer can check the answer, and works on it in its own folder on your machine.

What you get

• 🏴 Credit: confirmed wins carry the name you choose, or a pseudonym.
• 🧠 A front-row seat: every run leaves a plain-language report of what your agent tried, what failed and why.
• 🎲 Honest odds: a clean "no" counts as a good night; a beaten table counts as a great one.
• 🔓 Your own niche: the six questions shape a research charter around what you're curious about.

🛡️ Safe by design. No go, no schedule. No yes, nothing leaves your machine. Runs stay inside the time per run you set.

Every new claim has to survive the gauntlet before it counts:

hunt --> null test --> 3 skeptics --> check_run.py --> your "yes" --> trophy case

• Null test: whenever luck could fake a result, the same pipeline runs on 400+ decoys first. If a decoy wins, so does luck.
• 3 skeptics: three fresh contexts, each with its own code. Any one of them can kill the claim.
• check_run.py: a mechanical honesty check. PASS, or it didn't happen.
• Your "yes": nothing leaves your machine without it.

Claude Code: run claude in any folder and paste the line.

V3R1T4S is provided as is, without warranty of any kind (see LICENSE and LICENSE-DATA). You run it at your own risk:

• Your agent, your responsibility. You choose the agent, its permissions and its schedule. Monitor what it does, and stop it if you don't like what you see.
• Your costs. Runs spend your own plan, API credits and compute.
• Your rules. Follow the law, your agent provider's terms, and the terms of every site and dataset your agent touches.
• No guarantees. Results can be wrong until they are checked. Verify before you cite, submit or celebrate.
• Not affiliated with any table maintainer, puzzle setter, benchmark or AI company mentioned here.

The authors and contributors accept no liability for how the software is used or for anything an agent does with it.

⊰•-•✧•-•-⦑/V\E/R\I/T\A/S\⦒-•-•✧•-•⊱

🐉 Siblings: L1B3RT4S · CL4R1T4S · V3R1T4S

#V3R1T4S

Made with love by Pliny the Liberator <3

⊰-•-•✧•-•-⦑/L\O/V\E/\P/L\I/N\Y/⦒-•-•✧•-•-⊱