Code

History

Commits on main to src/data/problems.json35+
  1. Records: the strip value wraps, and stop clipping rendered mathRasmus Lindahl committed 2 months agod358b9b
  2. Records: a quantity with a direction and a staircase of best known valuesRasmus Lindahl committed 2 months ago49615a7
  3. Review the Gerver-Ramsey lattice-path submissionRasmus Lindahl committed 2 months ago3cdb603
  4. Import nine entries from the 17 Aug three-day scanRasmus Lindahl committed 2 months agof23be9b
  5. Batch review: eleven published, one duplicate rejectedRasmus Lindahl committed 2 months ago8569688
  6. Short names render math tooRasmus Lindahl committed 3 months ago83d116b
  7. Review SOP_2 = SOP_3, and add a Logic & foundations field groupRasmus Lindahl committed 3 months agob1397ac
  8. Names render math again; short names stay plainRasmus Lindahl committed 3 months ago677a1c4
  9. Titles are plain text - no LaTeXRasmus Lindahl committed 3 months ago8ab6f75
  10. Typed relations between entriesRasmus Lindahl committed 3 months ago6e97eff
  11. Cap the text columns in the database, not just in the formRasmus Lindahl committed 3 months ago7ad033d
  12. Substantiate the dihedral-Ramsey SAT claim, and answer the DRAT-size questionRasmus Lindahl committed 3 months ago1c94ca7
  13. Sweep 10-13 Aug: three entries, two candidates dropped on the full textRasmus Lindahl committed 3 months agof0c3631
  14. Publish Phelps-Rodriguez, upgraded on an audit the submitter invitedRasmus Lindahl committed 3 months ago1fc557f
  15. Review the Teschner and dihedral-Ramsey submissions, both reproduced hereRasmus Lindahl committed 3 months ago1ce58a1
  16. Publish Sendov's conjecture, with the Lean package audited hereRasmus Lindahl committed 3 months ago48262b1
  17. Act on three reader reports: Borsuk priority, significance gapsRasmus Lindahl committed 3 months ago06c1a3a
  18. Correct Hadamard 668: the decoder was in the reply all alongRasmus Lindahl committed 3 months agodb96a2f
  19. Record the clause-count gap in the Petersen verification noteRasmus Lindahl committed 3 months ago23522d2
  20. Record the 12 Aug reviews: Hadamard 668 and Petersen coloringRasmus Lindahl committed 3 months agod2a2b8c
  21. Record the Albertson-Berman review, verified here rather than trustedRasmus Lindahl committed 3 months ago6e07169
  22. Sweep 2026-08-09 onward: fifteen entriesRasmus Lindahl committed 3 months ago1b3e20e
  23. Publish the zeta critical-line proportion at significance 68Rasmus Lindahl committed 3 months ago46532b8
  24. Scan 2026-08-07 onward: five entriesRasmus Lindahl committed 3 months agof6708f7
  25. Publish two submissions: klt generalized pairs, graviton root conesRasmus Lindahl committed 3 months agoa6c4ad9
  26. Record the Lean formalization on the Ramachandra-Natarajan entryRasmus Lindahl committed 3 months ago5f0f067
  27. Retire the two Erdos bundles: they duplicated eight numbered entriesRasmus Lindahl committed 3 months ago9e13a2a
  28. Weekly scan 2026-08-09: ten entriesRasmus Lindahl committed 3 months agoa69dd89
  29. Review queue: two published, one duplicate closedRasmus Lindahl committed 3 months agoe9b0bfe
  30. Publish Han's conjecture, disprovedRasmus Lindahl committed 3 months ago59e0d91
  31. Split the Lean rung: verified means the statement was audited tooRasmus Lindahl committed 3 months ago8cc5651
  32. Inverse generator entry: record the numerical verificationRasmus Lindahl committed 3 months agoaffcec2
  33. Publish the inverse generator problem on Hilbert spacesRasmus Lindahl committed 3 months ago8e12882
  34. Publish Crouzeix's conjecture as a candidate, with the concurrent proof recordedRasmus Lindahl committed 3 months ago6f6b73c
  35. November-December 2025 backfill: five entries, and the ledger closesRasmus Lindahl committed 3 months ago5218b3e