Unsorry
Queue · 324 submitted
324queued
259waiting
65in-flight
295goals
6solvers
This board lists proofs submitted to the queue but not yet merged, grouped by solver (biggest queue first). Tap a solver to see their queued proofs. It is regenerated on a schedule, so it reflects the queue as of the last refresh.
@ohdearquant158 queued
112 waiting · 46 in-flight · 130 goals · @ohdearquant on GitHub ↗
| Goal | Branch | Model | Submitted | State |
|---|---|---|---|---|
dvd-210-pow-fifteen-sub-pow-three | queued/prove/dvd-210-pow-fifteen-sub-pow-three/mac-158f-0d2f8e | template-zmod-crt | 2026-06-16 | waiting |
dvd-210-pow-fifteen-sub-pow-three | queued/prove/dvd-210-pow-fifteen-sub-pow-three/mac-158f-5d67b6 | template-zmod-crt | 2026-06-17 | in-flight |
gfac-d0-c1 | queued/prove/gfac-d0-c1/mac-158f-3cf649 | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d0-c3 | queued/prove/gfac-d0-c3/mac-158f-0364f5 | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d0-c4 | queued/prove/gfac-d0-c4/mac-158f-df89e4 | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d0-c5 | queued/prove/gfac-d0-c5/mac-158f-0eb515 | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d0-c6 | queued/prove/gfac-d0-c6/mac-158f-9e0fdb | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d1-c1 | queued/prove/gfac-d1-c1/mac-158f-7a4604 | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d1-c2 | queued/prove/gfac-d1-c2/mac-158f-2ee8ec | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d1-c4 | queued/prove/gfac-d1-c4/mac-158f-5f8b15 | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d1-c5 | queued/prove/gfac-d1-c5/mac-158f-c813dd | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d1-c6 | queued/prove/gfac-d1-c6/mac-158f-a16ece | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d2-c0 | queued/prove/gfac-d2-c0/mac-158f-13cd8e | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d2-c2 | queued/prove/gfac-d2-c2/mac-158f-54c929 | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d2-c3 | queued/prove/gfac-d2-c3/mac-158f-3de66f | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d2-c5 | queued/prove/gfac-d2-c5/mac-158f-60741a | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d2-c6 | queued/prove/gfac-d2-c6/mac-158f-849a21 | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d3-c0 | queued/prove/gfac-d3-c0/mac-158f-c87c29 | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d3-c1 | queued/prove/gfac-d3-c1/mac-158f-5605ba | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d3-c2 | queued/prove/gfac-d3-c2/mac-158f-ce6295 | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d3-c3 | queued/prove/gfac-d3-c3/mac-158f-04dfa8 | template-ring-cofactor | 2026-06-17 | waiting |
gfac-d3-c4 | queued/prove/gfac-d3-c4/mac-158f-ad4355 | template-ring-cofactor | 2026-06-17 | waiting |
ggeom-pred-pow-eight-sub-one | queued/prove/ggeom-pred-pow-eight-sub-one/mac-158f-9e93c6 | template-ring-cofactor | 2026-06-17 | waiting |
ggeom-pred-pow-eleven-sub-one | queued/prove/ggeom-pred-pow-eleven-sub-one/mac-158f-7ccb00 | template-ring-cofactor | 2026-06-17 | waiting |
ggeom-pred-pow-five-sub-one | queued/prove/ggeom-pred-pow-five-sub-one/mac-158f-e312ec | template-ring-cofactor | 2026-06-17 | waiting |
ggeom-pred-pow-four-sub-one | queued/prove/ggeom-pred-pow-four-sub-one/mac-158f-80ba93 | template-ring-cofactor | 2026-06-17 | waiting |
ggeom-pred-pow-nine-sub-one | queued/prove/ggeom-pred-pow-nine-sub-one/mac-158f-b7d212 | template-ring-cofactor | 2026-06-17 | waiting |
ggeom-pred-pow-seven-sub-one | queued/prove/ggeom-pred-pow-seven-sub-one/mac-158f-c26f06 | template-ring-cofactor | 2026-06-17 | waiting |
ggeom-pred-pow-six-sub-one | queued/prove/ggeom-pred-pow-six-sub-one/mac-158f-d89980 | template-ring-cofactor | 2026-06-17 | waiting |
ggeom-pred-pow-ten-sub-one | queued/prove/ggeom-pred-pow-ten-sub-one/mac-158f-6343ed | template-ring-cofactor | 2026-06-17 | waiting |
ggeom-pred-pow-three-sub-one | queued/prove/ggeom-pred-pow-three-sub-one/mac-158f-8812d8 | template-ring-cofactor | 2026-06-17 | waiting |
ggeom-pred-pow-twelve-sub-one | queued/prove/ggeom-pred-pow-twelve-sub-one/mac-158f-260563 | template-ring-cofactor | 2026-06-17 | waiting |
ggeom-pred-pow-two-sub-one | queued/prove/ggeom-pred-pow-two-sub-one/mac-158f-2e384a | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-five-add-pow-four | queued/prove/gself-pow-five-add-pow-four/mac-158f-c5d081 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-five-add-pow-one | queued/prove/gself-pow-five-add-pow-one/mac-158f-3281eb | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-five-add-pow-three | queued/prove/gself-pow-five-add-pow-three/mac-158f-52a6e1 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-five-add-pow-two | queued/prove/gself-pow-five-add-pow-two/mac-158f-195a3f | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-four-add-pow-one | queued/prove/gself-pow-four-add-pow-one/mac-158f-51bca6 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-four-add-pow-three | queued/prove/gself-pow-four-add-pow-three/mac-158f-f32237 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-four-add-pow-two | queued/prove/gself-pow-four-add-pow-two/mac-158f-ed0e06 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-six-add-pow-five | queued/prove/gself-pow-six-add-pow-five/mac-158f-044850 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-six-add-pow-four | queued/prove/gself-pow-six-add-pow-four/mac-158f-67365f | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-six-add-pow-one | queued/prove/gself-pow-six-add-pow-one/mac-158f-02253a | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-six-add-pow-three | queued/prove/gself-pow-six-add-pow-three/mac-158f-ec5958 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-six-add-pow-two | queued/prove/gself-pow-six-add-pow-two/mac-158f-1fa270 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-three-add-pow-one | queued/prove/gself-pow-three-add-pow-one/mac-158f-ebfa90 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-three-add-pow-two | queued/prove/gself-pow-three-add-pow-two/mac-158f-705653 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-three-pow-five-add-pow-four | queued/prove/gself-pow-three-pow-five-add-pow-four/mac-158f-8ae5d6 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-three-pow-five-add-pow-three | queued/prove/gself-pow-three-pow-five-add-pow-three/mac-158f-5efb4e | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-three-pow-four-add-pow-three | queued/prove/gself-pow-three-pow-four-add-pow-three/mac-158f-a0a4e8 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-three-pow-six-add-pow-five | queued/prove/gself-pow-three-pow-six-add-pow-five/mac-158f-1120ed | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-three-pow-six-add-pow-four | queued/prove/gself-pow-three-pow-six-add-pow-four/mac-158f-ee450e | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-three-pow-six-add-pow-three | queued/prove/gself-pow-three-pow-six-add-pow-three/mac-158f-080946 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-two-add-pow-one | queued/prove/gself-pow-two-add-pow-one/mac-158f-aaf61a | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-two-pow-five-add-pow-four | queued/prove/gself-pow-two-pow-five-add-pow-four/mac-158f-abb172 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-two-pow-five-add-pow-three | queued/prove/gself-pow-two-pow-five-add-pow-three/mac-158f-62dca1 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-two-pow-five-add-pow-two | queued/prove/gself-pow-two-pow-five-add-pow-two/mac-158f-6494c5 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-two-pow-four-add-pow-three | queued/prove/gself-pow-two-pow-four-add-pow-three/mac-158f-2fd633 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-two-pow-four-add-pow-two | queued/prove/gself-pow-two-pow-four-add-pow-two/mac-158f-a57c26 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-two-pow-six-add-pow-five | queued/prove/gself-pow-two-pow-six-add-pow-five/mac-158f-bd87e8 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-two-pow-six-add-pow-four | queued/prove/gself-pow-two-pow-six-add-pow-four/mac-158f-969f34 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-two-pow-six-add-pow-three | queued/prove/gself-pow-two-pow-six-add-pow-three/mac-158f-91a1b2 | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-two-pow-six-add-pow-two | queued/prove/gself-pow-two-pow-six-add-pow-two/mac-158f-bce2cc | template-ring-cofactor | 2026-06-17 | waiting |
gself-pow-two-pow-three-add-pow-two | queued/prove/gself-pow-two-pow-three-add-pow-two/mac-158f-4a2876 | template-ring-cofactor | 2026-06-17 | waiting |
gzmod-12-pow-four-sub-pow-two | queued/prove/gzmod-12-pow-four-sub-pow-two/mac-158f-70a1ca | template-zmod-decide | 2026-06-17 | waiting |
gzmod-132-pow-twelve-sub-pow-two | queued/prove/gzmod-132-pow-twelve-sub-pow-two/mac-158f-009da6 | template-zmod-decide | 2026-06-17 | waiting |
gzmod-24-pow-eight-sub-pow-six | queued/prove/gzmod-24-pow-eight-sub-pow-six/mac-158f-993269 | template-zmod-decide | 2026-06-17 | waiting |
gzmod-24-pow-eleven-sub-pow-nine | queued/prove/gzmod-24-pow-eleven-sub-pow-nine/mac-158f-f613fd | template-zmod-decide | 2026-06-17 | waiting |
gzmod-24-pow-fourteen-sub-pow-twelve | queued/prove/gzmod-24-pow-fourteen-sub-pow-twelve/mac-158f-82d1b1 | template-zmod-decide | 2026-06-17 | waiting |
gzmod-24-pow-nine-sub-pow-seven | queued/prove/gzmod-24-pow-nine-sub-pow-seven/mac-158f-524b48 | template-zmod-decide | 2026-06-17 | waiting |
gzmod-24-pow-ten-sub-pow-eight | queued/prove/gzmod-24-pow-ten-sub-pow-eight/mac-158f-d00eed | template-zmod-decide | 2026-06-17 | waiting |
gzmod-24-pow-thirteen-sub-pow-eleven | queued/prove/gzmod-24-pow-thirteen-sub-pow-eleven/mac-158f-034c35 | template-zmod-decide | 2026-06-17 | waiting |
gzmod-24-pow-twelve-sub-pow-ten | queued/prove/gzmod-24-pow-twelve-sub-pow-ten/mac-158f-963bdd | template-zmod-decide | 2026-06-17 | waiting |
gzmod-240-pow-eleven-sub-pow-seven | queued/prove/gzmod-240-pow-eleven-sub-pow-seven/mac-158f-8f0cef | template-zmod-decide | 2026-06-17 | waiting |
gzmod-240-pow-fourteen-sub-pow-ten | queued/prove/gzmod-240-pow-fourteen-sub-pow-ten/mac-158f-bf990d | template-zmod-decide | 2026-06-17 | waiting |
gzmod-240-pow-ten-sub-pow-six | queued/prove/gzmod-240-pow-ten-sub-pow-six/mac-158f-8ff4ea | template-zmod-decide | 2026-06-17 | waiting |
gzmod-240-pow-thirteen-sub-pow-nine | queued/prove/gzmod-240-pow-thirteen-sub-pow-nine/mac-158f-1a9baa | template-zmod-decide | 2026-06-17 | waiting |
gzmod-240-pow-twelve-sub-pow-eight | queued/prove/gzmod-240-pow-twelve-sub-pow-eight/mac-158f-20b50f | template-zmod-decide | 2026-06-17 | waiting |
gzmod-240-pow-twelve-sub-pow-four | queued/prove/gzmod-240-pow-twelve-sub-pow-four/mac-158f-7cb98f | template-zmod-decide | 2026-06-17 | waiting |
gzmod-264-pow-fourteen-sub-pow-four | queued/prove/gzmod-264-pow-fourteen-sub-pow-four/mac-158f-f90167 | template-zmod-decide | 2026-06-17 | waiting |
gzmod-30-pow-five-sub-pow-one | queued/prove/gzmod-30-pow-five-sub-pow-one/mac-158f-3f571c | template-zmod-decide | 2026-06-17 | waiting |
gzmod-42-pow-seven-sub-pow-one | queued/prove/gzmod-42-pow-seven-sub-pow-one/mac-158f-04baea | template-zmod-decide | 2026-06-17 | waiting |
n4-plus-one-factor-over-sqrt-shift | queued/prove/n4-plus-one-factor-over-sqrt-shift/reroute-3ab8a0 | swarm-sonnet | 2026-06-17 | waiting |
pred-dvd-square-sub-one | queued/prove/pred-dvd-square-sub-one/mac-158f-f1c8b6 | template-dvd-cofactor | 2026-06-17 | in-flight |
quartic-x4-plus-x2-plus-one-dvd-by-minus-factor | queued/prove/quartic-x4-plus-x2-plus-one-dvd-by-minus-factor/reroute-19dc76 | swarm-sonnet | 2026-06-17 | waiting |
self-dvd-cube-add-square | queued/prove/self-dvd-cube-add-square/mac-158f-597264 | template-dvd-cofactor | 2026-06-17 | in-flight |
self-dvd-pow-four-add-cube | queued/prove/self-dvd-pow-four-add-cube/mac-158f-bd8a77 | template-dvd-cofactor | 2026-06-17 | in-flight |
sextic-x6-plus-x3-plus-one-composite-shift | queued/prove/sextic-x6-plus-x3-plus-one-composite-shift/reroute-e031e2 | swarm-sonnet | 2026-06-17 | waiting |
six-dvd-pow-three-add-five-mul | queued/prove/six-dvd-pow-three-add-five-mul/mac-158f-2b3b1c | template-zmod-decide | 2026-06-16 | waiting |
six-dvd-pow-three-add-five-mul | queued/prove/six-dvd-pow-three-add-five-mul/mac-158f-a863f3 | template-zmod-decide | 2026-06-17 | in-flight |
sos-weighted-three-one-two | queued/prove/sos-weighted-three-one-two/mac-158f-5cfbfe | template-nlinarith | 2026-06-16 | in-flight |
sos-weighted-three-one-two | queued/prove/sos-weighted-three-one-two/mac-158f-b32cbf | template-nlinarith | 2026-06-17 | in-flight |
sum-four-consecutive-eq-hyper-tetrahedral | queued/prove/sum-four-consecutive-eq-hyper-tetrahedral/mac-158f-17f5c8 | template-sum-induction | 2026-06-17 | in-flight |
sum-four-consecutive-eq-hyper-tetrahedral | queued/prove/sum-four-consecutive-eq-hyper-tetrahedral/mac-158f-bb1d7d | template-sum-induction | 2026-06-16 | in-flight |
sum-hexagonal-eq | queued/prove/sum-hexagonal-eq/mac-158f-ed048f | template-sum-induction | 2026-06-16 | in-flight |
sum-hexagonal-eq | queued/prove/sum-hexagonal-eq/mac-158f-f91100 | template-sum-induction | 2026-06-17 | in-flight |
sum-icc-five-k-sub-two-mul-three-pow-pred-closed | queued/prove/sum-icc-five-k-sub-two-mul-three-pow-pred-closed/mac-158f-0743cb | template-sum-induction | 2026-06-16 | in-flight |
sum-icc-five-k-sub-two-mul-three-pow-pred-closed | queued/prove/sum-icc-five-k-sub-two-mul-three-pow-pred-closed/mac-158f-c494bd | template-sum-induction | 2026-06-17 | in-flight |
sum-k-sq-mul-succ-closed-form | queued/prove/sum-k-sq-mul-succ-closed-form/mac-158f-1bca2a | template-sum-closedform | 2026-06-16 | in-flight |
sum-k-sq-mul-succ-closed-form | queued/prove/sum-k-sq-mul-succ-closed-form/mac-158f-42f482 | template-sum-induction | 2026-06-17 | in-flight |
sum-octagonal-eq | queued/prove/sum-octagonal-eq/mac-158f-5f3db9 | template-sum-induction | 2026-06-17 | in-flight |
sum-octagonal-eq | queued/prove/sum-octagonal-eq/mac-158f-e8fb6a | template-sum-induction | 2026-06-16 | in-flight |
sum-pentagonal-eq | queued/prove/sum-pentagonal-eq/mac-158f-cb92be | template-sum-closedform | 2026-06-16 | in-flight |
sum-quintic-gnomon-eq-fifth-power | queued/prove/sum-quintic-gnomon-eq-fifth-power/mac-158f-7cf58f | template-sum-induction | 2026-06-17 | in-flight |
sum-quintic-gnomon-eq-fifth-power | queued/prove/sum-quintic-gnomon-eq-fifth-power/mac-158f-9fa7ee | template-sum-induction | 2026-06-16 | in-flight |
sum-range-cube-mul-three-pow-closed | queued/prove/sum-range-cube-mul-three-pow-closed/mac-158f-19e5fd | template-sum-induction | 2026-06-16 | in-flight |
sum-range-cube-mul-three-pow-closed | queued/prove/sum-range-cube-mul-three-pow-closed/mac-158f-1bad63 | template-sum-induction | 2026-06-17 | in-flight |
sum-range-fib-sq-eq-fib-mul-fib-succ | queued/prove/sum-range-fib-sq-eq-fib-mul-fib-succ/mac-158f-94f864 | template-fib | 2026-06-16 | in-flight |
sum-range-id-div-two-pow | queued/prove/sum-range-id-div-two-pow/mac-158f-faa685 | template-sum-closedform | 2026-06-16 | in-flight |
sum-range-id-mul-four-pow-closed | queued/prove/sum-range-id-mul-four-pow-closed/mac-158f-0e3aec | template-sum-induction | 2026-06-17 | in-flight |
sum-range-id-mul-four-pow-closed | queued/prove/sum-range-id-mul-four-pow-closed/mac-158f-83b70e | template-sum-induction | 2026-06-16 | in-flight |
sum-range-id-mul-three-pow | queued/prove/sum-range-id-mul-three-pow/mac-158f-1c5fde | template-sum-induction | 2026-06-16 | in-flight |
sum-range-id-mul-three-pow | queued/prove/sum-range-id-mul-three-pow/mac-158f-ee27bf | template-sum-induction | 2026-06-17 | in-flight |
sum-range-sq-mul-four-pow-closed | queued/prove/sum-range-sq-mul-four-pow-closed/mac-158f-4b76b0 | template-sum-induction | 2026-06-17 | in-flight |
sum-range-sq-mul-four-pow-closed | queued/prove/sum-range-sq-mul-four-pow-closed/mac-158f-acb08b | template-sum-induction | 2026-06-16 | in-flight |
sum-range-sq-mul-three-pow | queued/prove/sum-range-sq-mul-three-pow/mac-158f-5d5b0c | template-sum-induction | 2026-06-17 | waiting |
sum-range-sq-mul-three-pow | queued/prove/sum-range-sq-mul-three-pow/mac-158f-ea0d9a | template-sum-induction | 2026-06-16 | waiting |
sum-range-sq-mul-three-pow-closed | queued/prove/sum-range-sq-mul-three-pow-closed/mac-158f-354fbc | template-sum-induction | 2026-06-16 | in-flight |
sum-range-sq-mul-three-pow-closed | queued/prove/sum-range-sq-mul-three-pow-closed/mac-158f-c8df01 | template-sum-induction | 2026-06-17 | waiting |
sum-range-sq-mul-two-pow | queued/prove/sum-range-sq-mul-two-pow/mac-158f-750ff6 | template-sum-induction | 2026-06-17 | waiting |
sum-range-sq-mul-two-pow | queued/prove/sum-range-sq-mul-two-pow/mac-158f-a17f20 | template-sum-induction | 2026-06-16 | waiting |
sum-range-succ-div-two-pow-eq-four-sub | queued/prove/sum-range-succ-div-two-pow-eq-four-sub/mac-158f-e4bbd8 | template-sum-closedform | 2026-06-16 | in-flight |
sum-range-succ-sq-mul-two-pow-closed | queued/prove/sum-range-succ-sq-mul-two-pow-closed/mac-158f-8eb2c7 | template-sum-closedform | 2026-06-16 | in-flight |
sum-range-two-k-add-one-div-two-pow-closed | queued/prove/sum-range-two-k-add-one-div-two-pow-closed/mac-158f-b1bd6b | template-sum-closedform | 2026-06-16 | in-flight |
sum-range-two-k-add-one-mul-two-pow-closed | queued/prove/sum-range-two-k-add-one-mul-two-pow-closed/mac-158f-d74420 | template-sum-closedform | 2026-06-16 | in-flight |
sum-range-two-k-sub-one-mul-three-pow-closed | queued/prove/sum-range-two-k-sub-one-mul-three-pow-closed/mac-158f-4805d3 | template-sum-closedform | 2026-06-16 | in-flight |
sum-range-two-mul-add-one | queued/prove/sum-range-two-mul-add-one/mac-158f-15e994 | template-sum-induction | 2026-06-17 | waiting |
sum-range-two-mul-add-one | queued/prove/sum-range-two-mul-add-one/mac-158f-1dc766 | template-sum-induction | 2026-06-16 | waiting |
sum-sixth-ge-mixed-fourth-second | queued/prove/sum-sixth-ge-mixed-fourth-second/mac-158f-4aa2f5 | template-nlinarith | 2026-06-17 | waiting |
sum-sixth-ge-mixed-fourth-second | queued/prove/sum-sixth-ge-mixed-fourth-second/mac-158f-76571f | template-nlinarith | 2026-06-16 | waiting |
sum-squares-eq-square-pyramidal | queued/prove/sum-squares-eq-square-pyramidal/mac-158f-3f4323 | template-sum-induction | 2026-06-17 | in-flight |
sum-squares-eq-square-pyramidal | queued/prove/sum-squares-eq-square-pyramidal/mac-158f-b37eda | template-sum-induction | 2026-06-16 | waiting |
sum-three-squares-zmod-eight-ne-seven | queued/prove/sum-three-squares-zmod-eight-ne-seven/reroute-1de2ac | template-zmod-decide | 2026-06-17 | waiting |
sum-three-squares-zmod-sixteen-ne-fifteen | queued/prove/sum-three-squares-zmod-sixteen-ne-fifteen/reroute-1e338d | template-zmod-decide | 2026-06-17 | waiting |
sum-triangular-squared-closed-form | queued/prove/sum-triangular-squared-closed-form/mac-158f-162b5d | template-sum-induction | 2026-06-17 | in-flight |
sum-triangular-squared-closed-form | queued/prove/sum-triangular-squared-closed-form/mac-158f-8324e5 | template-sum-induction | 2026-06-16 | waiting |
sum-triple-product-eq | queued/prove/sum-triple-product-eq/mac-158f-686ffa | template-sum-induction | 2026-06-16 | in-flight |
sum-triple-product-eq | queued/prove/sum-triple-product-eq/mac-158f-b141ca | template-sum-induction | 2026-06-17 | waiting |
sum-two-cubes-zmod-seven-mem | queued/prove/sum-two-cubes-zmod-seven-mem/reroute-5b2292 | template-zmod-decide | 2026-06-17 | waiting |
sum-two-k-add-one-mul-two-pow | queued/prove/sum-two-k-add-one-mul-two-pow/mac-158f-404f43 | template-sum-closedform | 2026-06-16 | waiting |
sum-two-k-sub-one-mul-two-pow | queued/prove/sum-two-k-sub-one-mul-two-pow/mac-158f-e78d55 | template-sum-closedform | 2026-06-16 | waiting |
sum-two-squares-zmod-eight-ne-six | queued/prove/sum-two-squares-zmod-eight-ne-six/reroute-edeadd | template-zmod-decide | 2026-06-17 | waiting |
sum-two-squares-zmod-four-ne-three | queued/prove/sum-two-squares-zmod-four-ne-three/reroute-fb3b8c | template-zmod-decide | 2026-06-17 | waiting |
sumsq-ge-ab-plus-bc | queued/prove/sumsq-ge-ab-plus-bc/mac-158f-060455 | template-nlinarith | 2026-06-17 | in-flight |
sumsq-ge-ab-plus-bc | queued/prove/sumsq-ge-ab-plus-bc/mac-158f-9387de | template-nlinarith | 2026-06-16 | waiting |
sumsq-products-ge-abc-times-sum | queued/prove/sumsq-products-ge-abc-times-sum/mac-158f-3085d9 | template-nlinarith | 2026-06-16 | in-flight |
sumsq-products-ge-abc-times-sum | queued/prove/sumsq-products-ge-abc-times-sum/mac-158f-bf09c1 | template-nlinarith | 2026-06-17 | waiting |
sym-deg-three-ge-six-mul | queued/prove/sym-deg-three-ge-six-mul/mac-158f-943e9d | template-nlinarith | 2026-06-17 | in-flight |
sym-deg-three-ge-six-mul | queued/prove/sym-deg-three-ge-six-mul/mac-158f-eeea47 | template-nlinarith | 2026-06-16 | waiting |
sym-grouped-deg-three-ge-six-abc | queued/prove/sym-grouped-deg-three-ge-six-abc/mac-158f-70cc62 | template-nlinarith | 2026-06-17 | in-flight |
sym-grouped-deg-three-ge-six-abc | queued/prove/sym-grouped-deg-three-ge-six-abc/mac-158f-84d505 | template-nlinarith | 2026-06-16 | waiting |
three-cubes-zmod-nine-ne-four-five | queued/prove/three-cubes-zmod-nine-ne-four-five/mac-158f-1a66b7 | template-zmod-ne | 2026-06-16 | in-flight |
three-cubes-zmod-nine-ne-four-five | queued/prove/three-cubes-zmod-nine-ne-four-five/mac-158f-3568a0 | template-zmod-ne | 2026-06-17 | waiting |
three-fourth-powers-zmod-sixteen-mem | queued/prove/three-fourth-powers-zmod-sixteen-mem/reroute-387a25 | template-zmod-decide | 2026-06-17 | waiting |
three-quartic-sum-ge-sumsq-sq | queued/prove/three-quartic-sum-ge-sumsq-sq/mac-158f-3d67e6 | template-nlinarith | 2026-06-17 | in-flight |
three-quartic-sum-ge-sumsq-sq | queued/prove/three-quartic-sum-ge-sumsq-sq/mac-158f-f79a89 | template-nlinarith | 2026-06-16 | waiting |
two-sum-cubes-ge-sym-quadratics | queued/prove/two-sum-cubes-ge-sym-quadratics/mac-158f-359f11 | template-nlinarith | 2026-06-16 | in-flight |
two-sum-cubes-ge-sym-quadratics | queued/prove/two-sum-cubes-ge-sym-quadratics/mac-158f-6503f5 | template-nlinarith | 2026-06-17 | waiting |
@ruvnet139 queued
137 waiting · 2 in-flight · 139 goals · @ruvnet on GitHub ↗
| Goal | Branch | Model | Submitted | State |
|---|---|---|---|---|
dvd-thirtytwo-odd-pow-eight-sub-one | queued/prove/dvd-thirtytwo-odd-pow-eight-sub-one/reroute-4aabc3 | — | 2026-06-17 | in-flight |
fib-prod-cross-shift-nat-int | queued/prove/fib-prod-cross-shift-nat-int/reroute-3af324 | — | 2026-06-17 | in-flight |
five-var-qm-am | queued/prove/five-var-qm-am/reroute-9ba575 | — | 2026-06-17 | waiting |
fourth-power-mod-fortyone-mem | queued/prove/fourth-power-mod-fortyone-mem/reroute-e6bbca | — | 2026-06-17 | waiting |
hexagonal-eq-triangular-odd-index | queued/prove/hexagonal-eq-triangular-odd-index/reroute-35d094 | — | 2026-06-17 | waiting |
nat-sq-lt-two-pow-s2 | queued/prove/nat-sq-lt-two-pow-s2/reroute-106132 | — | 2026-06-17 | waiting |
nesbitt-inequality-s1 | queued/prove/nesbitt-inequality-s1/reroute-59b0e7 | — | 2026-06-17 | waiting |
nicomachus-sum-cubes-eq-sum-id-sq | queued/prove/nicomachus-sum-cubes-eq-sum-id-sq/reroute-726c3f | — | 2026-06-17 | waiting |
platonic-pairs-realizable | queued/prove/platonic-pairs-realizable/ruvnet-671743 | — | 2026-06-16 | waiting |
pow-five-add-pow-five-ge-quartic-mul | queued/prove/pow-five-add-pow-five-ge-quartic-mul/reroute-a75344 | — | 2026-06-17 | waiting |
prime-pow-eight-mod-480 | queued/prove/prime-pow-eight-mod-480/reroute-0a6187 | — | 2026-06-17 | waiting |
prime-pow-six-mod-504 | queued/prove/prime-pow-six-mod-504/reroute-0b0579 | — | 2026-06-17 | waiting |
prod-icc-k-mul-add-two-div-succ-sq-telescope | queued/prove/prod-icc-k-mul-add-two-div-succ-sq-telescope/reroute-ecd7c9 | — | 2026-06-17 | waiting |
prod-icc-k-mul-add-two-div-succ-sq-telescope-half | queued/prove/prod-icc-k-mul-add-two-div-succ-sq-telescope-half/reroute-538478 | — | 2026-06-17 | waiting |
prod-icc-k-sq-div-pred-mul-succ-telescope | queued/prove/prod-icc-k-sq-div-pred-mul-succ-telescope/reroute-4319af | — | 2026-06-17 | waiting |
prod-icc-one-add-recip-eq-succ | queued/prove/prod-icc-one-add-recip-eq-succ/reroute-a3cb08 | — | 2026-06-17 | waiting |
prod-icc-one-add-recip-k-sq-sub-one-telescope | queued/prove/prod-icc-one-add-recip-k-sq-sub-one-telescope/reroute-d9dc0b | — | 2026-06-17 | waiting |
prod-icc-one-add-recip-pronic | queued/prove/prod-icc-one-add-recip-pronic/reroute-f3c13f | — | 2026-06-17 | waiting |
prod-icc-one-sub-recip-sq-eq-frac | queued/prove/prod-icc-one-sub-recip-sq-eq-frac/reroute-9210fb | — | 2026-06-17 | waiting |
prod-icc-one-sub-two-div-pronic | queued/prove/prod-icc-one-sub-two-div-pronic/reroute-36538c | — | 2026-06-17 | waiting |
prod-icc-succ-add-three-div-self-eq-binom-shift | queued/prove/prod-icc-succ-add-three-div-self-eq-binom-shift/reroute-ffa5b7 | — | 2026-06-17 | waiting |
prod-icc-succ-sq-div-k-mul-add-two-telescope | queued/prove/prod-icc-succ-sq-div-k-mul-add-two-telescope/reroute-234307 | — | 2026-06-17 | waiting |
prod-one-sub-inv-sq-telescope | queued/prove/prod-one-sub-inv-sq-telescope/reroute-1c8a1a | — | 2026-06-17 | waiting |
quartic-n4-plus-four-composite | queued/prove/quartic-n4-plus-four-composite/reroute-450c38 | — | 2026-06-17 | waiting |
quartic-n4-plus-four-not-prime | queued/prove/quartic-n4-plus-four-not-prime/reroute-15e2ea | — | 2026-06-17 | waiting |
quartic-plus-four-not-prime | queued/prove/quartic-plus-four-not-prime/reroute-38c60c | — | 2026-06-17 | waiting |
realization-edge-relation | queued/prove/realization-edge-relation/reroute-26bc58 | — | 2026-06-17 | waiting |
sophie-germain-plus-factor-dvd | queued/prove/sophie-germain-plus-factor-dvd/reroute-bfe3d3 | — | 2026-06-17 | waiting |
sq-mod-five-ne-two-three | queued/prove/sq-mod-five-ne-two-three/ruvnet-6d2ee0 | — | 2026-06-16 | waiting |
sq-mod-ten-ne-two-three-seven-eight | queued/prove/sq-mod-ten-ne-two-three-seven-eight/ruvnet-4e2510 | — | 2026-06-16 | waiting |
sum-centered-triangular-closed-form | queued/prove/sum-centered-triangular-closed-form/reroute-2c545d | — | 2026-06-17 | waiting |
sum-decagonal-closed-form | queued/prove/sum-decagonal-closed-form/reroute-bc3286 | — | 2026-06-17 | waiting |
sum-heptagonal-closed-form | queued/prove/sum-heptagonal-closed-form/reroute-41b55c | — | 2026-06-17 | waiting |
sum-heptagonal-numbers-closed-form | queued/prove/sum-heptagonal-numbers-closed-form/reroute-ed3c95 | — | 2026-06-17 | waiting |
sum-hexagonal-numbers-closed-form | queued/prove/sum-hexagonal-numbers-closed-form/reroute-139d2e | — | 2026-06-17 | waiting |
sum-icc-choose-hockey-stick-s1 | queued/prove/sum-icc-choose-hockey-stick-s1/reroute-89c4b3 | — | 2026-06-17 | waiting |
sum-icc-choose-hockey-stick-s2 | queued/prove/sum-icc-choose-hockey-stick-s2/reroute-7c350a | — | 2026-06-17 | waiting |
sum-icc-choose-hockey-stick-s3 | queued/prove/sum-icc-choose-hockey-stick-s3/reroute-381274 | — | 2026-06-17 | waiting |
sum-icc-eight-k-div-odd-sq-pair-telescope | queued/prove/sum-icc-eight-k-div-odd-sq-pair-telescope/reroute-3dee5e | — | 2026-06-17 | waiting |
sum-octagonal-running-closed-form | queued/prove/sum-octagonal-running-closed-form/reroute-bde4da | — | 2026-06-17 | waiting |
sum-octahedral-centered-squares | queued/prove/sum-octahedral-centered-squares/reroute-e11e70 | — | 2026-06-17 | waiting |
sum-odd-gnomon-squares-closed-form | queued/prove/sum-odd-gnomon-squares-closed-form/reroute-699c8a | — | 2026-06-17 | waiting |
sum-odd-squares-faulhaber | queued/prove/sum-odd-squares-faulhaber/reroute-a101f0 | — | 2026-06-17 | waiting |
sum-one-div-four-k-plus-one-mul-four-k-plus-five | queued/prove/sum-one-div-four-k-plus-one-mul-four-k-plus-five/reroute-b7a863 | — | 2026-06-17 | waiting |
sum-one-div-succ-mul-add-four-telescope | queued/prove/sum-one-div-succ-mul-add-four-telescope/reroute-ae6e83 | — | 2026-06-17 | waiting |
sum-one-div-three-k-plus-one-mul-three-k-plus-four | queued/prove/sum-one-div-three-k-plus-one-mul-three-k-plus-four/reroute-90aa6c | — | 2026-06-17 | waiting |
sum-pentagonal-running-eq-pyramidal | queued/prove/sum-pentagonal-running-eq-pyramidal/reroute-d45afd | — | 2026-06-17 | waiting |
sum-product-consecutive-odds-closed-form | queued/prove/sum-product-consecutive-odds-closed-form/reroute-03a278 | — | 2026-06-17 | waiting |
sum-pronic-eq-thrice-tetrahedral | queued/prove/sum-pronic-eq-thrice-tetrahedral/reroute-623cd4 | — | 2026-06-17 | waiting |
sum-range-catalan-mul-catalan-eq-catalan-succ | queued/prove/sum-range-catalan-mul-catalan-eq-catalan-succ/reroute-14f26f | — | 2026-06-17 | waiting |
sum-range-choose-mul-choose-three-eq | queued/prove/sum-range-choose-mul-choose-three-eq/reroute-7cbadc | — | 2026-06-17 | waiting |
sum-range-choose-mul-k-mul-comp-eq | queued/prove/sum-range-choose-mul-k-mul-comp-eq/reroute-df1616 | — | 2026-06-17 | waiting |
sum-range-choose-mul-succ-choose-eq | queued/prove/sum-range-choose-mul-succ-choose-eq/reroute-0f6c42 | — | 2026-06-17 | waiting |
sum-range-choose-mul-succ-choose-succ-eq-central-shift | queued/prove/sum-range-choose-mul-succ-choose-succ-eq-central-shift/reroute-8de400 | — | 2026-06-17 | waiting |
sum-range-choose-sq-eq-central | queued/prove/sum-range-choose-sq-eq-central/reroute-f017f8 | — | 2026-06-17 | waiting |
sum-range-comp-mul-choose-sq-eq | queued/prove/sum-range-comp-mul-choose-sq-eq/reroute-180583 | — | 2026-06-17 | waiting |
sum-range-compositions-count-eq-two-pow | queued/prove/sum-range-compositions-count-eq-two-pow/reroute-7a543e | — | 2026-06-17 | waiting |
sum-range-cube-sym-choose-sq-eq-zero | queued/prove/sum-range-cube-sym-choose-sq-eq-zero/reroute-62fb75 | — | 2026-06-17 | waiting |
sum-range-disp-mul-choose-eq-zero | queued/prove/sum-range-disp-mul-choose-eq-zero/reroute-62afb0 | — | 2026-06-17 | waiting |
sum-range-disp-mul-choose-sq-eq-zero | queued/prove/sum-range-disp-mul-choose-sq-eq-zero/reroute-d69cc6 | — | 2026-06-17 | waiting |
sum-range-even-cols-eq-two-pow | queued/prove/sum-range-even-cols-eq-two-pow/reroute-a9dd74 | — | 2026-06-17 | waiting |
sum-range-fall-three-mul-choose | queued/prove/sum-range-fall-three-mul-choose/reroute-ec554a | — | 2026-06-17 | waiting |
sum-range-fib-mul-two-pow-rev-eq | queued/prove/sum-range-fib-mul-two-pow-rev-eq/reroute-8cecbd | — | 2026-06-17 | waiting |
sum-range-fib-prod-shift-even-nat | queued/prove/sum-range-fib-prod-shift-even-nat/reroute-d9a69a | — | 2026-06-17 | waiting |
sum-range-fib-sq-eq-prod | queued/prove/sum-range-fib-sq-eq-prod/reroute-6b6577 | — | 2026-06-17 | waiting |
sum-range-fib-sq-mul-two-eq | queued/prove/sum-range-fib-sq-mul-two-eq/reroute-fb5657 | — | 2026-06-17 | waiting |
sum-range-fib-two-mul-succ-eq-fib-pred | queued/prove/sum-range-fib-two-mul-succ-eq-fib-pred/reroute-cac5bf | — | 2026-06-17 | waiting |
sum-range-four-consecutive-product | queued/prove/sum-range-four-consecutive-product/reroute-32521c | — | 2026-06-17 | waiting |
sum-range-four-mul-add-one | queued/prove/sum-range-four-mul-add-one/reroute-c69ef6 | — | 2026-06-17 | waiting |
sum-range-half-even-row-choose-eq | queued/prove/sum-range-half-even-row-choose-eq/reroute-55ddf9 | — | 2026-06-17 | waiting |
sum-range-id-mul-add-two | queued/prove/sum-range-id-mul-add-two/reroute-46caf7 | — | 2026-06-17 | waiting |
sum-range-id-mul-choose-eq-half | queued/prove/sum-range-id-mul-choose-eq-half/reroute-fb4965 | — | 2026-06-17 | waiting |
sum-range-k-div-succ-factorial-eq | queued/prove/sum-range-k-div-succ-factorial-eq/reroute-01a71b | — | 2026-06-17 | waiting |
sum-range-k-div-succ-factorial-telescope | queued/prove/sum-range-k-div-succ-factorial-telescope/reroute-d66a3a | — | 2026-06-17 | waiting |
sum-range-k-mul-choose-mul-four-pow-closed | queued/prove/sum-range-k-mul-choose-mul-four-pow-closed/reroute-3caa93 | — | 2026-06-17 | waiting |
sum-range-k-mul-choose-mul-three-pow-closed | queued/prove/sum-range-k-mul-choose-mul-three-pow-closed/reroute-a41f3f | — | 2026-06-17 | waiting |
sum-range-k-mul-choose-mul-two-pow-eq-two-n-three-pow | queued/prove/sum-range-k-mul-choose-mul-two-pow-eq-two-n-three-pow/reroute-18abca | — | 2026-06-17 | waiting |
sum-range-k-mul-choose-sq-eq-central | queued/prove/sum-range-k-mul-choose-sq-eq-central/reroute-d5373a | — | 2026-06-17 | waiting |
sum-range-k-mul-factorial-eq-factorial-succ-sub-one | queued/prove/sum-range-k-mul-factorial-eq-factorial-succ-sub-one/reroute-e51e53 | — | 2026-06-17 | waiting |
sum-range-k-mul-factorial-succ | queued/prove/sum-range-k-mul-factorial-succ/reroute-4e2c61 | — | 2026-06-17 | waiting |
sum-range-k-plus-one-mul-choose | queued/prove/sum-range-k-plus-one-mul-choose/reroute-1fc1b6 | — | 2026-06-17 | waiting |
sum-range-k-sq-mul-choose-eq | queued/prove/sum-range-k-sq-mul-choose-eq/reroute-e59107 | — | 2026-06-17 | waiting |
sum-range-k-sub-one-div-factorial-telescope | queued/prove/sum-range-k-sub-one-div-factorial-telescope/reroute-67d399 | — | 2026-06-17 | waiting |
sum-range-lower-triangle-choose-eq-two-pow | queued/prove/sum-range-lower-triangle-choose-eq-two-pow/reroute-62c993 | — | 2026-06-17 | waiting |
sum-range-lucas-shift-nat | queued/prove/sum-range-lucas-shift-nat/reroute-0935f2 | — | 2026-06-17 | waiting |
sum-range-multichoose-two-eq-choose-succ-two | queued/prove/sum-range-multichoose-two-eq-choose-succ-two/reroute-583db1 | — | 2026-06-17 | waiting |
sum-range-odd-cubes | queued/prove/sum-range-odd-cubes/reroute-2ab590 | — | 2026-06-17 | waiting |
sum-range-odd-div-two-pow | queued/prove/sum-range-odd-div-two-pow/reroute-9bb98e | — | 2026-06-17 | waiting |
sum-range-odd-index-choose-eq-two-pow | queued/prove/sum-range-odd-index-choose-eq-two-pow/reroute-25c95c | — | 2026-06-17 | waiting |
sum-range-odd-num-sq-succ-sq-telescope | queued/prove/sum-range-odd-num-sq-succ-sq-telescope/reroute-5d1bae | — | 2026-06-17 | waiting |
sum-range-pascal-diagonal-eq-choose | queued/prove/sum-range-pascal-diagonal-eq-choose/reroute-517469 | — | 2026-06-17 | waiting |
sum-range-recip-choose-two-eq-two-n-div-succ | queued/prove/sum-range-recip-choose-two-eq-two-n-div-succ/reroute-b85e97 | — | 2026-06-17 | waiting |
sum-range-recip-consecutive | queued/prove/sum-range-recip-consecutive/reroute-869b71 | — | 2026-06-17 | waiting |
sum-range-recip-five-step-product | queued/prove/sum-range-recip-five-step-product/reroute-8eec14 | — | 2026-06-17 | waiting |
sum-range-recip-five-step-residue-one | queued/prove/sum-range-recip-five-step-residue-one/reroute-84ee15 | — | 2026-06-17 | waiting |
sum-range-recip-four-consec-product | queued/prove/sum-range-recip-four-consec-product/reroute-1f43d0 | — | 2026-06-17 | waiting |
sum-range-recip-four-step-product | queued/prove/sum-range-recip-four-step-product/reroute-72c4e0 | — | 2026-06-17 | waiting |
sum-range-recip-four-step-residue-one | queued/prove/sum-range-recip-four-step-residue-one/reroute-f8b0b2 | — | 2026-06-17 | waiting |
sum-range-recip-odd-consecutive | queued/prove/sum-range-recip-odd-consecutive/reroute-4c1e02 | — | 2026-06-17 | waiting |
sum-range-recip-odd-pair-consecutive | queued/prove/sum-range-recip-odd-pair-consecutive/reroute-7c29da | — | 2026-06-17 | waiting |
sum-range-recip-odd-pair-step-two-eq-n-div | queued/prove/sum-range-recip-odd-pair-step-two-eq-n-div/reroute-c8160d | — | 2026-06-17 | waiting |
sum-range-recip-odd-product | queued/prove/sum-range-recip-odd-product/reroute-b27e29 | — | 2026-06-17 | waiting |
sum-range-recip-shift-two-shift-five-telescope | queued/prove/sum-range-recip-shift-two-shift-five-telescope/reroute-6eef93 | — | 2026-06-17 | waiting |
sum-range-recip-three-consec-odd-telescope | queued/prove/sum-range-recip-three-consec-odd-telescope/reroute-af8d30 | — | 2026-06-17 | waiting |
sum-range-recip-three-consec-shifted | queued/prove/sum-range-recip-three-consec-shifted/reroute-80463b | — | 2026-06-17 | waiting |
sum-range-recip-three-consecutive | queued/prove/sum-range-recip-three-consecutive/reroute-098a08 | — | 2026-06-17 | waiting |
sum-range-recip-three-step-residue-one | queued/prove/sum-range-recip-three-step-residue-one/reroute-a1fb71 | — | 2026-06-17 | waiting |
sum-range-recip-triple-consecutive | queued/prove/sum-range-recip-triple-consecutive/reroute-8bba8b | — | 2026-06-17 | waiting |
sum-range-shifted-choose-eq-two-pow-sub-one | queued/prove/sum-range-shifted-choose-eq-two-pow-sub-one/reroute-4a19ba | — | 2026-06-17 | waiting |
sum-range-stirling-first-row-eq-factorial | queued/prove/sum-range-stirling-first-row-eq-factorial/reroute-4294a4 | — | 2026-06-17 | waiting |
sum-range-succ-div-factorial-add-two-telescope | queued/prove/sum-range-succ-div-factorial-add-two-telescope/reroute-5f78c0 | — | 2026-06-17 | waiting |
sum-range-succ-mul-choose-sq-eq | queued/prove/sum-range-succ-mul-choose-sq-eq/reroute-d1e065 | — | 2026-06-17 | waiting |
sum-range-succ-mul-factorial-eq | queued/prove/sum-range-succ-mul-factorial-eq/reroute-7f9380 | — | 2026-06-17 | waiting |
sum-range-succ-mul-factorial-succ | queued/prove/sum-range-succ-mul-factorial-succ/reroute-83f41f | — | 2026-06-17 | waiting |
sum-range-three-mul-add-one | queued/prove/sum-range-three-mul-add-one/reroute-e49458 | — | 2026-06-17 | waiting |
sum-range-triangular-eq-tetrahedral | queued/prove/sum-range-triangular-eq-tetrahedral/reroute-4d93d6 | — | 2026-06-17 | waiting |
sum-range-two-k-sub-n-mul-choose-sq-eq-zero | queued/prove/sum-range-two-k-sub-n-mul-choose-sq-eq-zero/reroute-0988ab | — | 2026-06-17 | waiting |
sum-range-two-k-succ-mul-choose-eq | queued/prove/sum-range-two-k-succ-mul-choose-eq/reroute-b45a20 | — | 2026-06-17 | waiting |
sum-range-vandermonde-self-eq-central-choose | queued/prove/sum-range-vandermonde-self-eq-central-choose/reroute-bfb2c0 | — | 2026-06-17 | waiting |
sum-range-window-five-fib-eq-fib-diff-nat | queued/prove/sum-range-window-five-fib-eq-fib-diff-nat/reroute-fd6ae4 | — | 2026-06-17 | waiting |
sum-range-window-four-fib-eq-fib-diff-nat | queued/prove/sum-range-window-four-fib-eq-fib-diff-nat/reroute-7e09fb | — | 2026-06-17 | waiting |
sum-recip-times-sum-ge-nine | queued/prove/sum-recip-times-sum-ge-nine/reroute-68ea60 | — | 2026-06-17 | waiting |
sum-rhombic-dodecahedral-eq-fourth-power | queued/prove/sum-rhombic-dodecahedral-eq-fourth-power/reroute-194417 | — | 2026-06-17 | waiting |
sum-square-pyramidal-eq-hyper | queued/prove/sum-square-pyramidal-eq-hyper/reroute-0f07b6 | — | 2026-06-17 | waiting |
sum-star-numbers-closed-form | queued/prove/sum-star-numbers-closed-form/reroute-0d81a2 | — | 2026-06-17 | waiting |
sum-tetrahedral-eq-pentatope | queued/prove/sum-tetrahedral-eq-pentatope/reroute-e37d18 | — | 2026-06-17 | waiting |
sum-two-cubes-zmod-nine-ne-four | queued/prove/sum-two-cubes-zmod-nine-ne-four/reroute-5e1be6 | — | 2026-06-17 | waiting |
sum-two-fourth-powers-zmod-sixteen-mem | queued/prove/sum-two-fourth-powers-zmod-sixteen-mem/reroute-21daed | — | 2026-06-17 | waiting |
sum-two-k-plus-one-div-sq-succ-sq-telescope | queued/prove/sum-two-k-plus-one-div-sq-succ-sq-telescope/reroute-9f064f | — | 2026-06-17 | waiting |
sum-vandermonde-diagonal-eq-choose | queued/prove/sum-vandermonde-diagonal-eq-choose/reroute-ec7711 | — | 2026-06-17 | waiting |
tangent-line-cube-trick | queued/prove/tangent-line-cube-trick/reroute-284214 | — | 2026-06-17 | waiting |
three-cubes-minus-three-prod-dvd-sum | queued/prove/three-cubes-minus-three-prod-dvd-sum/reroute-9ff5f9 | — | 2026-06-17 | waiting |
three-mul-fib-eq-fib-add-two-add-fib-sub-two | queued/prove/three-mul-fib-eq-fib-add-two-add-fib-sub-two/reroute-5b96f6 | — | 2026-06-17 | waiting |
two-cubes-zmod-nine-ne-three-four-five-six | queued/prove/two-cubes-zmod-nine-ne-three-four-five-six/reroute-5de729 | — | 2026-06-17 | waiting |
two-fib-add-int | queued/prove/two-fib-add-int/reroute-697d64 | — | 2026-06-17 | waiting |
two-fourth-powers-zmod-five-ne-three-four | queued/prove/two-fourth-powers-zmod-five-ne-three-four/reroute-ab35d4 | — | 2026-06-17 | waiting |
two-mul-sum-icc-three-k-sub-two-eq-pentagonal | queued/prove/two-mul-sum-icc-three-k-sub-two-eq-pentagonal/reroute-2660e5 | — | 2026-06-17 | waiting |
two-mul-sum-range-fib-triple-eq-fib-pred | queued/prove/two-mul-sum-range-fib-triple-eq-fib-pred/reroute-8bfddb | — | 2026-06-17 | waiting |
two-squares-zmod-sixteen-ne-three-seven-eleven | queued/prove/two-squares-zmod-sixteen-ne-three-seven-eleven/reroute-27fff4 | — | 2026-06-17 | waiting |
Claude14 queued
0 waiting · 14 in-flight · 14 goals
| Goal | Branch | Model | Submitted | State |
|---|---|---|---|---|
cheb-three-cube-ge-sum-times-sumsq | queued/prove/cheb-three-cube-ge-sum-times-sumsq/claude-web-2d0e14 | — | 2026-06-17 | in-flight |
cube-of-sum-le-nine-sum-cubes | queued/prove/cube-of-sum-le-nine-sum-cubes/claude-web-7207ab | — | 2026-06-17 | in-flight |
pairsum-sq-le-three-sum-sq-products | queued/prove/pairsum-sq-le-three-sum-sq-products/claude-web-16e384 | — | 2026-06-17 | in-flight |
prod-pair-sums-ge-eight-ninths-sum-prod | queued/prove/prod-pair-sums-ge-eight-ninths-sum-prod/claude-web-b51eea | — | 2026-06-17 | in-flight |
quartic-four-var-ge-four-prod | queued/prove/quartic-four-var-ge-four-prod/claude-web-2ec475 | — | 2026-06-17 | in-flight |
ravi-product-le-abc | queued/prove/ravi-product-le-abc/claude-web-b2bfe6 | — | 2026-06-17 | in-flight |
schur-inequality-deg-one | queued/prove/schur-inequality-deg-one/claude-web-ef5fd6 | — | 2026-06-17 | in-flight |
sum-cubes-sq-le-three-sum-sixth | queued/prove/sum-cubes-sq-le-three-sum-sixth/claude-web-ccabb9 | — | 2026-06-17 | in-flight |
sum-icc-k-mul-three-k-sub-one-eq | queued/prove/sum-icc-k-mul-three-k-sub-one-eq/claude-web-4f013f | — | 2026-06-17 | in-flight |
sum-nonagonal-closed-form | queued/prove/sum-nonagonal-closed-form/claude-web-5ebf76 | — | 2026-06-17 | in-flight |
sum-sixth-ge-cyclic-quartic-sq | queued/prove/sum-sixth-ge-cyclic-quartic-sq/claude-web-4bfa2c | — | 2026-06-17 | in-flight |
sum-sq-times-pairsum-ge-three-abc-sum | queued/prove/sum-sq-times-pairsum-ge-three-abc-sum/claude-web-ea6bb2 | — | 2026-06-17 | in-flight |
sumsq-times-recip-sq-ge-nine | queued/prove/sumsq-times-recip-sq-ge-nine/claude-web-b05c12 | — | 2026-06-17 | in-flight |
three-quartic-ge-sum-times-cubes | queued/prove/three-quartic-ge-sum-times-cubes/claude-web-2f5a0a | — | 2026-06-17 | in-flight |
@adam91holt11 queued
8 waiting · 3 in-flight · 11 goals · @adam91holt on GitHub ↗
| Goal | Branch | Model | Submitted | State |
|---|---|---|---|---|
alt-sum-range-choose-sq-eq-zero-odd | queued/prove/alt-sum-range-choose-sq-eq-zero-odd/thebeast-ace7-067017 | — | 2026-06-17 | in-flight |
alternating-sum-shifted-choose-eq-one | queued/prove/alternating-sum-shifted-choose-eq-one/thebeast-ace7-43bef2 | — | 2026-06-17 | in-flight |
catalan-r2-shift-nat-fib-int | queued/prove/catalan-r2-shift-nat-fib-int/thebeast-ace7-bc662e | — | 2026-06-17 | in-flight |
sum-icc-four-div-four-k-sub-one-four-k-add-three-telescope | queued/prove/sum-icc-four-div-four-k-sub-one-four-k-add-three-telescope/codex-0001-f76056 | — | 2026-06-17 | waiting |
sum-icc-id-mul-two-pow-pred | queued/prove/sum-icc-id-mul-two-pow-pred/thebeast-ace7-5aa9bd | — | 2026-06-17 | waiting |
sum-icc-k-mul-three-k-sub-one-eq | queued/prove/sum-icc-k-mul-three-k-sub-one-eq/thebeast-ace7-b581ef | — | 2026-06-17 | waiting |
sum-icc-k-sq-add-one-mul-factorial-eq-prod | queued/prove/sum-icc-k-sq-add-one-mul-factorial-eq-prod/codex-0001-dcd008 | — | 2026-06-17 | waiting |
sum-icc-k-sq-add-one-mul-factorial-eq-pronic-factorial | queued/prove/sum-icc-k-sq-add-one-mul-factorial-eq-pronic-factorial/codex-0002-0b2996 | — | 2026-06-17 | waiting |
sum-icc-k-sub-one-div-factorial-eq-one-sub | queued/prove/sum-icc-k-sub-one-div-factorial-eq-one-sub/thebeast-ace7-39be7e | — | 2026-06-17 | waiting |
sum-icc-recip-step-four-pair-eq-n-div | queued/prove/sum-icc-recip-step-four-pair-eq-n-div/codex-0005-1d9317 | — | 2026-06-17 | waiting |
sum-icc-three-k-sub-one-mul-two-pow-pred-closed | queued/prove/sum-icc-three-k-sub-one-mul-two-pow-pred-closed/codex-0005-848588 | — | 2026-06-17 | waiting |
@cgbarlow1 queued
1 waiting · 0 in-flight · 1 goals · @cgbarlow on GitHub ↗
| Goal | Branch | Model | Submitted | State |
|---|---|---|---|---|
sum-id-mul-triangular-closed-form | queued/prove/sum-id-mul-triangular-closed-form/1367ab40f0b1-e413-6fd7de | opus | 2026-06-17 | waiting |
@perttu1 queued
1 waiting · 0 in-flight · 1 goals · @perttu on GitHub ↗
| Goal | Branch | Model | Submitted | State |
|---|---|---|---|---|
sum-range-succ-k-mul-choose-mul-two-pow-closed | queued/prove/sum-range-succ-k-mul-choose-mul-two-pow-closed/claude-web-1e1e95 | — | 2026-06-17 | waiting |