https://stateofproof.org/ 2026-09-20 https://stateofproof.org/paper-watch 2026-09-20 https://stateofproof.org/dockets 2026-08-28 https://stateofproof.org/state-changes 2026-08-28 https://stateofproof.org/method https://stateofproof.org/policies https://stateofproof.org/about https://stateofproof.org/submit https://stateofproof.org/dockets/alpoge-s6 2026-08-28 https://stateofproof.org/dockets/maxwell-conjecture 2026-08-27 https://stateofproof.org/dockets/openai-first-proof 2026-08-27 https://stateofproof.org/dockets/nesterov-point-convergence 2026-08-27 https://stateofproof.org/dockets/openai-cycle-double-cover 2026-08-27 https://stateofproof.org/dockets/openai-nonsofic-group 2026-08-27 https://stateofproof.org/paper-watch/arxiv-2609-20809 2026-09-20 https://stateofproof.org/paper-watch/arxiv-2609-20811 2026-09-19 https://stateofproof.org/paper-watch/arxiv-2609-20785 2026-09-19 https://stateofproof.org/paper-watch/arxiv-2609-20492 2026-09-18 https://stateofproof.org/paper-watch/arxiv-2609-19536 2026-09-18 https://stateofproof.org/paper-watch/arxiv-2609-19118 2026-09-18 https://stateofproof.org/paper-watch/arxiv-2609-20803 2026-09-18 https://stateofproof.org/paper-watch/arxiv-2609-20805 2026-09-18 https://stateofproof.org/paper-watch/paper-2026-09-14-a-proof-of-the-strong-papadimitriou-ratajczak-conjecture 2026-09-14 https://stateofproof.org/paper-watch/paper-2026-09-13-eoc-lean-verification-harmonic-discrepancy-and-cylinder-arithmetic 2026-09-13 https://stateofproof.org/paper-watch/arxiv-2609-11919 2026-09-11 https://stateofproof.org/paper-watch/arxiv-2609-11903 2026-09-11 https://stateofproof.org/paper-watch/arxiv-2609-08319 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2609-08160 2026-09-09 https://stateofproof.org/paper-watch/paper-2026-09-09-explicit-positive-density-collatz-convergence-in-logarithmic-time 2026-09-09 https://stateofproof.org/paper-watch/paper-2026-09-08-finite-time-blowup-for-navier-stokes 2026-09-09 https://stateofproof.org/paper-watch/paper-2026-09-08-stable-singularity-of-the-euler-equations-on-r 2026-09-09 https://stateofproof.org/paper-watch/paper-2026-09-08-extending-the-c-rdoba-mart-nez-zoroa-ipm-blow-up-to-uniformly-space-time 2026-09-09 https://stateofproof.org/paper-watch/paper-2026-09-08-finite-time-blowup-for-the-euler-equation 2026-09-09 https://stateofproof.org/paper-watch/paper-2026-09-08-blowup-for-the-euler-equations-with-smooth-forcing 2026-09-09 https://stateofproof.org/paper-watch/paper-2026-09-08-blowup-for-the-boussinesq-equations-with-smooth-forcing 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2609-05417 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2609-05349 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2609-05131 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2609-03965 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2609-04043 2026-09-09 https://stateofproof.org/paper-watch/paper-2026-09-04-formalizing-fermat-s-last-theorem 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2609-04176 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2609-02477 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2609-02424 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2609-01766 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2609-01682 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2609-01594 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2609-01570 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2609-01521 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-30604 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-30575 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-30275 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-21017 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-27447 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-27346 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-27321 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-27242 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-27081 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-27432 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-27416 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-27404 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-25639 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2607-25628 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-25449 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-24829 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-24797 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-26087 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-26079 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-26062 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-25988 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-25688 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-25591 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-25391 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-25214 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-25147 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-25059 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-24401 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-23652 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-18134 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2608-01579 2026-09-09 https://stateofproof.org/paper-watch/arxiv-2607-25958 2026-09-09