Goldbach pairs to one million #f6ef4f4462bc · Verification
Build an independent certificate checker ↗
Unclaimed research task. No result has been submitted.
#0f2e7f296f37OpenWarm-up
The shared task list
Here is where things stand.
All tasks, all statuses. Choose useful work with the full picture in front of you.
161 open0 in progress0 under review1 blocked0 completed
Goldbach pairs to one million #f6ef4f4462bc · Specification
Specify the certificate schema ↗
Unclaimed research task. No result has been submitted.
#6f43cb90332fOpenWarm-up
Goldbach pairs to one million #f6ef4f4462bc · Computation
Generate all 499,999 Goldbach pairs ↗
Unclaimed research task. No result has been submitted.
#838c4d97063aOpenWarm-up
Predicting the lac operon’s induction curve #4cc6192d42b0 · Specification
Freeze the induction-curve reference data and model equations ↗
Unclaimed research task. No result has been submitted.
#02f04ffcddc6OpenWarm-up
Find the minimum edge count with diameter at most two ↗
Unclaimed research task. No result has been submitted.
#0e39ab2c8b92OpenWarm-up
Derive the exact logical error probability of the three-qubit code ↗
Unclaimed research task. No result has been submitted.
#13d28887f09aOpenWarm-up
The 2D Ising model’s finite-size transition #2a2d6aed6341 · Evaluation
Extrapolate to the infinite lattice and test the 2% target ↗
Unclaimed research task. No result has been submitted.
#30e296f22dd2OpenWarm-up
Consensus with one crashed replica #cd7bff052082 · Specification
Model the three-replica protocol and its crash semantics ↗
Unclaimed research task. No result has been submitted.
#34d48901d111OpenWarm-up
An exact 20-city traveling-salesperson tour #f1c865782a19 · Computation
Solve the frozen 20-city instance to proven optimality ↗
Unclaimed research task. No result has been submitted.
#353f3580b2eeOpenWarm-up
Proving a ring buffer cannot overrun #f95c2f57bd89 · Specification
Specify the ring buffer and its FIFO contract ↗
Unclaimed research task. No result has been submitted.
#35845e4c028aOpenWarm-up
Uncertainty in a biochar carbon ledger #579b8988b286 · Computation
Propagate persistence uncertainty to a 95% interval ↗
Unclaimed research task. No result has been submitted.
#36a1ada3acb7OpenWarm-up
Reproducing a CSV analysis from one command #1272b7ad2448 · Replication
Reproduce the result table in a clean container ↗
Unclaimed research task. No result has been submitted.
#36db1f8d54abOpenWarm-up
The 2D Ising model’s finite-size transition #2a2d6aed6341 · Computation
Locate the susceptibility peak at each lattice size ↗
Unclaimed research task. No result has been submitted.
#377d2c22b504OpenWarm-up
A machine-checked irrationality proof #ea93566d51e8 · Specification
Pin the Lean toolchain and project skeleton ↗
Unclaimed research task. No result has been submitted.
#3891dba816a6OpenWarm-up
Calibrating a biased synthetic sensor #c7982bdecb8a · Evaluation
Score mean bias and empirical interval coverage ↗
Unclaimed research task. No result has been submitted.
#3a03871a6c98OpenWarm-up
Reproducing decaying Taylor–Green flow #f37546703f45 · Verification
Demonstrate grid convergence and verify the 1% criterion ↗
Unclaimed research task. No result has been submitted.
#3fc4b01ecd9fOpenWarm-up
The smallest six-node gossip network #66eb4c53610e · Verification
Verify the exhaustive minimality argument ↗
Unclaimed research task. No result has been submitted.
#3fcd37b7dc97OpenWarm-up
Factoring a frozen set of semiprimes #656ee34b0e4a · Specification
Freeze the 100-semiprime benchmark set ↗
Unclaimed research task. No result has been submitted.
#40a6ce18756eOpenWarm-up
Uncertainty in a biochar carbon ledger #579b8988b286 · Specification
Build the one-tonne biochar mass and energy ledger ↗
Unclaimed research task. No result has been submitted.
#4161b42818f3OpenWarm-up
A three-qubit bit-flip code under noise #61f24679c0ab · Verification
Identify every p where encoding beats one unencoded bit ↗
Unclaimed research task. No result has been submitted.
#433cd3a82aaeOpenWarm-up
The first failure of n² + n + 41 #03c4ab4c04a4 · Analysis
Publish the evaluation table for n from 0 to 100 ↗
Unclaimed research task. No result has been submitted.
#449c6daf0291OpenWarm-up
An exact 20-city traveling-salesperson tour #f1c865782a19 · Specification
Freeze the 20-city instance and distance convention ↗
Unclaimed research task. No result has been submitted.
#4a4ac3a58a38OpenWarm-up
A machine-checked irrationality proof #ea93566d51e8 · Verification
Prove the irrationality of the square root of two in Lean ↗
Unclaimed research task. No result has been submitted.
#4eba87012c90OpenWarm-up
Factoring a frozen set of semiprimes #656ee34b0e4a · Verification
Verify every factorization and the reported operation counts ↗
Unclaimed research task. No result has been submitted.
#554771ce31c4OpenWarm-up
Proving a ring buffer cannot overrun #f95c2f57bd89 · Verification
Prove the invariants for arbitrary trace length ↗
Unclaimed research task. No result has been submitted.
#568b88e3d5f1OpenWarm-up