NameLast commit messageLast commit date
..
verificationReview the 4-color Rado submission3 months ago
add-alpoge-buckmaster-2026-09-08.tsAdd the three Alpöge-Buckmaster forced-blowup entries (#52)2 months ago
add-ame-five-cases.tsFix a type error in the AME import script2 months ago
add-erdos-501.tsAdd Erdos 501 and the Rado general case; Methodology in the nav2 months ago
add-ffd-no-degeneracies.tsAdd the free-fermions-in-disguise entry, on the supplement not the abstract2 months ago
add-lyons-white-2026-09-06.tsLyons-White script: retry the first database contact2 months ago
add-matmul-exponent.tsAdd the matrix multiplication exponent entry2 months ago
add-tilted-prime-gaps.tsAdd the tilted residue-class prime-gap record2 months ago
amend-buffon-ai-axis.tsRestore the Buffon AI axis, and promote Erdos #424 on Green's list2 months ago
amend-dihedral-ramsey.tsSubstantiate the dihedral-Ramsey SAT claim, and answer the DRAT-size question3 months ago
amend-erdos-424-green.tsRestore the Buffon AI axis, and promote Erdos #424 on Green's list2 months ago
amend-petersen-priority.tsCorrect the Petersen entry's priority: the preprint was not first2 months ago
answer-186-report-2026-09-05.tsRename Records to Frontiers2 months ago
audit-field-lengths.tsCount field limits in characters, and show the count while typing2 months ago
audit-paren-delimiters.tsAccept LaTeX's other math delimiters2 months ago
check-comment-render.tsAdd editable comments to entry pages3 months ago
check-editable-fields.tsLet signed-in users correct entries, and record every change3 months ago
check-field-limits.tsTyped relations between entries3 months ago
check-ids.tsAdd a catalog membership check for arXiv ids3 months ago
check-notability.tsMake the Wikipedia count re-checkable, after it asserted a false zero3 months ago
check-source-links.tsStop a link from repeating the entry's primary source3 months ago
check_68.pyCorrect the Petersen entry's priority: the preprint was not first2 months ago
check_abw.pyReview the U_30 autocorrelation submission2 months ago
check_ame.pyAdd the AME five-open-cases entry, site-confirmed2 months ago
check_basins.pyReview the cyclic-conjugation in-tree depth submission2 months ago
check_buffon.pyReview the full-chord Buffon discrepancy submission2 months ago
check_buffon_growth.pyReview the full-chord Buffon discrepancy submission2 months ago
check_intree.pyReview the cyclic-conjugation in-tree depth submission2 months ago
check_lattice.pyReview the U_30 autocorrelation submission2 months ago
check_rademacher.pyReview the Rademacher fourth-moment submission, with a numerical check2 months ago
check_u30.pyReview the U_30 autocorrelation submission2 months ago
confirm-conway-2026-09-04.tsConway refinement: Site-confirmed after the site's own build passed2 months ago
confirm-mul4-2026-09-03.tsMul4 to Site-confirmed: rebuilt here, not taken on trust2 months ago
copy-frontiers-to-production-2026-09-05.tsScript to copy the frontier data from staging to production2 months ago
correct-percolation-2026-09-04.tsReviewing: "I could not find it" is not "it does not exist"2 months ago
credit-leder-2026-09-08.tsTypeset the percolation entry's mathematics (#54)2 months ago
demote-186-row-2026-09-05.tsRename Records to Frontiers2 months ago
dump-pending.tsAdd a read-only dump of pending submissions3 months ago
export-problems.tsTyped relations between entries3 months ago
fill-significance-2026-08-12.tsAct on three reader reports: Borsuk priority, significance gaps3 months ago
find_ai_solves.pyFinder: watch Palomar, erdosproblems proof claims and GitLab2 months ago
find_astro.pyAdd a finder for significant astronomy results on arXiv3 months ago
find_benchmarks.pyScore benchmarks on four named axes instead of headroom-first3 months ago
find_llm_ideas.pyAdd a finder for LLM and transformer ideas on arXiv3 months ago
fix-duplicate-source-links.tsRemove the nine links that repeated their entry's primary source2 months ago
fix-latex-titles.tsTitles are plain text - no LaTeX3 months ago
fix-link-rules.tsBring the catalog inside its own field limits3 months ago
fix-math-shortnames.tsShort names render math too3 months ago
fix-mul4-date-2026-09-02.tsSort imprecise solve dates inside their own period2 months ago
fix-percolation-tex-2026-09-08.tsTypeset the percolation entry's mathematics (#54)2 months ago
fix-prime-gaps-dollar.tsUse a plain comma in the prime-gaps statement2 months ago
fix-tooltip-math.tsStop the footnote bubbles showing raw TeX delimiters3 months ago
fix-werner-concurrent.tsName all four concurrent papers on the Werner distillability entry2 months ago
fix-ytd-method.tsFile the YTD disproof as a construction, after a reader's correction2 months ago
frame-dynamo-variants.tsSay on both dynamo entries that each is one variant of Arnold's problem2 months ago
handle-invgen-v2.tsReject one submission on scope, and act on a v2 report2 months ago
handle-zeta-report-2026-09-03.tsRecords get the community machinery: changelog, discussion, reporting2 months ago
hold-ytd-2026-09-02.tsHold the Yau-Tian-Donaldson entry; volume as a review signal2 months ago
import-alpoge-s6.tsAdd a claimed complex structure on S^6, the Hopf problem, as a candidate2 months ago
import-bounded-gaps-2026-09-04.tsRename Records to Frontiers2 months ago
import-elliptic-rank-30.tsRecord the rank >= 30 elliptic curve import2 months ago
import-elliptic-rank-31.tsAdd the rank >= 31 elliptic curve record, three days after rank 302 months ago
import-sweep-2026-08-12.tsSweep 2026-08-09 onward: fifteen entries3 months ago
import-sweep-2026-08-13.tsSweep 10-13 Aug: three entries, two candidates dropped on the full text3 months ago
import-sweep-2026-08-17.tsImport nine entries from the 17 Aug three-day scan2 months ago
import-sweep-2026-08-21.tsImport the 21 Aug scan's twelve qualifying candidates2 months ago
inbox-2026-09-05.tsFrontier chart: a numeric axis survives rows without a number2 months ago
liu-notes-2026-09-02.tsSay "no independent check" on every unreviewed Liu entry2 months ago
make-logo.pyExport the site's own favicon as the Discord assets2 months ago
ratelimit.pyFinder: hold arXiv's published pace, guard the model terms, test both3 months ago
reclassify-announcements.tsAdd an "announcement" link kind3 months ago
reject-levy-montague.tsReject one submission on scope, and act on a v2 report2 months ago
reject-m23.tsUnpublish the M23 entry for failing the inclusion test3 months ago
reject-tournament-quotients-ii.tsReject Tournament Score-Quotients II for having no stated open question2 months ago
rename-gap-records-2026-09-04.tsRename Records to Frontiers2 months ago
rename-records-to-frontiers.mjsRename Records to Frontiers2 months ago
reply-hiddenhawk-wiki.tsReply to HiddenHawk615's Wikipedia-link note3 months ago
reply-vibegene-ytd-method.tsFile the YTD disproof as a construction, after a reader's correction2 months ago
reply-zestywombat.tsSubstantiate the dihedral-Ramsey SAT claim, and answer the DRAT-size question3 months ago
restate-ssuf-part3.tsRender line breaks in statements and prose notes3 months ago
restore-latex-names.tsNames render math again; short names stay plain3 months ago
review-2026-09-01.tsReview the three submissions pending on 1 Sep2 months ago
review-2026-09-02.tsReview the three submissions pending on 2 Sep2 months ago
review-2026-09-03-b.tsCorrect the migration plan: catch production up first, and do not try to re-add secrets2 months ago
review-2026-09-03.tsReview the eight submissions pending on 3 Sep2 months ago
review-2026-09-04-b.tsReview the Trautman counterexample submission: approve at 252 months ago
review-2026-09-04-c.tsReview the late-morning pair: QMA(2) oracle separation approved at 36, dynamo refiling held2 months ago
review-2026-09-04-d.tsRename Records to Frontiers2 months ago
review-2026-09-04.tsLong gaps: Site-confirmed after the site's own build passed2 months ago
review-2026-09-05-b.tsReview of 5 September, second batch: Wong's question, Latin squares, YAH2 months ago
review-2026-09-05.tsReview of 5 September: two Astra disproofs, K8-e, cycle residues, a tree2 months ago
review-2026-09-06.tsReview of 6 September: eighteen submissions2 months ago
review-2026-09-08-b.tsReview the two submissions pending on the evening of 8 September (#53)2 months ago
review-2026-09-08.tsReview the eight submissions pending on 8 September (#51)2 months ago
review-2026-09-09.tsReview the eight submissions pending on 9 September (#56)2 months ago
review-albertson-berman.tsRecord the Albertson-Berman review, verified here rather than trusted3 months ago
review-batch-2026-08-12.tsGuard the review batch against a submission with no account3 months ago
review-batch-2026-08-17.tsBatch review: eleven published, one duplicate rejected2 months ago
review-batch-28aug-pm.tsPublish two submissions: Froberg slices site-confirmed, FRSB tier corrected2 months ago
review-batch-28aug.tsHandle five submissions: four published, M23 declined again2 months ago
review-bounded-mass-property.tsPublish the bounded-mass counterexample, re-typeset and with the stakes added2 months ago
review-buffon-full-chord.tsReview the full-chord Buffon discrepancy submission2 months ago
review-caratheodory-smooth.tsPublish the smooth Caratheodory counterexample, with three corrections2 months ago
review-composites-seven-followup.tsCorrect the composites-among-[xi 7^n] review: Lean-checked2 months ago
review-dean-k5.tsReview three submissions: SCL downgraded, local limits and Dean published2 months ago
review-dihedral-ramsey.tsReview the Teschner and dihedral-Ramsey submissions, both reproduced here3 months ago
review-dt-loop-quiver.tsPublish two entries, both authored by a model, one tier down each2 months ago
review-dubickas-problem-3.tsPublish Dubickas Problem 3, at two rungs below what was claimed2 months ago
review-erdos-270-affine.tsPublish two candidates, both classified by what their sources actually say2 months ago
review-erdos-390.tsReview the Erdos 390 submission2 months ago
review-erdos-kac-palindromes.tsPublish an Erdos-Kac law for palindromes and reversed primes, almost as submitted2 months ago
review-gamow-liquid-drop.tsReview the Gamow liquid-drop minimizer submission3 months ago
review-gardner-transition.tsFlag the Gardner transition entry: the author says the proofs are unchecked2 months ago
review-girth5-spin-mixing.tsAdd CI, a pull request template and CODEOWNERS2 months ago
review-gromov-volume-growth.tsReview the intermediate-curvature volume growth submission2 months ago
review-hadamard-668.tsRecord the 12 Aug reviews: Hadamard 668 and Petersen coloring3 months ago
review-haglund-k1.tsPublish two candidates, both classified by what their sources actually say2 months ago
review-intree-conjugation.tsReview the cyclic-conjugation in-tree depth submission2 months ago
review-keisler-generic-stability.tsAdd CI, a pull request template and CODEOWNERS2 months ago
review-lattice-paths.tsReview the Gerver-Ramsey lattice-path submission2 months ago
review-local-limits-squares.tsReview three submissions: SCL downgraded, local limits and Dean published2 months ago
review-m23-resubmission.tsHandle five submissions: four published, M23 declined again2 months ago
review-nevanlinna-half-plane.tsPublish the Nevanlinna and girth-5 submissions2 months ago
review-petersen-coloring.tsRecord the clause-count gap in the Petersen verification note3 months ago
review-phelps-rodriguez.tsPublish Phelps-Rodriguez, upgraded on an audit the submitter invited3 months ago
review-prime-digital-functions.tsAdd CI, a pull request template and CODEOWNERS2 months ago
review-rademacher-fourth-moment.tsReview the Rademacher fourth-moment submission, with a numerical check2 months ago
review-rado-40c41.tsReview the 4-color Rado submission3 months ago
review-rado-general.tsAdd Erdos 501 and the Rado general case; Methodology in the nav2 months ago
review-ramsey-19values.tsReview the nineteen-values Ramsey bundle3 months ago
review-ramsey-a4.tsReview the a >= 4 dihedral Ramsey submission3 months ago
review-random-assignment-clt.tsPublish the random-assignment CLT, and fix a year that made it zero years old2 months ago
review-riviere-n-laplace.tsAdd CI, a pull request template and CODEOWNERS2 months ago
review-scl-one-relator.tsReview three submissions: SCL downgraded, local limits and Dean published2 months ago
review-sendov.tsPublish Sendov's conjecture, with the Lean package audited here3 months ago
review-smooth-random-dynamo.tsPublish the smooth random fast dynamo, and relate it to its sibling2 months ago
review-sop23.tsReview SOP_2 = SOP_3, and add a Logic & foundations field group3 months ago
review-sparse-convex-body.tsPublish "Sparse domination implies convex body domination"2 months ago
review-ssuf-part3.tsReview the Part III unsplittable-flow submission3 months ago
review-stein-riesz.tsReview the Stein Riesz-transform and Talagrand convolution submissions2 months ago
review-subdl-signed-depth.tsPublish two entries, both authored by a model, one tier down each2 months ago
review-talagrand-convolution.tsReview the Stein Riesz-transform and Talagrand convolution submissions2 months ago
review-talagrand-sk.tsReview the Talagrand SK overlap submission3 months ago
review-teschner.tsReview the Teschner and dihedral-Ramsey submissions, both reproduced here3 months ago
review-three-summand-plateau.tsHandle five submissions: four published, M23 declined again2 months ago
review-three-summand-tu-deng.tsReject the three-summand Tu-Deng submission: no AI disclosure in the artifact2 months ago
review-u30-autocorrelation.tsReview the U_30 autocorrelation submission2 months ago
schema-lock.mjsschema-lock: a --production flag, so the guard can be widened out loud2 months ago
scholar_citations.pyBuild VibeMathed: a tracker for math problems solved by AI models3 months ago
seed-record-small-gaps-2026-09-04.tsRename Records to Frontiers2 months ago
seed-records-2026-09-04.tsRename Records to Frontiers2 months ago
seed-records-batch2-2026-09-05.tsRename Records to Frontiers2 months ago
seed-relations-2026-08-13.tsTyped relations between entries3 months ago
set-team-2026-09-02.tsRecord that Saul's moderator role was removed the same day2 months ago
shorten-over-limit-fields.tsBring the catalog inside its own field limits3 months ago
test_find_ai_solves.pyFinder: hold arXiv's published pace, guard the model terms, test both3 months ago
test_ratelimit.pyFinder: hold arXiv's published pace, guard the model terms, test both3 months ago
update-borsuk-priority.tsAct on three reader reports: Borsuk priority, significance gaps3 months ago
update-crouzeix-jin.tsRework the Crouzeix entry around the Townsend-Greenbaum account3 months ago
update-dean-k5-replayed.tsDean k=5: replay the supplement, move verification to site-confirmed2 months ago
update-gromov-third-proof.tsAdd the third independent proof of Gromov's 1986 conjecture2 months ago
update-hadamard-668.tsCorrect Hadamard 668: the decoder was in the reply all along3 months ago
update-haglund-replay-confirmed.tsReplay the Haglund certificate, drop the claim-issue flag, restore the tier2 months ago
update-prime-gaps-expert.tsPrime gaps: expert-verified after Green, Tao and Maynard2 months ago
update-zeta-arxiv.tsPoint the zeta entry at arXiv, and audit the Lean repo properly2 months ago
verify_erdos131.mdReproduction badge; approve Erdos 131 after building its Lean proof3 months ago
verify_gaussian_moments.pyVerify the Gaussian Moments counterexamples; correct the entry3 months ago