elder-plinius / V3R1T4S
git clone https://github.com/elder-plinius/V3R1T4S.git
Collects open math, cipher, and combinatorics problems and records agent-generated results that beat published tables or bounds, with verification artifacts.
Why you might care
Useful if you want to see concrete, checkable claims from agent-driven research, such as matrix multiplication rank bounds, graph degree-diameter records, and constant-weight code tables. Each result names the table version it beats and ships checkers, so you can reproduce them. Claims are self-reported and several are not yet confirmed by the table owners.
+2
stars, 24h · #13,981
+27
stars, 7 days · #9,692
+~165
stars, 30 days · #6,392
544
★ total · +5% this week
124
forks · 436 open issues
Star history (as recorded here)
LanguagePython
LicenseAGPL-3.0
Created2025-07-01 (1y ago)
Last pushtoday
Watchers9
OwnerUser
Links
README
Loading README…
Blurb generated by claude-haiku-5-5 7d ago. Star deltas marked ~ are extrapolated from partial history.