https://aiproofwatch.com/2026-10-22T07:31:13.287Zhttps://aiproofwatch.com/abouthttps://aiproofwatch.com/problems2026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive2026-10-22T07:31:13.287Zhttps://aiproofwatch.com/analysis2026-10-22T07:31:13.287Zhttps://aiproofwatch.com/methodologyhttps://aiproofwatch.com/methodology/significancehttps://aiproofwatch.com/methodology/verificationhttps://aiproofwatch.com/methodology/ai-involvementhttps://aiproofwatch.com/methodology/understandinghttps://aiproofwatch.com/sources/openaihttps://aiproofwatch.com/sources/considered2026-10-22T07:39:59.456Zhttps://aiproofwatch.com/sources/discussion-audithttps://aiproofwatch.com/sources/formalizationhttps://aiproofwatch.com/site-updateshttps://aiproofwatch.com/privacy2026-10-16T00:00:00.000Zhttps://aiproofwatch.com/comparisonshttps://aiproofwatch.com/human-follow-upshttps://aiproofwatch.com/comparisons/proof-of-progresshttps://aiproofwatch.com/comparisons/what-ai-foundhttps://aiproofwatch.com/comparisons/vibemathedhttps://aiproofwatch.com/comparisons/improofbenchhttps://aiproofwatch.com/comparisons/frontiermath-open-problemshttps://aiproofwatch.com/comparisons/metrhttps://aiproofwatch.com/comparisons/artificial-analysishttps://aiproofwatch.com/archive/page/22026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/32026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/42026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/52026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/62026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/72026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/82026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/92026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/102026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/112026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/122026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/132026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/142026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/152026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/162026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/172026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/182026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/192026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/202026-10-22T07:31:13.287Zhttps://aiproofwatch.com/archive/page/212026-10-22T07:31:13.287Zhttps://aiproofwatch.com/problems/weekly-update2026-10-13T09:52:19.361Zhttps://aiproofwatch.com/problems/mathematics2026-10-22T07:31:13.287Zhttps://aiproofwatch.com/problems/theoretical-computer-science2026-10-22T07:31:13.287Zhttps://aiproofwatch.com/problems/theoretical-physics2026-10-22T07:31:06.065Zhttps://aiproofwatch.com/problems/ai-assisted-formal-proof2026-10-22https://aiproofwatch.com/problems/algebra-structures2026-10-22https://aiproofwatch.com/problems/algebra2026-10-22https://aiproofwatch.com/problems/algebraic-geometry2026-10-22https://aiproofwatch.com/problems/algorithms-computation2026-10-22T07:31:13.287Zhttps://aiproofwatch.com/problems/analysis-probability2026-10-22T07:31:08.818Zhttps://aiproofwatch.com/problems/cap-sets2026-10-22https://aiproofwatch.com/problems/combinatorics2026-10-22T07:31:13.258Zhttps://aiproofwatch.com/problems/condensed-matter-statistical-physics2026-10-22https://aiproofwatch.com/problems/convex-geometry2026-10-22https://aiproofwatch.com/problems/differential-geometry2026-10-22https://aiproofwatch.com/problems/dynamical-systems2026-10-22https://aiproofwatch.com/problems/functional-analysis2026-10-22https://aiproofwatch.com/problems/geometric-combinatorics2026-10-22https://aiproofwatch.com/problems/geometry-topology2026-10-22https://aiproofwatch.com/problems/graph-algorithms2026-10-22T07:31:13.287Zhttps://aiproofwatch.com/problems/gravitation-cosmology2026-10-22https://aiproofwatch.com/problems/group-theory2026-10-22https://aiproofwatch.com/problems/kissing-numbers2026-10-22https://aiproofwatch.com/problems/logic-formal-proof2026-10-22https://aiproofwatch.com/problems/mathematical-logic2026-10-22https://aiproofwatch.com/problems/mathematical-physics2026-10-22https://aiproofwatch.com/problems/matrix-multiplication2026-10-22T07:31:13.271Zhttps://aiproofwatch.com/problems/metric-geometry2026-10-22https://aiproofwatch.com/problems/number-theory2026-10-22T07:31:08.818Zhttps://aiproofwatch.com/problems/online-bin-packing2026-10-22https://aiproofwatch.com/problems/operator-algebras2026-10-22https://aiproofwatch.com/problems/optimization2026-10-22https://aiproofwatch.com/problems/partial-differential-equations2026-10-22https://aiproofwatch.com/problems/particle-physics-qft2026-10-22T07:31:06.065Zhttps://aiproofwatch.com/problems/probability2026-10-22https://aiproofwatch.com/problems/ramsey-bounds2026-10-22https://aiproofwatch.com/problems/analysis2026-10-22T07:31:08.818Zhttps://aiproofwatch.com/problems/string-theory-quantum-gravity2026-10-22https://aiproofwatch.com/problems/topology2026-10-22https://aiproofwatch.com/problems/openai-problem-1612026-10-22https://aiproofwatch.com/problems/openai-problem-1972026-10-22https://aiproofwatch.com/problems/grothendieck-group-scheme2026-10-22https://aiproofwatch.com/problems/m23-inverse-galois2026-10-11T20:13:26.699Zhttps://aiproofwatch.com/problems/gaussian-moments-counterexample2026-10-22https://aiproofwatch.com/problems/liouville-goldbach-even-negative-pairs2026-10-22https://aiproofwatch.com/problems/localized-logarithm-xi-binary-normality2026-10-22https://aiproofwatch.com/problems/copeland-erdos-not-simply-strongly-normal2026-10-22https://aiproofwatch.com/problems/two-stoneham-constants-normal-sum2026-10-22https://aiproofwatch.com/problems/stoneham-prime-support-normality-criterion2026-10-22https://aiproofwatch.com/problems/erdos-270-affine-algebraic-independence2026-10-22https://aiproofwatch.com/problems/openai-problem-1212026-10-22https://aiproofwatch.com/problems/alphadev-small-sorting2026-10-22https://aiproofwatch.com/problems/minimum-overlap-alphaevolve2026-10-22https://aiproofwatch.com/problems/bruhat-hypercubes2026-10-11T12:38:35.863Zhttps://aiproofwatch.com/problems/boussinesq-smooth-forcing2026-10-11T12:38:35.670Zhttps://aiproofwatch.com/problems/s6-complex-structure2026-10-22https://aiproofwatch.com/problems/elliptic-rank-312026-10-11T20:13:27.095Zhttps://aiproofwatch.com/problems/openai-problem-2472026-10-22https://aiproofwatch.com/problems/openai-problem-2612026-10-22https://aiproofwatch.com/problems/imo-2025-aristotle2026-10-22https://aiproofwatch.com/problems/openai-problem-0292026-10-22https://aiproofwatch.com/problems/barnette-hamiltonian2026-10-22https://aiproofwatch.com/problems/big-line-big-clique-6-42026-10-22https://aiproofwatch.com/problems/black-box-qma-amplification-limits2026-10-22https://aiproofwatch.com/problems/openai-problem-1562026-10-22https://aiproofwatch.com/problems/prime-gaps-at-most-1862026-10-22https://aiproofwatch.com/problems/openai-problem-0722026-10-22https://aiproofwatch.com/problems/c-parameter-shoulder2026-10-22https://aiproofwatch.com/problems/openai-problem-2462026-10-22https://aiproofwatch.com/problems/openai-problem-3372026-10-22https://aiproofwatch.com/problems/critical-lattice-percolation2026-10-11T20:13:26.955Zhttps://aiproofwatch.com/problems/fgg-qaoa-ring-machine-proof2026-10-22https://aiproofwatch.com/problems/minkowski-14-gon-five-colour-lower-bound2026-10-22https://aiproofwatch.com/problems/two-size-gasoline-iterative-rounding-tight-bound2026-10-22https://aiproofwatch.com/problems/thue-morse-joshi-rust-first-occurrence2026-10-22https://aiproofwatch.com/problems/arnosti-equal-capacity-matching-dominance2026-10-22https://aiproofwatch.com/problems/dna-recovery-balance-duality2026-10-22https://aiproofwatch.com/problems/binary-morphism-eight-thirds-plus-stability2026-10-22https://aiproofwatch.com/problems/collins-tree-polynomial-peak-counterexample2026-10-22https://aiproofwatch.com/problems/openai-problem-1182026-10-22https://aiproofwatch.com/problems/cosmic-string-radiation2026-10-22https://aiproofwatch.com/problems/unsplittable-flow2026-10-11T10:00:54.844Zhttps://aiproofwatch.com/problems/linear-extensions-sub-two-n2026-10-22https://aiproofwatch.com/problems/openai-problem-2132026-10-22https://aiproofwatch.com/problems/cycle-double-cover-conjecture2026-10-22https://aiproofwatch.com/problems/daykin-frankl-boolean-lattice2026-10-22https://aiproofwatch.com/problems/medvedev-logic2026-10-22https://aiproofwatch.com/problems/derivative-free-complexity2026-10-22https://aiproofwatch.com/problems/openai-problem-1422026-10-22https://aiproofwatch.com/problems/energy-energy-correlator2026-10-13T09:53:27.193Zhttps://aiproofwatch.com/problems/openai-problem-0992026-10-22https://aiproofwatch.com/problems/erdos-7282026-10-22https://aiproofwatch.com/problems/openai-problem-1592026-10-22https://aiproofwatch.com/problems/openai-problem-1032026-10-22https://aiproofwatch.com/problems/fermats-last-theorem2026-10-11T10:00:55.789Zhttps://aiproofwatch.com/problems/3sum-apsp-formalization2026-10-22https://aiproofwatch.com/problems/openai-problem-0382026-10-22https://aiproofwatch.com/problems/gauss-sphere-packing2026-10-11T20:13:27.016Zhttps://aiproofwatch.com/problems/gauss-strong-pnt2026-10-11T12:38:35.902Zhttps://aiproofwatch.com/problems/imo-2025-gemini-deep-think2026-10-22https://aiproofwatch.com/problems/openai-problem-3622026-10-22https://aiproofwatch.com/problems/openai-problem-0062026-10-22https://aiproofwatch.com/problems/openai-problem-0042026-10-22https://aiproofwatch.com/problems/openai-problem-1982026-10-22https://aiproofwatch.com/problems/openai-problem-1092026-10-22T07:31:13.287Zhttps://aiproofwatch.com/problems/openai-problem-0052026-10-22https://aiproofwatch.com/problems/openai-problem-0212026-10-22https://aiproofwatch.com/problems/openai-problem-2882026-10-22https://aiproofwatch.com/problems/openai-problem-1962026-10-22https://aiproofwatch.com/problems/knot-cusp-geometry-signature-relationship2026-10-22https://aiproofwatch.com/problems/openai-problem-0712026-10-22https://aiproofwatch.com/problems/kourovka-18-502026-10-22https://aiproofwatch.com/problems/kourovka-19-252026-10-22https://aiproofwatch.com/problems/kourovka-20-1252026-10-22https://aiproofwatch.com/problems/kourovka-21-1472026-10-22https://aiproofwatch.com/problems/kourovka-21-1502026-10-22https://aiproofwatch.com/problems/kourovka-21-242026-10-22https://aiproofwatch.com/problems/kourovka-21-82026-10-22https://aiproofwatch.com/problems/kourovka-3-462026-10-22https://aiproofwatch.com/problems/openai-problem-2172026-10-22https://aiproofwatch.com/problems/amplitude-simplification2026-10-22https://aiproofwatch.com/problems/openai-problem-1202026-10-22https://aiproofwatch.com/problems/openai-problem-0012026-10-22https://aiproofwatch.com/problems/openai-problem-0302026-10-22https://aiproofwatch.com/problems/openai-problem-2662026-10-22https://aiproofwatch.com/problems/openai-problem-0392026-10-22https://aiproofwatch.com/problems/openai-problem-2482026-10-22https://aiproofwatch.com/problems/openai-problem-1702026-10-22https://aiproofwatch.com/problems/bernoulli-flatness-through-dimension-six2026-10-22https://aiproofwatch.com/problems/bloch-conjecture-pg-zero-surfaces2026-10-22https://aiproofwatch.com/problems/bloch-law-finite-range-heisenberg2026-10-22https://aiproofwatch.com/problems/boltzmann-nonuniqueness-exact-local-conservation2026-10-22https://aiproofwatch.com/problems/ch-separable-quotient-counterexample2026-10-22https://aiproofwatch.com/problems/curtis-stable-hurewicz-image2026-10-22https://aiproofwatch.com/problems/dixmier-unitarizability-amenability2026-10-22https://aiproofwatch.com/problems/donovan-conjecture-arbitrary-defect-groups2026-10-22https://aiproofwatch.com/problems/erdos-totient-fibers2026-10-22https://aiproofwatch.com/problems/foulkes-sixth-symmetric-power2026-10-22https://aiproofwatch.com/problems/balanced-six-vertex-gaussian-free-field-limit2026-10-22https://aiproofwatch.com/problems/weighted-integer-lipschitz-height-gff2026-10-22https://aiproofwatch.com/problems/quintic-gepner-stability2026-10-22https://aiproofwatch.com/problems/gersten-one-relator-hyperbolicity2026-10-22https://aiproofwatch.com/problems/gigli-alexandrov-distributional-curvature-characterization2026-10-22https://aiproofwatch.com/problems/gromov-integral-scalar-curvature-simplicial-volume2026-10-22https://aiproofwatch.com/problems/grothendieck-elementary-expansion-equivalence2026-10-22https://aiproofwatch.com/problems/hindman-finite-sums-products2026-10-22https://aiproofwatch.com/problems/katok-negative-curvature-entropy-rigidity2026-10-22https://aiproofwatch.com/problems/lech-multiplicity-flat-local-conjecture2026-10-22https://aiproofwatch.com/problems/fk-ising-planar-map-walk-liouville-brownian-motion2026-10-22https://aiproofwatch.com/problems/separable-banach-lipschitz-not-linear-isomorphism2026-10-22https://aiproofwatch.com/problems/pw-fixed-determinant-composite-rank2026-10-22https://aiproofwatch.com/problems/petty-projection-volume-n-ge-four2026-10-22https://aiproofwatch.com/problems/binary-charge-continuum-coulomb-qma-hardness2026-10-22https://aiproofwatch.com/problems/square-lattice-fk-interface-sle-continuum2026-10-22https://aiproofwatch.com/problems/varying-prime-smith-toda-complexes2026-10-22https://aiproofwatch.com/problems/thomason-model-structures-higher-dimensions2026-10-22https://aiproofwatch.com/problems/uchida-open-galois-homomorphisms2026-10-22https://aiproofwatch.com/problems/finite-symmetric-tensor-category-verlinde-fiber-functor2026-10-22https://aiproofwatch.com/problems/snaky-maker-212026-10-22https://aiproofwatch.com/problems/half-plane-double-dimer-cle4-curve-limit2026-10-22https://aiproofwatch.com/problems/coulomb-density-no-kohn-sham-ensemble2026-10-22https://aiproofwatch.com/problems/shub-c1-entropy-conjecture-counterexample2026-10-22https://aiproofwatch.com/problems/choiceless-counting-does-not-capture-p2026-10-22https://aiproofwatch.com/problems/ppt-squared-channel-counterexample-212026-10-22https://aiproofwatch.com/problems/qac0-parity-lower-bound2026-10-22https://aiproofwatch.com/problems/closed-ricci-flow-bounded-scalar-blowup2026-10-22https://aiproofwatch.com/problems/shafarevich-large-fundamental-group-counterexample2026-10-22https://aiproofwatch.com/problems/naimark-problem-zfc-counterexample2026-10-22https://aiproofwatch.com/problems/four-dimensional-disk-embedding-counterexample2026-10-22https://aiproofwatch.com/problems/canonical-interacting-o3-massive-continuum-limit2026-10-22https://aiproofwatch.com/problems/finite-congruence-lattice-colored-graph-criterion2026-10-22https://aiproofwatch.com/problems/higher-dimensional-symplectic-ball-packing2026-10-22https://aiproofwatch.com/problems/complex-lipman-zariski-counterexample2026-10-22https://aiproofwatch.com/problems/complex-affine-fourfold-cancellation-counterexample2026-10-22https://aiproofwatch.com/problems/conditional-kahler-log-abundance2026-10-22https://aiproofwatch.com/problems/conditional-quenched-near-critical-voronoi-universality2026-10-22https://aiproofwatch.com/problems/radial-pair-potential-continuum-temperature-singularity2026-10-22https://aiproofwatch.com/problems/kaplansky-quasitrace-counterexample2026-10-22https://aiproofwatch.com/problems/kurosh-division-ring-counterexample2026-10-22https://aiproofwatch.com/problems/wall-d2-counterexample2026-10-22https://aiproofwatch.com/problems/integer-degree-harmonic-dimension-comparison-counterexample2026-10-22https://aiproofwatch.com/problems/infinite-matroid-packing-covering-counterexample2026-10-22https://aiproofwatch.com/problems/permanent-border-determinantal-cubic2026-10-22https://aiproofwatch.com/problems/tetrahedron-cylinder-covering-counterexample2026-10-22https://aiproofwatch.com/problems/intersective-polynomial-difference-power-saving2026-10-22https://aiproofwatch.com/problems/depth-five-imm-gate-lower-bound2026-10-22https://aiproofwatch.com/problems/depth-three-circuits-beyond-square-root2026-10-22https://aiproofwatch.com/problems/subgaussian-logconcave-log-sobolev2026-10-22https://aiproofwatch.com/problems/finite-range-environment-directional-zero-one2026-10-22https://aiproofwatch.com/problems/small-cohen-macaulay-module-counterexample2026-10-22https://aiproofwatch.com/problems/doubling-hilbert-no-finite-dimensional-embedding2026-10-22https://aiproofwatch.com/problems/finitely-presented-simple-amenable-group2026-10-22https://aiproofwatch.com/problems/aspherical-four-manifold-borel-counterexample2026-10-22https://aiproofwatch.com/problems/four-variable-stable-coordinate-counterexample2026-10-22https://aiproofwatch.com/problems/fixed-price-counterexample2026-10-22https://aiproofwatch.com/problems/pixton-chow-completeness-counterexample2026-10-22https://aiproofwatch.com/problems/higher-codimension-riesz-uniform-rectifiability2026-10-22https://aiproofwatch.com/problems/hyperbolic-group-without-geometric-cat0-action2026-10-22https://aiproofwatch.com/problems/ashkin-teller-joint-current-scaling-limit2026-10-22https://aiproofwatch.com/problems/erdos-gallai-cycle-decomposition2026-10-22https://aiproofwatch.com/problems/hypercube-ramsey-linear-order2026-10-22https://aiproofwatch.com/problems/gaussian-regression-memory-precision-lower-bound2026-10-22https://aiproofwatch.com/problems/nearby-lagrangian-counterexample2026-10-22https://aiproofwatch.com/problems/nearly-quartic-quantum-randomized-query-separation2026-10-22https://aiproofwatch.com/problems/nonperiodic-translational-tile-dimension-three2026-10-22https://aiproofwatch.com/problems/hyperbolic-group-not-residually-finite2026-10-22https://aiproofwatch.com/problems/nonspectrahedral-hyperbolicity-cone2026-10-22https://aiproofwatch.com/problems/nuclear-norm-ultrapower-embedding-obstruction2026-10-22https://aiproofwatch.com/problems/one-sample-almighty-matroid-prophet2026-10-22https://aiproofwatch.com/problems/weisfeiler-leman-parity-lift-choice-reduction2026-10-22https://aiproofwatch.com/problems/pinched-kahler-threefold-unbounded-coordinates2026-10-22https://aiproofwatch.com/problems/vinogradov-least-quadratic-nonresidue-polylog2026-10-22https://aiproofwatch.com/problems/sle-exact-hausdorff-gauge-positive-finite2026-10-22https://aiproofwatch.com/problems/de-giorgi-dimension-eight-rigidity2026-10-22https://aiproofwatch.com/problems/tingley-sphere-isometry-extension2026-10-22https://aiproofwatch.com/problems/heilbronn-triangle-power-improvement-all-n2026-10-22https://aiproofwatch.com/problems/halving-lines-power-saving2026-10-22https://aiproofwatch.com/problems/boone-higman-conjecture2026-10-22https://aiproofwatch.com/problems/quasilinear-pcp-for-ppad2026-10-22https://aiproofwatch.com/problems/reflexive-midpoint-convexity-diamond-counterexample2026-10-22https://aiproofwatch.com/problems/boltzmann-grad-stable-radial-regular-lifespan2026-10-22https://aiproofwatch.com/problems/stationary-varifold-singular-dimension-bound2026-10-22https://aiproofwatch.com/problems/single-generator-ii1-factors2026-10-22https://aiproofwatch.com/problems/smooth-affine-maximal-counterexample-dimension102026-10-22https://aiproofwatch.com/problems/smooth-simple-lebesgue-spectrum2026-10-22https://aiproofwatch.com/problems/forced-navier-stokes-solenoidal-halting-detector2026-10-22https://aiproofwatch.com/problems/howie-nonsingular-systems-arbitrary-groups2026-10-22https://aiproofwatch.com/problems/squarefree-quartic-values2026-10-22https://aiproofwatch.com/problems/superquadratic-sensitivity-separation2026-10-22https://aiproofwatch.com/problems/finite-euclidean-ramsey-tensor-classification2026-10-22https://aiproofwatch.com/problems/no-conjugate-points-without-nonpositive-curvature2026-10-22https://aiproofwatch.com/problems/two-dimensional-gapped-ground-state-area-law2026-10-22https://aiproofwatch.com/problems/one-tape-two-fifths-space-simulation2026-10-22https://aiproofwatch.com/problems/uniform-coulomb-molecular-excess-charge2026-10-22https://aiproofwatch.com/problems/uniform-generalized-star-height-thirteen2026-10-22https://aiproofwatch.com/problems/hypergraph-property-uniform-influence2026-10-22https://aiproofwatch.com/problems/uniform-quasipolynomial-trace-reconstruction-decoder2026-10-22https://aiproofwatch.com/problems/uniformly-discrete-lipschitz-free-no-bap2026-10-22https://aiproofwatch.com/problems/log-concave-sampling-query-exponent-zero2026-10-22https://aiproofwatch.com/problems/zero-entropy-no-smooth-positive-volume-model2026-10-22https://aiproofwatch.com/problems/matrix-lieb-thirring-equality-classification2026-10-22https://aiproofwatch.com/problems/l-log-l-ae-fourier-convergence2026-10-22https://aiproofwatch.com/problems/griffiths-positivity-rank-two-counterexample2026-10-22https://aiproofwatch.com/problems/auslander-reiten-counterexample-artin-algebra2026-10-22https://aiproofwatch.com/problems/eilenberg-ganea-counterexample2026-10-22https://aiproofwatch.com/problems/common-integer-polymatroid-bases-fpras2026-10-22https://aiproofwatch.com/problems/general-graph-perfect-matching-fpras2026-10-22https://aiproofwatch.com/problems/free-uniform-spanning-forest-iid-factor2026-10-22https://aiproofwatch.com/problems/trilinear-hilbert-fixed-slopes-l32026-10-22https://aiproofwatch.com/problems/orthogonally-invariant-ising-all-temperature-pressure2026-10-22https://aiproofwatch.com/problems/zariski-multiplicity-counterexample2026-10-22https://aiproofwatch.com/problems/centered-disk-maximal-w11-gradient2026-10-22https://aiproofwatch.com/problems/adaptive-proof-reflexive-nonexpansive-fixed-points2026-10-22https://aiproofwatch.com/problems/gersten-integral-ramified-counterexample2026-10-22https://aiproofwatch.com/problems/patterson-cubic-gauss-first-moment2026-10-22https://aiproofwatch.com/problems/padic-etale-cover-prescribed-exterior-sheet2026-10-22https://aiproofwatch.com/problems/continuous-billiard-foliation-analytic-caustic-collar2026-10-22https://aiproofwatch.com/problems/smoothly-semipositive-anticanonical-nonvanishing2026-10-22https://aiproofwatch.com/problems/approximation-paving-all-masas2026-10-22https://aiproofwatch.com/problems/uniform-sparsest-cut-arbitrary-constant-hardness2026-10-22https://aiproofwatch.com/problems/twisted-lattice-factor-finite-correspondence-classification2026-10-22https://aiproofwatch.com/problems/littlewood-real-sign-asymptotically-minimal-maxima2026-10-22https://aiproofwatch.com/problems/ryser-balanced-counterexamples-prime-orders2026-10-22https://aiproofwatch.com/problems/regular-point-bilipschitz-rcd-charts2026-10-22https://aiproofwatch.com/problems/bounded-klt-complements-fano-contractions2026-10-22https://aiproofwatch.com/problems/bounded-degree-coboundary-expanders-higher-dimensions2026-10-22https://aiproofwatch.com/problems/kobayashi-canonical-ampleness2026-10-22https://aiproofwatch.com/problems/generalized-amplitude-damping-classical-capacity2026-10-22https://aiproofwatch.com/problems/weakly-reversible-mass-action-classwise-permanence2026-10-22https://aiproofwatch.com/problems/cohomology-preserving-hypersymplectic-deformation2026-10-22https://aiproofwatch.com/problems/kazhdan-lusztig-combinatorial-invariance2026-10-22https://aiproofwatch.com/problems/kahler-integrable-tangent-universal-cover-splitting2026-10-22https://aiproofwatch.com/problems/computable-random-3sat-threshold2026-10-22https://aiproofwatch.com/problems/global-arthur-enhancement-full-finite-level2026-10-22https://aiproofwatch.com/problems/contact-fano-lebrun-salamon-classification2026-10-22https://aiproofwatch.com/problems/weak-mtw-injectivity-domain-convexity2026-10-22https://aiproofwatch.com/problems/forbidden-clique-correspondence-coloring2026-10-22https://aiproofwatch.com/problems/cotype-cotype-approximation-property2026-10-22https://aiproofwatch.com/problems/pietsch-metric-entropy-duality-counterexample2026-10-22https://aiproofwatch.com/problems/honeycomb-critical-polygon-diameter-tail-exponents2026-10-22https://aiproofwatch.com/problems/three-dimensional-wave-local-smoothing2026-10-22https://aiproofwatch.com/problems/chromatic-fixed-point-loss-cyclic-length2026-10-22https://aiproofwatch.com/problems/deterministic-nonbipartite-ramanujan-prescribed-size2026-10-22https://aiproofwatch.com/problems/spherical-laughlin-gap-disorder-stability2026-10-22https://aiproofwatch.com/problems/shareshian-wachs-elementary-positivity2026-10-22https://aiproofwatch.com/problems/entanglement-with-zero-distillable-key2026-10-22https://aiproofwatch.com/problems/equivariant-hikita-arbitrary-quivers2026-10-22https://aiproofwatch.com/problems/amenable-actions-equivariant-jiang-su-stability2026-10-22https://aiproofwatch.com/problems/exact-finite-gate-quantum-factoring2026-10-22https://aiproofwatch.com/problems/exact-uniform-contingency-table-sampling2026-10-22https://aiproofwatch.com/problems/metric-k-median-anchor-recovery2026-10-22https://aiproofwatch.com/problems/relative-bicentralizer-core-commutant2026-10-22https://aiproofwatch.com/problems/perfect-matching-semidefinite-lift-exponential2026-10-22https://aiproofwatch.com/problems/two-way-nfa-complementation-exponential-lower-bound2026-10-22https://aiproofwatch.com/problems/maximal-coarse-assembly-rational-kernel2026-10-22https://aiproofwatch.com/problems/ordered-binary-matrix-polynomial-removal-counterexample2026-10-22https://aiproofwatch.com/problems/reduced-baum-connes-injectivity-counterexample2026-10-22https://aiproofwatch.com/problems/generic-prime-filtered-chromatic-splitting2026-10-22https://aiproofwatch.com/problems/mu-null-filtered-smash-products2026-10-22https://aiproofwatch.com/problems/finite-free-entropy-separation2026-10-22https://aiproofwatch.com/problems/kn-local-sphere-degreewise-finite-generation2026-10-22https://aiproofwatch.com/problems/calabi-flow-finite-time-singularity-cp102026-10-22https://aiproofwatch.com/problems/weak-anderson-regular-graph-fixed-energy-goe2026-10-22https://aiproofwatch.com/problems/generic-near-kerr-square-integrable-inextendibility2026-10-22https://aiproofwatch.com/problems/irrational-quantum-geometric-langlands2026-10-22https://aiproofwatch.com/problems/graph-decomposition-integral-expectation-threshold2026-10-22https://aiproofwatch.com/problems/three-colorable-independent-set-hardness2026-10-22https://aiproofwatch.com/problems/hahn-wilson-height-two-counterexamples2026-10-22https://aiproofwatch.com/problems/consecutive-prime-factor-independence2026-10-22https://aiproofwatch.com/problems/infinitely-many-geodesics-on-spheres2026-10-22https://aiproofwatch.com/problems/integral-density-curve-character-varieties2026-10-22https://aiproofwatch.com/problems/irrational-rotation-invariant-projection-counterexamples2026-10-22https://aiproofwatch.com/problems/irrational-cubic-fourfold-geometric-k3-category2026-10-22https://aiproofwatch.com/problems/joint-metric-connection-one-patch-uniqueness2026-10-22https://aiproofwatch.com/problems/four-dimensional-scale-to-local-conformal-ward2026-10-22https://aiproofwatch.com/problems/l1-metric-markov-cotype-two2026-10-22https://aiproofwatch.com/problems/planar-first-passage-no-bigeodesics2026-10-22https://aiproofwatch.com/problems/three-marginal-coulomb-monge-nonattainment2026-10-22https://aiproofwatch.com/problems/markov-type-superreflexivity2026-10-22https://aiproofwatch.com/problems/benjamini-schramm-percolation-nonuniqueness2026-10-22https://aiproofwatch.com/problems/kahler-nef-adjoint-numerical-semiampleness2026-10-22https://aiproofwatch.com/problems/positive-characteristic-threefold-log-abundance-nu-one2026-10-22https://aiproofwatch.com/problems/positive-characteristic-noncommutative-hitting-point2026-10-22https://aiproofwatch.com/problems/thorp-shuffle-optimal-logarithmic-mixing2026-10-22https://aiproofwatch.com/problems/orbifold-iitaka-subadditivity-rational-snc2026-10-22https://aiproofwatch.com/problems/properly-infinite-positive-elements-imply-strong-pure-infiniteness2026-10-22https://aiproofwatch.com/problems/two-to-one-games-perfect-completeness2026-10-22https://aiproofwatch.com/problems/pointwise-multiple-ergodic-averages-mixing2026-10-22https://aiproofwatch.com/problems/switch-chain-graph-degree-sequences2026-10-22https://aiproofwatch.com/problems/boolean-oracle-unitary-synthesis2026-10-22https://aiproofwatch.com/problems/three-machine-unit-job-scheduling2026-10-22https://aiproofwatch.com/problems/standard-map-positive-metric-entropy2026-10-22https://aiproofwatch.com/problems/large-prime-gaps-positive-density2026-10-22https://aiproofwatch.com/problems/positive-temperature-hard-sphere-condensation2026-10-22https://aiproofwatch.com/problems/prime-degree-torus-packet-equidistribution2026-10-22https://aiproofwatch.com/problems/dyadic-pro-modularity2026-10-22https://aiproofwatch.com/problems/lagrangian-fibration-projective-base2026-10-22https://aiproofwatch.com/problems/quasi-isometric-virtually-polycyclic-recognition2026-10-22https://aiproofwatch.com/problems/random-bond-ising-quenched-sle32026-10-22https://aiproofwatch.com/problems/real-sentences-counting-hierarchy2026-10-22https://aiproofwatch.com/problems/totient-count-regular-variation2026-10-22https://aiproofwatch.com/problems/courtade-kumar-binary-information-contraction2026-10-22https://aiproofwatch.com/problems/yau-smooth-surface-nodal-upper-bound2026-10-22https://aiproofwatch.com/problems/sharp-one-third-brenier-map-stability2026-10-22https://aiproofwatch.com/problems/single-fold-diophantine-representations2026-10-22https://aiproofwatch.com/problems/quartic-salem-bernoulli-convolution-singularity2026-10-22https://aiproofwatch.com/problems/defocusing-nls-stable-blowup-torus2026-10-22https://aiproofwatch.com/problems/three-dimensional-ball-evans-approximation2026-10-22https://aiproofwatch.com/problems/strongly-rational-voa-strong-locality2026-10-22https://aiproofwatch.com/problems/subpolynomial-lp-dimension-reduction2026-10-22https://aiproofwatch.com/problems/van-der-waerden-superexponential-lower-bound2026-10-22https://aiproofwatch.com/problems/semialgebraic-bounded-domain-symmetry2026-10-22https://aiproofwatch.com/problems/donaldson-taming-implies-compatibility-four-manifolds2026-10-22https://aiproofwatch.com/problems/spin-even-tensor-saturation2026-10-22https://aiproofwatch.com/problems/generalized-lc-kahler-fourfold-flip-termination2026-10-22https://aiproofwatch.com/problems/every-complex-k3-is-oka2026-10-22https://aiproofwatch.com/problems/rokhlin-multiple-mixing-one-transformation2026-10-22https://aiproofwatch.com/problems/artin-group-kpi1-conjecture2026-10-22https://aiproofwatch.com/problems/campana-peternell-fano-sixfolds2026-10-22https://aiproofwatch.com/problems/euclidean-steinitz-bergstrom-bound2026-10-22https://aiproofwatch.com/problems/global-spherical-shell-class-vii2026-10-22https://aiproofwatch.com/problems/harary-hill-complete-graph-crossing-number2026-10-22https://aiproofwatch.com/problems/hovey-strickland-local-thick-ideals2026-10-22https://aiproofwatch.com/problems/kirchberg-rordam-character-criterion2026-10-22https://aiproofwatch.com/problems/margulis-platonov-function-fields2026-10-22https://aiproofwatch.com/problems/mezard-parisi-diluted-spin-glass-formula2026-10-22https://aiproofwatch.com/problems/solomon-yau-least-volume-hypersurfaces2026-10-22https://aiproofwatch.com/problems/abelian-zilber-pink2026-10-22https://aiproofwatch.com/problems/ising-random-perceptron-all-density-free-energy2026-10-22https://aiproofwatch.com/problems/polynomial-threshold-average-sensitivity-bound2026-10-22https://aiproofwatch.com/problems/blockwise-alperin-weight-conjecture2026-10-22https://aiproofwatch.com/problems/sphere-bounded-data-fourier-restriction2026-10-22https://aiproofwatch.com/problems/circulant-hadamard-orders-one-four2026-10-22https://aiproofwatch.com/problems/critical-xy-logarithmic-correlation-correction2026-10-22https://aiproofwatch.com/problems/cubic-three-torus-isoperimetric-profile2026-10-22https://aiproofwatch.com/problems/erdos-similarity-dyadic-sequence2026-10-22https://aiproofwatch.com/problems/entropy-photon-number-inequality2026-10-22https://aiproofwatch.com/problems/self-similar-measure-entropy-rate-dimension2026-10-22https://aiproofwatch.com/problems/cycle-clique-ramsey-exact-formula2026-10-22https://aiproofwatch.com/problems/four-state-potts-exact-tree-reconstruction-threshold2026-10-22https://aiproofwatch.com/problems/generalized-mukai-conjecture2026-10-22https://aiproofwatch.com/problems/higher-dimensional-erdos-distinct-distances2026-10-22https://aiproofwatch.com/problems/lex-plus-powers-betti-char-zero2026-10-22https://aiproofwatch.com/problems/logarithmic-brunn-minkowski-symmetric2026-10-22https://aiproofwatch.com/problems/metric-blaschke-classification2026-10-22https://aiproofwatch.com/problems/ordinary-double-point-volume-gap2026-10-22https://aiproofwatch.com/problems/planar-schrodinger-sobolev-endpoint2026-10-22https://aiproofwatch.com/problems/prime-three-kervaire-family2026-10-22https://aiproofwatch.com/problems/purely-cosmetic-knot-surgery2026-10-22https://aiproofwatch.com/problems/quillen-poset-rational-homology2026-10-22https://aiproofwatch.com/problems/second-kahn-kalai-expectation-threshold2026-10-22https://aiproofwatch.com/problems/free-ising-tree-iid-factor-threshold2026-10-22https://aiproofwatch.com/problems/simplex-isotropic-constant-sharp-bound2026-10-22https://aiproofwatch.com/problems/symmetric-bernoulli-singularity-sharp-rate2026-10-22https://aiproofwatch.com/problems/random-triangle-removal-sharp-terminal-leave2026-10-22https://aiproofwatch.com/problems/strong-thin-spanning-tree2026-10-22https://aiproofwatch.com/problems/subcritical-henon-lane-emden-nonexistence2026-10-22https://aiproofwatch.com/problems/maximal-triangular-hilbert-symmetric-point2026-10-22https://aiproofwatch.com/problems/three-dimensional-bochner-riesz-strict-range2026-10-22https://aiproofwatch.com/problems/bfss-unique-threshold-bound-state2026-10-22https://aiproofwatch.com/problems/weak-pinned-planar-distinct-distances2026-10-22https://aiproofwatch.com/problems/l1-bass-conjecture-all-discrete-groups2026-10-22https://aiproofwatch.com/problems/qaoa-sk-thermodynamic-parisi-optimality2026-10-22https://aiproofwatch.com/problems/entangled-game-threshold-parallel-repetition2026-10-22https://aiproofwatch.com/problems/mu-constant-surface-singularity-triviality2026-10-22https://aiproofwatch.com/problems/trace-cone-razak-jacelon-classification2026-10-22https://aiproofwatch.com/problems/virasoro-constraints-projective-bundles2026-10-22https://aiproofwatch.com/problems/stable-morse-hamiltonian-deficit-dimension222026-10-22https://aiproofwatch.com/problems/gopalan-servedio-square-root-degree-counterexample2026-10-22https://aiproofwatch.com/problems/lipschitz-direction-hilbert-transform-l22026-10-22https://aiproofwatch.com/problems/infinity-harmonic-uniform-interior-c1alpha2026-10-22https://aiproofwatch.com/problems/spectral-scalar-curvature-uniform-width2026-10-22https://aiproofwatch.com/problems/bogomolov-pop-reconstruction-uniqueness2026-10-22https://aiproofwatch.com/problems/smooth-isotropic-elasticity-inverse-uniqueness2026-10-22https://aiproofwatch.com/problems/first-time-surface-mcf-tangent-uniqueness2026-10-22https://aiproofwatch.com/problems/critical-sk-quench-autocorrelation-universality2026-10-22https://aiproofwatch.com/problems/triangular-lattice-universal-energy-optimality2026-10-22https://aiproofwatch.com/problems/strong-kadison-kastler-stability2026-10-22https://aiproofwatch.com/problems/universal-tensor-squares-symmetric-groups2026-10-22https://aiproofwatch.com/problems/bounded-hochschild-cohomology-vanishing2026-10-22https://aiproofwatch.com/problems/campana-special-kahler-virtual-abelianity2026-10-22https://aiproofwatch.com/problems/irrational-triangle-billiards-weak-mixing2026-10-22https://aiproofwatch.com/problems/weak-implies-strong-normalization-pure-type-systems2026-10-22https://aiproofwatch.com/problems/einstein-four-manifold-zero-plane-rigidity2026-10-22https://aiproofwatch.com/problems/mahler-general2026-10-22https://aiproofwatch.com/problems/navier-stokes-forced-blowup2026-10-22https://aiproofwatch.com/problems/hadwiger-counterexample2026-10-22https://aiproofwatch.com/problems/exact-fourier-power-saving2026-10-22https://aiproofwatch.com/problems/euler-unforced-blowup2026-10-22https://aiproofwatch.com/problems/openai-problem-1102026-10-22https://aiproofwatch.com/problems/openai-problem-0072026-10-22https://aiproofwatch.com/problems/openai-problem-0132026-10-22https://aiproofwatch.com/problems/p-versus-np2026-10-11T10:00:55.403Zhttps://aiproofwatch.com/problems/hexagon-packing2026-10-11T10:00:55.814Zhttps://aiproofwatch.com/problems/squares-in-circle2026-10-22https://aiproofwatch.com/problems/jamming-exponent-identity2026-10-22https://aiproofwatch.com/problems/heterotic-yukawa-couplings2026-10-22https://aiproofwatch.com/problems/openai-problem-0892026-10-22https://aiproofwatch.com/problems/positive-curvature-smooth-seven-spheres2026-10-16T20:44:12.619Zhttps://aiproofwatch.com/problems/lamplighter-tree-return-sharp-asymptotic2026-10-22https://aiproofwatch.com/problems/resolution-parities2026-10-22https://aiproofwatch.com/problems/anderson-weak-quasicomplete-counterexample2026-10-22https://aiproofwatch.com/problems/openai-problem-2412026-10-22https://aiproofwatch.com/problems/openai-problem-1932026-10-22https://aiproofwatch.com/problems/openai-problem-1732026-10-22https://aiproofwatch.com/problems/openai-problem-2402026-10-22https://aiproofwatch.com/problems/openai-problem-0252026-10-22https://aiproofwatch.com/problems/openai-problem-1282026-10-22https://aiproofwatch.com/problems/openai-problem-0922026-10-22https://aiproofwatch.com/problems/single-minus-gluons2026-10-22https://aiproofwatch.com/problems/single-minus-gravitons2026-10-13T09:53:27.072Zhttps://aiproofwatch.com/problems/openai-problem-3332026-10-22https://aiproofwatch.com/problems/snaky-achievement2026-10-22https://aiproofwatch.com/problems/shastry-sutherland-spin-liquid2026-10-22https://aiproofwatch.com/problems/stable-forking-counterexample2026-10-22https://aiproofwatch.com/problems/openai-problem-1042026-10-22https://aiproofwatch.com/problems/openai-problem-3692026-10-22https://aiproofwatch.com/problems/alphageometry-imo-ag-302026-10-22https://aiproofwatch.com/problems/openai-problem-0022026-10-22https://aiproofwatch.com/problems/openai-problem-0082026-10-22https://aiproofwatch.com/problems/erdos-unit-distance2026-10-22https://aiproofwatch.com/problems/openai-problem-0732026-10-22https://aiproofwatch.com/problems/openai-problem-0282026-10-22https://aiproofwatch.com/problems/openai-problem-3042026-10-22https://aiproofwatch.com/problems/jacobian-conjecture2026-10-11T10:00:54.885Zhttps://aiproofwatch.com/problems/openai-problem-2442026-10-22https://aiproofwatch.com/problems/ramsey-r-5-52026-10-11T10:00:55.377Zhttps://aiproofwatch.com/problems/riemann-hypothesis2026-10-22T07:31:08.818Zhttps://aiproofwatch.com/problems/openai-problem-1022026-10-22https://aiproofwatch.com/problems/openai-problem-0962026-10-22https://aiproofwatch.com/problems/openai-problem-1582026-10-22https://aiproofwatch.com/problems/openai-problem-3252026-10-22https://aiproofwatch.com/problems/committee-election-core2026-10-22https://aiproofwatch.com/problems/deterministic-k-server2026-10-22https://aiproofwatch.com/problems/openai-problem-2602026-10-22https://aiproofwatch.com/problems/openai-problem-2682026-10-22https://aiproofwatch.com/problems/openai-problem-3152026-10-22https://aiproofwatch.com/problems/openai-problem-2872026-10-22https://aiproofwatch.com/problems/openai-problem-0172026-10-22https://aiproofwatch.com/problems/kissing-number-112026-10-22https://aiproofwatch.com/problems/openai-problem-1072026-10-22T07:31:13.271Zhttps://aiproofwatch.com/problems/pinwheel-kernel2026-10-22https://aiproofwatch.com/problems/abelian-envelope-quotient2026-10-22https://aiproofwatch.com/problems/openai-problem-0322026-10-22https://aiproofwatch.com/problems/openai-problem-0872026-10-22https://aiproofwatch.com/problems/openai-problem-0742026-10-22https://aiproofwatch.com/problems/openai-problem-1432026-10-22https://aiproofwatch.com/problems/openai-problem-0222026-10-22https://aiproofwatch.com/problems/openai-problem-1382026-10-22https://aiproofwatch.com/problems/openai-problem-3382026-10-22https://aiproofwatch.com/problems/openai-problem-0032026-10-22T07:31:08.818Zhttps://aiproofwatch.com/updates/pointwise-convergence-of-ergodic-averages-for-two-commuting-transforma-fdcf0a012026-10-22https://aiproofwatch.com/updates/at-the-limits-of-computability-steps-towards-autonomous-ai-discovery-o-a61848c02026-10-22https://aiproofwatch.com/updates/ai-assisted-conditional-bounds-for-the-goldbach-exceptional-set-9abe0c1e2026-10-22https://aiproofwatch.com/updates/cureton-thorner-report-a-uniform-zero-free-half-plane-for-dedekind-zet-08a1acdc2026-10-22https://aiproofwatch.com/updates/ai-assisted-counterexamples-to-a-generalized-lagrangian-spectral-dista-c9f386d32026-10-22https://aiproofwatch.com/updates/every-two-coloring-of-the-plane-misses-at-most-one-triangle-which-is-e-cc11484e2026-10-22https://aiproofwatch.com/updates/lau-axiomprover-make-positive-density-collatz-convergence-bounds-expli-2b8588282026-10-22https://aiproofwatch.com/updates/anthropic-reports-claude-reconstructs-nist-elliptic-curve-seed-generat-398f56712026-10-22https://aiproofwatch.com/updates/vu-le-reports-uniqueness-and-stability-of-gerver-s-moving-sofa-f1862d2f2026-10-22https://aiproofwatch.com/updates/ai-led-proof-of-r-nyi-and-tsallis-entropy-monotonicity-for-bernoulli-s-9e0e8b062026-10-22https://aiproofwatch.com/updates/vu-le-reports-optimality-and-uniqueness-of-the-ambidextrous-sofa-4ac1ab522026-10-22https://aiproofwatch.com/updates/proudfoot-perrault-reports-a-laser-method-exponent-below-2-3710449-5bd8957f2026-10-22https://aiproofwatch.com/updates/strinz-claude-reports-m-bius-invariance-of-spherical-ramsey-sets-482f4c362026-10-22https://aiproofwatch.com/updates/neural-wavefunction-calculations-predict-a-honeycomb-electron-hole-cry-18b22c582026-10-22https://aiproofwatch.com/updates/monod-thom-report-lie-groups-are-countably-representable-ad24ae142026-10-22https://aiproofwatch.com/updates/llm-discovered-quantum-circuits-reduce-toffoli-and-qubit-costs-e24b2b3d2026-10-22https://aiproofwatch.com/updates/ai-assisted-sharp-support-criterion-for-variance-proxy-sub-gaussian-la-f61cb05c2026-10-22https://aiproofwatch.com/updates/morris-claude-reports-snaky-is-a-first-player-win-on-15-15-c708a5032026-10-22https://aiproofwatch.com/updates/proof-of-the-erd-s-szemer-di-sunflower-conjecture-0b07bda72026-10-22T07:31:13.239Zhttps://aiproofwatch.com/updates/ai-assisted-gaussian-free-energy-fluctuations-in-the-high-temperature--8546e1fc2026-10-22https://aiproofwatch.com/updates/openai-math-1092026-10-22T07:31:13.287Zhttps://aiproofwatch.com/updates/formally-verified-autoresearch-for-analyzing-the-expressivity-of-multi-4971086a2026-10-22https://aiproofwatch.com/updates/aristotle-assisted-classification-of-negative-three-element-postage-st-95fb90ac2026-10-22https://aiproofwatch.com/updates/neural-wavefunction-calculations-support-non-abelian-order-with-strong-c2d9f94a2026-10-22https://aiproofwatch.com/updates/openai-math-1072026-10-22T07:31:13.271Zhttps://aiproofwatch.com/updates/revisiting-separators-in-string-graphs-region-intersection-graphs-and--0fcfd8722026-10-22https://aiproofwatch.com/updates/openai-math-0252026-10-22https://aiproofwatch.com/updates/alphaevolve-kissing-20252026-10-22https://aiproofwatch.com/updates/alphaproof-imo-20242026-10-22https://aiproofwatch.com/updates/alphatensor-20222026-10-22https://aiproofwatch.com/updates/openai-reports-navier-stokes-blowup-with-smooth-forcing-f1d78f0c2026-10-22https://aiproofwatch.com/updates/the-normal-order-of-the-number-of-iterations-of-euler-s-function-0ef8db602026-10-22https://aiproofwatch.com/updates/erd-s-problem-111-bipartizing-finite-subgraphs-of-uncountably-chromati-bba279562026-10-22https://aiproofwatch.com/updates/exact-storage-repair-bandwidth-tradeoffs-for-6-5-5-and-7-6-6-exact-rep-c96078df2026-10-22https://aiproofwatch.com/updates/normalizing-flow-study-tracks-tricriticality-in-a-soft-spin-blume-cape-31efeb0e2026-10-22https://aiproofwatch.com/updates/every-t-perfect-graph-is-50-colorable-17acf0352026-10-22T07:31:13.258Zhttps://aiproofwatch.com/updates/erdos-728-ai-proof-20262026-10-22https://aiproofwatch.com/updates/persistent-failure-of-euclidean-quartic-sos-exactness-9efaafbe2026-10-22https://aiproofwatch.com/updates/funsearch-bin-packing-20232026-10-22https://aiproofwatch.com/updates/funsearch-cap-sets-20232026-10-22https://aiproofwatch.com/updates/openai-math-0052026-10-22https://aiproofwatch.com/updates/openai-math-0172026-10-22https://aiproofwatch.com/updates/openai-math-0212026-10-22https://aiproofwatch.com/updates/openai-math-0282026-10-22https://aiproofwatch.com/updates/openai-math-0892026-10-22https://aiproofwatch.com/updates/openai-math-0922026-10-22https://aiproofwatch.com/updates/openai-math-0992026-10-22https://aiproofwatch.com/updates/openai-math-1042026-10-22https://aiproofwatch.com/updates/openai-math-1182026-10-22https://aiproofwatch.com/updates/openai-math-1202026-10-22https://aiproofwatch.com/updates/openai-math-1212026-10-22https://aiproofwatch.com/updates/openai-math-1282026-10-22https://aiproofwatch.com/updates/openai-math-1382026-10-22https://aiproofwatch.com/updates/openai-math-1562026-10-22https://aiproofwatch.com/updates/openai-math-1582026-10-22https://aiproofwatch.com/updates/openai-math-1702026-10-22https://aiproofwatch.com/updates/openai-significance-0012026-10-22https://aiproofwatch.com/updates/openai-significance-0022026-10-22https://aiproofwatch.com/updates/openai-significance-0042026-10-22https://aiproofwatch.com/updates/openai-significance-0062026-10-22https://aiproofwatch.com/updates/openai-significance-0072026-10-22https://aiproofwatch.com/updates/openai-significance-0082026-10-22https://aiproofwatch.com/updates/openai-significance-0132026-10-22https://aiproofwatch.com/updates/openai-significance-0222026-10-22https://aiproofwatch.com/updates/openai-significance-0292026-10-22https://aiproofwatch.com/updates/openai-significance-0302026-10-22https://aiproofwatch.com/updates/openai-significance-0382026-10-22https://aiproofwatch.com/updates/openai-significance-0392026-10-22https://aiproofwatch.com/updates/openai-significance-0722026-10-22https://aiproofwatch.com/updates/openai-significance-0732026-10-22https://aiproofwatch.com/updates/openai-significance-0742026-10-22https://aiproofwatch.com/updates/openai-significance-0872026-10-22https://aiproofwatch.com/updates/openai-significance-0962026-10-22https://aiproofwatch.com/updates/openai-significance-1022026-10-22https://aiproofwatch.com/updates/openai-significance-1032026-10-22https://aiproofwatch.com/updates/openai-significance-1102026-10-22https://aiproofwatch.com/updates/openai-significance-1422026-10-22https://aiproofwatch.com/updates/openai-significance-1592026-10-22https://aiproofwatch.com/updates/openai-significance-1612026-10-22https://aiproofwatch.com/updates/openai-significance-1732026-10-22https://aiproofwatch.com/updates/openai-significance-1962026-10-22https://aiproofwatch.com/updates/openai-significance-1972026-10-22https://aiproofwatch.com/updates/openai-significance-1982026-10-22https://aiproofwatch.com/updates/openai-significance-2172026-10-22https://aiproofwatch.com/updates/openai-significance-2412026-10-22https://aiproofwatch.com/updates/openai-significance-2442026-10-22https://aiproofwatch.com/updates/openai-significance-2472026-10-22https://aiproofwatch.com/updates/openai-significance-2482026-10-22https://aiproofwatch.com/updates/openai-significance-2612026-10-22https://aiproofwatch.com/updates/openai-significance-2662026-10-22https://aiproofwatch.com/updates/openai-significance-2682026-10-22https://aiproofwatch.com/updates/openai-significance-2882026-10-22https://aiproofwatch.com/updates/openai-significance-3152026-10-22https://aiproofwatch.com/updates/openai-significance-3372026-10-22https://aiproofwatch.com/updates/openai-significance-3382026-10-22https://aiproofwatch.com/updates/openai-significance-3692026-10-22https://aiproofwatch.com/updates/ai-reported-prime-support-criterion-for-stoneham-normality-0031b8022026-10-22https://aiproofwatch.com/updates/openai-reports-a-nonspectrahedral-hyperbolicity-cone-0053aea02026-10-22https://aiproofwatch.com/updates/kourovka-problem-3-46-exactly-two-maximal-locally-soluble-normal-subgr-008d6eda2026-10-22https://aiproofwatch.com/updates/gemini-assisted-lemmas-close-gaps-in-a-diagonal-cubic-proof-00d339ae2026-10-22https://aiproofwatch.com/updates/a-17-terminal-flow-instance-raises-a-general-congestion-lower-bound-0106e1fd2026-10-22https://aiproofwatch.com/updates/kourovka-problem-18-50-every-permitted-count-of-permuted-products-0116d2b22026-10-22https://aiproofwatch.com/updates/chatgpt-origin-shifted-templates-improve-schur-number-bounds-013eb2e72026-10-22https://aiproofwatch.com/updates/openai-reports-approximation-paving-for-every-maximal-abelian-subalgeb-01bc7cd02026-10-22https://aiproofwatch.com/updates/openai-reports-the-exact-o-4-lattice-transfer-gap-asymptotic-022c609e2026-10-22https://aiproofwatch.com/updates/openai-reports-jamming-exponents-for-the-negative-spherical-perceptron-0230c5362026-10-22https://aiproofwatch.com/updates/ai-led-work-bounds-a-union-closed-entropy-method-027072d22026-10-22https://aiproofwatch.com/updates/gpt-assisted-lean-proof-settles-the-planar-case-of-a-dual-midpoint-con-02d9670a2026-10-22https://aiproofwatch.com/updates/aletheia-solves-erd-s-1051-with-human-and-lean-checks-0359dc762026-10-22https://aiproofwatch.com/updates/openai-reports-a-group-without-fixed-price-03ababf62026-10-22https://aiproofwatch.com/updates/openai-reports-donovan-s-conjecture-over-algebraically-closed-fields-03ac756b2026-10-22https://aiproofwatch.com/updates/openai-reports-a-complex-affine-space-cancellation-counterexample-03ea4efe2026-10-22https://aiproofwatch.com/updates/openai-reports-virtual-specialness-of-hyperbolic-one-relator-groups-042f8c672026-10-22https://aiproofwatch.com/updates/openai-reports-infinitely-many-closed-geodesics-on-every-riemannian-sp-043252f12026-10-22https://aiproofwatch.com/updates/ai-found-differential-poset-refutes-stanley-s-question-044edb862026-10-22https://aiproofwatch.com/updates/ai-proof-extends-weakly-compact-factorization-047841d02026-10-22https://aiproofwatch.com/updates/ai-developed-four-generator-family-has-undecidable-triviality-04d478132026-10-22https://aiproofwatch.com/updates/model-generated-strategy-yields-quantitative-stable-phase-retrieval-04e3f60a2026-10-22https://aiproofwatch.com/updates/openai-claims-virasoro-constraints-for-complete-intersections-04f30af12026-10-22https://aiproofwatch.com/updates/ai-led-lean-proof-settles-a-seven-vertex-unit-distance-case-051879282026-10-22https://aiproofwatch.com/updates/chatgpt-counterexample-overturns-asm-interval-topology-conjecture-056c63ef2026-10-22https://aiproofwatch.com/updates/openai-reports-a-uniform-influence-bound-for-hypergraph-properties-05ceadf02026-10-22https://aiproofwatch.com/updates/claude-assisted-resummation-of-the-c-parameter-sudakov-shoulder-060a9d912026-10-22https://aiproofwatch.com/updates/gpt-strategy-yields-an-alternative-codimension-two-volume-growth-proof-065c29e92026-10-22https://aiproofwatch.com/updates/openai-reports-strong-locality-for-strongly-rational-unitary-vertex-al-074c2e002026-10-22https://aiproofwatch.com/updates/openai-reports-the-critical-xy-logarithmic-correlation-correction-0764e9af2026-10-22https://aiproofwatch.com/updates/openai-reports-a-nuclear-norm-ultrapower-embedding-obstruction-077260632026-10-22https://aiproofwatch.com/updates/openai-reports-a-three-manifold-without-conjugate-points-or-a-nonposit-07c3ee3e2026-10-22https://aiproofwatch.com/updates/openai-reports-an-auslander-reiten-counterexample-for-artin-algebras-07e2e0172026-10-22https://aiproofwatch.com/updates/chatgpt-origin-construction-gives-an-explicit-non-mf-group-07ec127e2026-10-22https://aiproofwatch.com/updates/openai-reports-a-proof-of-barnette-s-conjecture-084bc74a2026-10-22https://aiproofwatch.com/updates/openai-reports-a-scalar-direct-finiteness-counterexample-086c93c42026-10-22https://aiproofwatch.com/updates/ai-found-counterexample-to-the-mihail-vazirani-conjecture-08749a0b2026-10-22https://aiproofwatch.com/updates/aletheia-example-separates-transfinite-diameter-from-f-0876702f2026-10-22https://aiproofwatch.com/updates/claude-built-proof-expands-a-planar-ramsey-class-0894f0c02026-10-22https://aiproofwatch.com/updates/ma-and-chen-bound-prescribed-step-gradient-descent-091d5a2a2026-10-22https://aiproofwatch.com/updates/ai-centered-lean-proof-classifies-base-three-partition-counts-093d5e8a2026-10-22https://aiproofwatch.com/updates/ai-found-certificate-supports-a-tetrahedron-tur-n-proof-09bb87822026-10-22https://aiproofwatch.com/updates/openai-claims-a-charged-spacetime-penrose-upper-area-inequality-09e7c2412026-10-22https://aiproofwatch.com/updates/codex-reports-all-three-thue-morse-first-occurrence-formulas-09f620df2026-10-22https://aiproofwatch.com/updates/axiomprover-reduction-makes-spin-parity-formulas-unconditional-0ad0d5812026-10-22https://aiproofwatch.com/updates/ai-discovered-attack-on-perfectly-complete-quantum-key-agreement-0b06363e2026-10-22https://aiproofwatch.com/updates/claude-computes-a-nine-loop-six-particle-amplitude-0be162a22026-10-22https://aiproofwatch.com/updates/ai-contributed-lemmas-help-prove-square-grid-tree-maximality-0be9fd3f2026-10-22https://aiproofwatch.com/updates/chatgpt-found-lattice-sets-separate-rectangle-and-triangle-counts-0c3c4e362026-10-22https://aiproofwatch.com/updates/openai-reports-eventual-maximal-seshadri-constants-on-complex-surfaces-0d2b4af42026-10-22https://aiproofwatch.com/updates/ai-suggested-transfer-method-improves-the-cubic-lattice-dimer-bound-0de69fa62026-10-22https://aiproofwatch.com/updates/ai-found-residue-sets-improve-a-polynomial-free-lower-bound-0e7ea9182026-10-22https://aiproofwatch.com/updates/ai-reported-low-temperature-order-in-the-quantum-heisenberg-ferromagne-0f1b7c0a2026-10-22https://aiproofwatch.com/updates/codex-derived-rule-lowers-randomized-metric-distortion-to-2-1441-0f87245e2026-10-22https://aiproofwatch.com/updates/authors-report-a-chatgpt-seeded-counterexample-to-rota-s-flat-unimodal-0ff4a2b52026-10-22https://aiproofwatch.com/updates/openai-reports-a-qac-parity-lower-bound-0ffc1c5a2026-10-22https://aiproofwatch.com/updates/gpt-5-6-proposes-erd-s-390-second-order-constant-1000e8672026-10-22https://aiproofwatch.com/updates/openai-reports-the-weak-pinned-planar-distance-theorem-1075e9f72026-10-22https://aiproofwatch.com/updates/openai-reports-the-three-dimensional-bochner-riesz-conjecture-108019da2026-10-22https://aiproofwatch.com/updates/ai-proof-of-gallardo-s-all-ones-polynomial-equivalence-10c075af2026-10-22https://aiproofwatch.com/updates/ai-developed-proof-gives-the-sharp-liquid-drop-threshold-10c8b3cf2026-10-22https://aiproofwatch.com/updates/openai-reports-uniform-width-from-spectral-scalar-curvature-10cbe0032026-10-22https://aiproofwatch.com/updates/openai-reports-counterexamples-to-the-colin-de-verdi-re-chromatic-conj-10ec71922026-10-22https://aiproofwatch.com/updates/astra-reports-n-log-n-permanent-formula-lower-bounds-118aab1a2026-10-22https://aiproofwatch.com/updates/ai-assisted-argument-rules-out-a-topos-representation-of-f-11a554cc2026-10-22https://aiproofwatch.com/updates/gemini-deep-think-solves-five-imo-2025-problems-11b38ea12026-10-22https://aiproofwatch.com/updates/ai-found-reduction-makes-three-voter-kemeny-ranking-np-hard-11cf1cb62026-10-22https://aiproofwatch.com/updates/ai-proposed-method-gives-rapid-mixing-at-girth-five-12884d912026-10-22https://aiproofwatch.com/updates/openai-reports-boltzmann-nonuniqueness-with-exact-local-conservation-12b088a92026-10-22https://aiproofwatch.com/updates/openai-reports-critical-honeycomb-polygon-diameter-tail-exponents-12b3e6922026-10-22https://aiproofwatch.com/updates/openai-reports-a-nearby-lagrangian-counterexample-1333bb182026-10-22https://aiproofwatch.com/updates/aristotle-formalizes-five-imo-2025-solutions-137776eb2026-10-22https://aiproofwatch.com/updates/openai-reports-a-proof-of-saxl-s-staircase-conjecture-13cc347f2026-10-22https://aiproofwatch.com/updates/tsiokos-reports-chair44-forces-nonperiodic-tilings-in-three-dimensions-140150d92026-10-22https://aiproofwatch.com/updates/openai-reports-diagonal-fourier-restriction-for-positively-curved-surf-141657f22026-10-22https://aiproofwatch.com/updates/openai-reports-the-asymptotic-average-sensitivity-bound-for-polynomial-142653692026-10-22https://aiproofwatch.com/updates/openai-reports-topological-triviality-for-mu-constant-surface-singular-1457c8c82026-10-22https://aiproofwatch.com/updates/openai-reports-a-counterexample-to-tachikawa-s-second-conjecture-1458d5d12026-10-22https://aiproofwatch.com/updates/astra-finds-a-five-generator-semigroup-family-with-exact-betti-count-1504b7ed2026-10-22https://aiproofwatch.com/updates/openai-reports-regular-variation-of-the-number-of-totient-values-151078d02026-10-22https://aiproofwatch.com/updates/ai-proof-establishes-written-on-the-wall-ii-graph-conjecture-2-1566aa0b2026-10-22https://aiproofwatch.com/updates/single-minus-graviton-tree-amplitudes-are-nonzero-15b766682026-10-22https://aiproofwatch.com/updates/openai-reports-curtis-s-stable-hurewicz-conjecture-160561be2026-10-22https://aiproofwatch.com/updates/openai-reports-liouville-brownian-limits-of-walks-on-critical-fk-ising-163128552026-10-22https://aiproofwatch.com/updates/openai-reports-thomason-model-structures-in-all-strict-higher-dimensio-1829aeda2026-10-22https://aiproofwatch.com/updates/ai-agents-report-a-formal-hilbert-smith-proof-via-signature-tails-182bc56d2026-10-22https://aiproofwatch.com/updates/agent-report-rules-out-three-diagonal-quantum-graph-cases-184c37eb2026-10-22https://aiproofwatch.com/updates/ai-found-graph-refutes-the-eternal-domination-conjecture-18587f532026-10-22https://aiproofwatch.com/updates/openai-reports-vanishing-of-higher-bounded-hochschild-cohomology-188f10382026-10-22https://aiproofwatch.com/updates/openai-reports-the-artin-parabolic-intersection-conjecture-18a907112026-10-22https://aiproofwatch.com/updates/openai-reports-the-lex-plus-powers-betti-theorem-in-characteristic-zer-19289c8a2026-10-22https://aiproofwatch.com/updates/openai-reports-the-hovey-strickland-thick-ideal-classification-194117d02026-10-22https://aiproofwatch.com/updates/openai-reports-arbitrary-constant-np-hardness-for-uniform-sparsest-cut-19a303482026-10-22https://aiproofwatch.com/updates/codex-reports-the-8-3-plus-binary-morphism-length-set-1a0b63502026-10-22https://aiproofwatch.com/updates/openai-reports-transfer-of-virasoro-constraints-through-projectivizati-1a6ca4342026-10-22https://aiproofwatch.com/updates/openai-reports-smooth-anisotropic-recovery-from-one-boundary-patch-1a7a6f1b2026-10-22https://aiproofwatch.com/updates/openai-reports-quenched-sle-convergence-for-weak-random-bond-ising-int-1aa5a6552026-10-22https://aiproofwatch.com/updates/gpt-assisted-paper-reports-a-diagonalizability-predictor-1b9f5d792026-10-22https://aiproofwatch.com/updates/ai-found-proof-identifies-sop-with-sop-1bc6b5bc2026-10-22https://aiproofwatch.com/updates/kourovka-problem-21-24-finite-group-cograph-power-graphs-are-chordal-1c1faec02026-10-22https://aiproofwatch.com/updates/openai-reports-zero-plane-rigidity-for-einstein-four-manifolds-1c234ffd2026-10-22https://aiproofwatch.com/updates/ai-origin-tate-domain-examples-answer-a-sheafiness-question-1c35baa52026-10-22https://aiproofwatch.com/updates/openai-reports-an-iid-factor-for-the-free-uniform-spanning-forest-1cd953e32026-10-22https://aiproofwatch.com/updates/ai-led-work-reports-exact-normal-orders-for-erd-s-696-1d467c252026-10-22https://aiproofwatch.com/updates/model-assisted-lemma-improves-low-dimensional-max-cut-rounding-1d691a312026-10-22https://aiproofwatch.com/updates/gpt-found-convex-body-refutes-lassak-s-area-bound-1da094ed2026-10-22https://aiproofwatch.com/updates/an-exact-dimension-36-cohn-elkies-lp-certificate-1dca38482026-10-22https://aiproofwatch.com/updates/chatgpt-assisted-revision-reports-planar-mumford-shah-interior-regular-1e18263e2026-10-22https://aiproofwatch.com/updates/openai-reports-the-clique-free-independence-bound-1e2141832026-10-22https://aiproofwatch.com/updates/gpt-assisted-bound-settles-erd-s-953-exponent-1e5ecffc2026-10-22https://aiproofwatch.com/updates/openai-reports-temperedness-at-ramified-exceptional-group-places-1e7e03c22026-10-22https://aiproofwatch.com/updates/openai-reports-petty-s-projection-volume-inequality-in-dimensions-at-l-1f5202112026-10-22https://aiproofwatch.com/updates/gemini-ideas-support-polynomial-time-thiele-voting-on-voter-intervals-205b2de42026-10-22https://aiproofwatch.com/updates/openai-reports-a-nonperiodic-translational-tile-in-dimension-three-2062597c2026-10-22https://aiproofwatch.com/updates/global-h-lder-estimates-for-linearized-monge-amp-re-equations-in-diver-20ac7b862026-10-22https://aiproofwatch.com/updates/ai-devised-descent-proves-graph-brill-noether-existence-through-genus--20ed91f02026-10-22https://aiproofwatch.com/updates/openai-reports-sharp-nodal-length-bounds-on-smooth-surfaces-211288d42026-10-22https://aiproofwatch.com/updates/alphageometry-solves-25-translated-olympiad-geometry-problems-219600922026-10-22https://aiproofwatch.com/updates/codex-reports-equal-capacity-greedy-matching-dominance-21aa5ff02026-10-22https://aiproofwatch.com/updates/openai-reports-an-infinite-family-counterexample-to-connes-rigidity-21b256dd2026-10-22https://aiproofwatch.com/updates/ai-origin-idea-closes-the-exponent-gap-in-erd-s-problem-131-2241db402026-10-22https://aiproofwatch.com/updates/openai-reports-the-bass-conjecture-for-every-discrete-group-224484772026-10-22https://aiproofwatch.com/updates/ai-assisted-certificates-settle-two-fr-berg-cases-22bc32cc2026-10-22https://aiproofwatch.com/updates/ai-assisted-lean-proof-resolves-the-factorial-divisor-sum-irrationalit-22d6ae0b2026-10-22https://aiproofwatch.com/updates/rethlas-and-archon-counterexample-to-anderson-s-quasi-completeness-que-232616132026-10-22https://aiproofwatch.com/updates/openai-reports-tensor-saturation-for-even-spin-groups-2349545f2026-10-22https://aiproofwatch.com/updates/rethlas-example-answers-a-koll-r-kov-cs-fiber-question-239188cf2026-10-22https://aiproofwatch.com/updates/an-exact-planar-witness-raises-the-unsplittable-flow-lower-bound-239ba6342026-10-22https://aiproofwatch.com/updates/openai-reports-invariant-projection-counterexamples-for-irrational-rot-23de814e2026-10-22https://aiproofwatch.com/updates/openai-reports-close-separable-c-algebras-without-spatial-conjugacy-254bd66c2026-10-22https://aiproofwatch.com/updates/gpt-origin-proof-resolves-the-ss-rs-gd-inequalities-254c49e22026-10-22https://aiproofwatch.com/updates/ai-reported-liouville-goldbach-theorem-259005692026-10-22https://aiproofwatch.com/updates/openai-reports-a-lean-checked-complex-bass-trace-theorem-25bf3f7d2026-10-22https://aiproofwatch.com/updates/openai-reports-counterexamples-to-metric-entropy-duality-25efa0ae2026-10-22https://aiproofwatch.com/updates/ai-generated-proof-chain-extends-orbifold-remodeling-26142ec22026-10-22https://aiproofwatch.com/updates/claude-assisted-search-finds-the-smallest-tournament-with-capacity-abo-266c13762026-10-22https://aiproofwatch.com/updates/gpt-origin-idea-supports-a-proof-of-norine-s-antipodal-colouring-conje-267b9cd32026-10-22https://aiproofwatch.com/updates/openai-reports-the-generalized-mukai-conjecture-26800f3d2026-10-22https://aiproofwatch.com/updates/chatgpt-found-constructions-challenge-two-geometry-of-numbers-claims-26b780b12026-10-22https://aiproofwatch.com/updates/ai-assisted-charging-proof-settles-an-isolation-lemma-conjecture-26fc7d782026-10-22https://aiproofwatch.com/updates/openai-reports-a-proper-transitive-strongly-closed-operator-algebra-272d435d2026-10-22https://aiproofwatch.com/updates/openai-reports-goe-bulk-universality-at-fixed-graph-degree-2747bc5e2026-10-22https://aiproofwatch.com/updates/openai-reports-a-tensor-classification-of-finite-euclidean-ramsey-sets-27eb751b2026-10-22https://aiproofwatch.com/updates/tars-finds-a-differential-poset-counterexample-for-r-3-2965aca02026-10-22https://aiproofwatch.com/updates/openai-reports-sharp-binary-information-contraction-on-the-discrete-cu-2977a22c2026-10-22https://aiproofwatch.com/updates/openai-gives-an-explicit-exact-hausdorff-gauge-for-chordal-sle-299fb1062026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-establishes-real-rootedness-for-genus-zero-moduli-po-29ae08a62026-10-22https://aiproofwatch.com/updates/openai-reports-critical-percolation-on-quasi-transitive-graphs-research2026-10-22https://aiproofwatch.com/updates/gpt-assisted-proof-establishes-the-full-last-gradient-curve-for-smooth-2b2f3fcf2026-10-22https://aiproofwatch.com/updates/codex-reports-a-sharp-two-size-gasoline-rounding-bound-2bc3d4dd2026-10-22https://aiproofwatch.com/updates/ai-assisted-work-finds-a-latin-square-determinant-parity-criterion-2bd233052026-10-22https://aiproofwatch.com/updates/openai-reports-a-nonresidually-finite-hyperbolic-group-2c24387f2026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-improves-weighted-matroid-intersection-gap-2c28f8062026-10-22https://aiproofwatch.com/updates/openai-reports-the-ordinary-double-point-volume-gap-2c38a85c2026-10-22https://aiproofwatch.com/updates/openai-reports-analytic-caustics-from-a-continuous-billiard-foliation-2c50212e2026-10-22https://aiproofwatch.com/updates/openai-gives-a-distinct-formalized-proof-of-full-sk-support-2c56a35a2026-10-22https://aiproofwatch.com/updates/openai-reports-koll-r-pardon-universal-cover-classification-2c6c70322026-10-22https://aiproofwatch.com/updates/claude-found-two-qubit-state-lacks-an-entanglement-supporting-function-2c6f1b992026-10-22https://aiproofwatch.com/updates/ai-found-construction-reaches-the-sharp-sumset-difference-exponent-2c8f402d2026-10-22https://aiproofwatch.com/updates/openai-reports-pro-modularity-at-the-prime-two-2cad9f902026-10-22https://aiproofwatch.com/updates/a-gauge-invariant-measure-for-lattice-chiral-fermions-2cccaf112026-10-22T07:31:06.065Zhttps://aiproofwatch.com/updates/ai-assisted-work-gives-an-exact-golden-gnomon-escape-path-2cde9cfa2026-10-22https://aiproofwatch.com/updates/openai-reports-cotype-cotype-equivalence-under-approximation-2cfe3c152026-10-22https://aiproofwatch.com/updates/gpt-found-cubic-field-refutes-a-lyapunov-converse-conjecture-2d2ea7372026-10-22https://aiproofwatch.com/updates/chatgpt-found-graph-refutes-monical-s-snp-conjecture-2d47fc822026-10-22https://aiproofwatch.com/updates/openai-reports-a-ppt-channel-whose-square-retains-entanglement-2d77a8c82026-10-22https://aiproofwatch.com/updates/gpt-proof-gives-the-exact-four-sums-constant-in-erd-s-866-2d7e587a2026-10-22https://aiproofwatch.com/updates/ai-led-proof-gives-a-power-saving-for-square-difference-free-sets-2da784122026-10-22https://aiproofwatch.com/updates/openai-reports-a-higher-codimension-riesz-transform-criterion-for-rect-2e4a98692026-10-22https://aiproofwatch.com/updates/gemini-led-proof-classifies-scoped-vlasov-maxwell-landau-equilibria-2e7039292026-10-22https://aiproofwatch.com/updates/claude-derived-proof-gives-exact-permutation-in-tree-depths-2f60491e2026-10-22https://aiproofwatch.com/updates/chatgpt-proof-settles-fill-s-eigenvalue-multiplicity-conjecture-2fbe110b2026-10-22https://aiproofwatch.com/updates/ai-found-divisors-answer-a-surface-movability-question-2fe7b7862026-10-22https://aiproofwatch.com/updates/chatgpt-origin-idea-yields-polynomial-time-node-private-community-reco-3044f8c22026-10-22https://aiproofwatch.com/updates/openai-reports-a-high-arity-counterexample-to-pixton-completeness-304d0a312026-10-22https://aiproofwatch.com/updates/chatgpt-origin-clifford-construction-gives-depth-one-distinctness-306c9b132026-10-22https://aiproofwatch.com/updates/claude-assisted-proof-gives-quantitative-stability-for-optimal-qubit-c-307783bb2026-10-22https://aiproofwatch.com/updates/gpt-found-example-refutes-a-pairwise-independent-correlation-gap-bound-30d756482026-10-22https://aiproofwatch.com/updates/chatgpt-assisted-construction-refutes-smooth-trautman-conjecture-3117ef672026-10-22https://aiproofwatch.com/updates/ai-assisted-walsh-embedding-reaches-linear-row-scaling-312e60662026-10-22https://aiproofwatch.com/updates/ai-proofs-classify-optimal-disk-packings-of-five-to-seven-squares-31b45b902026-10-22https://aiproofwatch.com/updates/rethlas-proofs-resolve-two-brezis-degree-inequality-questions-3203a2182026-10-22https://aiproofwatch.com/updates/openai-reports-termination-of-generalized-log-canonical-k-hler-fourfol-32accc632026-10-22https://aiproofwatch.com/updates/aristotle-finds-two-product-intersection-classifications-3346b7992026-10-22https://aiproofwatch.com/updates/openai-reports-a-superlinear-translative-covering-density-lower-bound-33472b132026-10-22https://aiproofwatch.com/updates/openai-reports-exponential-semidefinite-lift-complexity-for-perfect-ma-338232202026-10-22https://aiproofwatch.com/updates/claude-assisted-proofs-of-three-binary-channel-conjectures-341a8d382026-10-22https://aiproofwatch.com/updates/chatgpt-found-example-refutes-talagrand-s-operator-cotype-bound-349540412026-10-22https://aiproofwatch.com/updates/openai-reports-a-superquadratic-sensitivity-separation-3505c22a2026-10-22https://aiproofwatch.com/updates/openai-reports-the-full-boolean-hellinger-inequality-353230602026-10-22https://aiproofwatch.com/updates/codex-assisted-proof-establishes-eventual-vandermonde-non-snp-35410cba2026-10-22https://aiproofwatch.com/updates/openai-reports-gromov-s-integral-scalar-curvature-bound-35b329db2026-10-22https://aiproofwatch.com/updates/chatgpt-valuation-step-sharpens-green-problem-90-36d653ac2026-10-22https://aiproofwatch.com/updates/openai-reports-anticanonical-nonvanishing-from-smooth-semipositivity-3729b9582026-10-22https://aiproofwatch.com/updates/openai-reports-numerical-semiampleness-for-nef-k-hler-adjoint-classes-37372f8b2026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-reports-the-sharp-bethe-permanent-bound-37439b032026-10-22https://aiproofwatch.com/updates/openai-reports-an-endpoint-gradient-bound-for-centered-disk-averages-3750e6002026-10-22https://aiproofwatch.com/updates/openai-reports-the-circulant-hadamard-classification-375237c92026-10-22https://aiproofwatch.com/updates/openai-reports-a-solenoidal-force-navier-stokes-halting-detector-3753f6d92026-10-22https://aiproofwatch.com/updates/openai-reports-the-rational-homology-form-of-quillen-s-conjecture-37545d902026-10-22https://aiproofwatch.com/updates/ai-assisted-certificate-reports-optimality-of-logarithmic-spiral-shore-37c6aa322026-10-22https://aiproofwatch.com/updates/ai-led-proof-reports-dittert-s-conjecture-in-dimension-16-382492582026-10-22https://aiproofwatch.com/updates/openai-reports-a-continuum-temperature-singularity-for-a-radial-pair-p-388085f12026-10-22https://aiproofwatch.com/updates/openai-reports-a-domain-without-a-small-cohen-macaulay-module-395282ce2026-10-22https://aiproofwatch.com/updates/ai-origin-proof-resolves-a-kalton-peck-hyperplane-question-39538ce52026-10-22https://aiproofwatch.com/updates/claude-reports-the-general-four-color-rado-formula-396f0f802026-10-22https://aiproofwatch.com/updates/ai-assisted-construction-gives-a-distinct-connes-rigidity-counterexamp-3983f31a2026-10-22https://aiproofwatch.com/updates/openai-reports-exponential-quantum-parallel-repetition-39a344602026-10-22https://aiproofwatch.com/updates/openai-reports-the-planar-schr-dinger-convergence-endpoint-39fb85ec2026-10-22https://aiproofwatch.com/updates/openai-reports-bounded-klt-complements-for-fano-contractions-3a262b762026-10-22https://aiproofwatch.com/updates/openai-reports-metric-markov-cotype-two-for-3a761f8d2026-10-22https://aiproofwatch.com/updates/letwin-reports-a-chatgpt-assisted-kls-inequality-for-quadratic-forms-3a84ea032026-10-22https://aiproofwatch.com/updates/ai-reported-binary-normality-of-a-localized-logarithm-value-3aae1ca62026-10-22https://aiproofwatch.com/updates/ai-assisted-constructions-yield-lean-checked-odd-cycle-capacity-bounds-3ba7a7a62026-10-22https://aiproofwatch.com/updates/openai-reports-balanced-counterexamples-to-ryser-s-covering-conjecture-3bca85642026-10-22https://aiproofwatch.com/updates/openai-reports-universal-tensor-squares-for-symmetric-groups-3bff00a42026-10-22https://aiproofwatch.com/updates/axiomprover-solves-alternating-permutation-record-counts-3c64726f2026-10-22https://aiproofwatch.com/updates/chatgpt-assisted-ring-refutes-a-purely-prime-ideal-conjecture-3d00601f2026-10-22https://aiproofwatch.com/updates/openai-reports-gepner-stability-on-every-smooth-quintic-threefold-3d03ad622026-10-22https://aiproofwatch.com/updates/ai-assisted-four-set-argument-advances-morris-s-conjecture-3d77d7de2026-10-22https://aiproofwatch.com/updates/openai-reports-a-complex-lipman-zariski-counterexample-3d9965b32026-10-22https://aiproofwatch.com/updates/openai-reports-a-single-generator-for-separable-predual-ii-factors-3e2ff1422026-10-22https://aiproofwatch.com/updates/openai-reports-entanglement-with-zero-distillable-secret-key-3f0713722026-10-22https://aiproofwatch.com/updates/openai-math-0032026-10-22T07:31:08.818Zhttps://aiproofwatch.com/updates/claude-agents-construct-quasi-uniform-digital-nets-in-every-dimension-3f84c91a2026-10-22https://aiproofwatch.com/updates/alphaproof-nexus-finds-a-formal-cuboid-irreducibility-proof-3f8a1aa12026-10-22https://aiproofwatch.com/updates/ai-developed-proof-improves-the-permanent-approximation-base-3fdfb7942026-10-22https://aiproofwatch.com/updates/alphaevolve-finds-low-odd-area-unit-disk-configurations-3fff3db22026-10-22https://aiproofwatch.com/updates/claude-assisted-search-finds-an-st-orientation-counterexample-4012bbd32026-10-22https://aiproofwatch.com/updates/gpt-6-astra-reports-prime-gaps-at-most-186-4024765d2026-10-22https://aiproofwatch.com/updates/chatgpt-origin-proof-resolves-the-online-spencer-question-40745fbc2026-10-22https://aiproofwatch.com/updates/openai-reports-nonsimple-robert-tikuisis-regularity-equivalence-40d0d3b42026-10-22https://aiproofwatch.com/updates/ai-origin-construction-gives-a-hopf-threefold-counterexample-410467882026-10-22https://aiproofwatch.com/updates/grok-assisted-result-refutes-carbery-s-proposed-lp-exponent-4123df1c2026-10-22https://aiproofwatch.com/updates/machine-learned-geometry-validates-string-model-coupling-calculations-41554ceb2026-10-22https://aiproofwatch.com/updates/ai-assisted-lean-proofs-give-a-hard-sphere-volume-identity-and-bound-41dd32222026-10-22https://aiproofwatch.com/updates/openai-reports-a-degree-uniform-power-saving-for-intersective-polynomi-424bb86b2026-10-22https://aiproofwatch.com/updates/openai-reports-uniform-hilbert-transform-bounds-for-lipschitz-directio-426e02ef2026-10-22https://aiproofwatch.com/updates/ai-found-construction-gives-quadratically-many-ordinary-lines-43a6b1152026-10-22https://aiproofwatch.com/updates/openai-reports-a-perfect-matching-entropy-bound-43b23ea72026-10-22https://aiproofwatch.com/updates/ai-built-lean-program-triangulates-simple-polygons-in-linear-time-43d5eb0d2026-10-22https://aiproofwatch.com/updates/ai-assisted-sieve-sharpens-a-polynomial-congruence-bound-440b1b612026-10-22https://aiproofwatch.com/updates/openai-reports-a-conditional-quenched-near-critical-voronoi-limit-4446a7f82026-10-22https://aiproofwatch.com/updates/openai-reports-the-second-kahn-kalai-threshold-bound-44b0c9dd2026-10-22https://aiproofwatch.com/updates/openai-reports-uchida-s-open-homomorphism-conjecture-453251e12026-10-22https://aiproofwatch.com/updates/openai-reports-the-exact-three-state-tree-reconstruction-threshold-4593d9272026-10-22https://aiproofwatch.com/updates/openai-reports-a-complete-higher-dimensional-symplectic-ball-packing-c-45acd4eb2026-10-22https://aiproofwatch.com/updates/openai-reports-verlinde-fiber-functors-for-finite-symmetric-tensor-cat-45af641a2026-10-22https://aiproofwatch.com/updates/openai-reports-a-counterexample-to-integer-degree-harmonic-dimension-c-45f126092026-10-22https://aiproofwatch.com/updates/claude-assisted-paley-43-counterexample-to-five-voter-criterion-46209cd32026-10-22https://aiproofwatch.com/updates/openai-reports-finite-time-calabi-flow-singularity-on-projective-space-462e7e892026-10-22https://aiproofwatch.com/updates/claude-suggested-strategy-proves-the-mod-4-kawauchi-conjecture-466e32e72026-10-22https://aiproofwatch.com/updates/openai-reports-a-positive-solution-to-de-giorgi-s-conjecture-in-dimens-4726a3e62026-10-22https://aiproofwatch.com/updates/tars-finds-a-counterexample-to-carlson-s-depth-conjecture-472937fc2026-10-22https://aiproofwatch.com/updates/openai-reports-an-fpras-for-counting-perfect-matchings-in-general-grap-472e9ba42026-10-22https://aiproofwatch.com/updates/openai-reports-a-ricci-flow-singularity-with-bounded-scalar-curvature-4748eaf92026-10-22https://aiproofwatch.com/updates/gpt-origin-gadget-refutes-the-planar-half-forest-conjecture-47d3cacd2026-10-22https://aiproofwatch.com/updates/openai-reports-sharp-graph-property-threshold-width-4890032b2026-10-22https://aiproofwatch.com/updates/codex-proof-refutes-the-arithmetic-progression-divisor-conjecture-48aec5dd2026-10-22https://aiproofwatch.com/updates/openai-reports-the-all-density-ising-perceptron-free-energy-491941a42026-10-22https://aiproofwatch.com/updates/claude-assisted-work-extends-unconditional-imaginary-quadratic-class-n-499c94602026-10-22https://aiproofwatch.com/updates/openai-reports-an-exponential-automata-simulation-lower-bound-49ae3a5a2026-10-22https://aiproofwatch.com/updates/ai-assisted-sharp-bounds-for-hansen-polytopes-of-cographs-49ef0dea2026-10-22https://aiproofwatch.com/updates/openai-reports-classical-capacity-of-generalized-amplitude-damping-4a0e0e592026-10-22https://aiproofwatch.com/updates/ai-found-z-13-example-refutes-a-restricted-sumset-theorem-as-stated-4a0f864c2026-10-22https://aiproofwatch.com/updates/alp-ge-claude-reports-a-complex-structure-on-the-six-sphere-4a5285b42026-10-22https://aiproofwatch.com/updates/openai-reports-a-characteristic-zero-kaplansky-idempotent-result-4a69a9472026-10-22https://aiproofwatch.com/updates/openai-reports-equivariant-jiang-su-stability-for-amenable-actions-4ae307f82026-10-22https://aiproofwatch.com/updates/ai-led-proof-gives-a-linear-betti-bound-for-four-generated-semigroups-4bd4353f2026-10-22https://aiproofwatch.com/updates/language-model-proof-of-the-daykin-frankl-conjecture-4bdee25d2026-10-22https://aiproofwatch.com/updates/openai-reports-the-xy-model-correlation-length-essential-singularity-4c3754372026-10-22https://aiproofwatch.com/updates/openai-reports-two-dimensional-anderson-localization-4ce38b7a2026-10-22https://aiproofwatch.com/updates/openai-reports-real-lipschitz-height-limits-and-sle-interfaces-4d19328a2026-10-22https://aiproofwatch.com/updates/ai-assisted-work-reports-the-depth-three-affine-incidence-smith-profil-4da80ea82026-10-22https://aiproofwatch.com/updates/ai-origin-proofs-complete-a-keisler-measure-equivalence-4def9e322026-10-22https://aiproofwatch.com/updates/gpt-supplied-mixing-proof-advances-eulerian-tour-sampling-4ecad4a02026-10-22https://aiproofwatch.com/updates/openai-reports-lipschitz-equivalent-banach-spaces-without-linear-isomo-4ed6b7a42026-10-22https://aiproofwatch.com/updates/ai-assisted-small-counterexamples-to-the-gaussian-moments-conjecture-4eeb4c872026-10-22https://aiproofwatch.com/updates/openai-reports-a-depth-three-circuit-lower-bound-beyond-every-square-r-4f0a897a2026-10-22https://aiproofwatch.com/updates/openai-reports-erd-s-similarity-for-every-fixed-geometric-ratio-4ff066c42026-10-22https://aiproofwatch.com/updates/kourovka-problem-19-25-order-and-totient-sum-do-not-determine-simplici-502b44d42026-10-22https://aiproofwatch.com/updates/alphaevolve-seed-yields-a-geometric-24-vertex-rp-triangulation-50513fc92026-10-22https://aiproofwatch.com/updates/ai-assisted-lemma-sharpens-a-trigonometric-bound-50556c3f2026-10-22https://aiproofwatch.com/updates/claude-led-proof-answers-p-terfalvi-s-p-3-question-50dddda82026-10-22https://aiproofwatch.com/updates/gpt-assisted-proof-finds-exact-robust-gaps-for-finite-chiral-chains-514995872026-10-22https://aiproofwatch.com/updates/openai-reports-a-positive-finite-hausdorff-gauge-for-sle-traces-5153bace2026-10-22https://aiproofwatch.com/updates/openai-reports-a-cle-curve-limit-for-half-plane-double-dimers-5168b6f32026-10-22https://aiproofwatch.com/updates/ai-discovered-construction-answers-dubickas-s-square-root-question-51b6c72e2026-10-22https://aiproofwatch.com/updates/ai-assisted-closed-formula-for-single-minus-gluon-amplitudes-51c3d7eb2026-10-22https://aiproofwatch.com/updates/codex-project-gives-exact-thue-morse-matching-heights-51e0b9e22026-10-22https://aiproofwatch.com/updates/astra-graph-refutes-erd-s-146-degeneracy-exponent-523371e62026-10-22https://aiproofwatch.com/updates/claude-formalizes-an-alternative-hadamard-border-argument-5285d1882026-10-22https://aiproofwatch.com/updates/gpt-5-6-proof-of-the-cycle-double-cover-theorem-52b200732026-10-22https://aiproofwatch.com/updates/gpt-suggested-five-charge-construction-refutes-maxwell-bound-52cd5e9a2026-10-22https://aiproofwatch.com/updates/bakaev-and-polyanskii-report-one-plank-optimality-in-the-plane-52e34ccf2026-10-22https://aiproofwatch.com/updates/openai-reports-the-exact-ferromagnetic-four-state-potts-reconstruction-5390c65c2026-10-22https://aiproofwatch.com/updates/chatgpt-gives-an-alternative-proof-for-edgeless-list-coloring-53a746da2026-10-22https://aiproofwatch.com/updates/openai-reports-all-temperature-spin-correlation-decay-in-2d-o-n-models-53afa9902026-10-22https://aiproofwatch.com/updates/openai-reports-equivariant-hikita-for-arbitrary-quivers-53d738ad2026-10-22https://aiproofwatch.com/updates/openai-reports-a-continuum-phase-transition-across-a-density-interval-5403e1e62026-10-22https://aiproofwatch.com/updates/openai-reports-bi-lipschitz-charts-at-every-regular-rcd-point-546974dc2026-10-22https://aiproofwatch.com/updates/ai-assisted-construction-settles-proper-hat-guessing-for-k5-e-54e53c522026-10-22https://aiproofwatch.com/updates/openai-reports-henry-s-elementary-expansion-weak-equivalence-54ea2a442026-10-22https://aiproofwatch.com/updates/rethlas-assisted-route-supports-the-foliated-threefold-index-theorem-55d9dd632026-10-22https://aiproofwatch.com/updates/ai-found-graphs-answer-erd-s-problem-1091-560e6b9e2026-10-22https://aiproofwatch.com/updates/openai-reports-the-ramanujan-arthur-cusp-decomposition-at-full-finite--56c908962026-10-22https://aiproofwatch.com/updates/openai-claims-triangular-minimality-for-planar-coulomb-energy-570717bd2026-10-22https://aiproofwatch.com/updates/ai-suggested-method-proves-an-erd-s-prime-factor-bound-57ada35e2026-10-22https://aiproofwatch.com/updates/axiomprover-proves-six-subsum-polynomial-conjectures-580fb8f62026-10-22https://aiproofwatch.com/updates/ai-agents-extend-a-difference-free-construction-to-all-powers-5839e7522026-10-22https://aiproofwatch.com/updates/openai-reports-a-two-dimensional-entanglement-area-law-5856d1402026-10-22https://aiproofwatch.com/updates/chatgpt-found-graphs-refute-stanley-s-claw-free-schur-positivity-conje-58b23e9d2026-10-22https://aiproofwatch.com/updates/openai-reports-a-universal-group-of-type-f-58b54bef2026-10-22https://aiproofwatch.com/updates/openai-reports-ch-counterexamples-to-the-separable-quotient-property-5955fba62026-10-22https://aiproofwatch.com/updates/gpt-assisted-proof-covers-ryser-case-4-2-596163cf2026-10-22https://aiproofwatch.com/updates/gpt-assisted-proof-classifies-closure-list-completeness-as-conp-comple-596fd5d02026-10-22https://aiproofwatch.com/updates/openai-family-refutes-cyclic-extremal-graph-compactness-59e116542026-10-22https://aiproofwatch.com/updates/openai-reports-a-smooth-diffeomorphism-with-simple-lebesgue-spectrum-5ab030d32026-10-22https://aiproofwatch.com/updates/gpt-assisted-proof-finds-the-sharp-robustness-radius-for-a-four-row-pe-5ad7a5bd2026-10-22https://aiproofwatch.com/updates/gpt-assisted-proof-covers-a-dense-case-of-seymour-s-conjecture-5aff02702026-10-22https://aiproofwatch.com/updates/openai-reports-taming-implies-compatibility-in-four-dimensions-5b82a4492026-10-22https://aiproofwatch.com/updates/gpt-5-s-rational-function-step-in-an-early-qma-amplification-proof-5ba80f662026-10-22https://aiproofwatch.com/updates/openai-reports-the-entropy-rate-dimension-formula-for-self-similar-mea-5bd92b7d2026-10-22https://aiproofwatch.com/updates/openai-reports-the-blockwise-alperin-weight-equality-5c082d282026-10-22https://aiproofwatch.com/updates/claude-assisted-computation-refutes-a-carlitz-wieferich-rule-5c16b19f2026-10-22https://aiproofwatch.com/updates/model-derived-sub-2-n-linear-extension-algorithm-5cc79f732026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-resolves-carlet-s-kasami-cyclic-additive-conjecture-5ceb68252026-10-22https://aiproofwatch.com/updates/openai-reports-combinatorial-invariance-of-kazhdan-lusztig-polynomials-5d01d4542026-10-22https://aiproofwatch.com/updates/openai-reports-positive-energy-states-in-the-su-2-bfss-model-5d41d1fd2026-10-22https://aiproofwatch.com/updates/openai-reports-universal-strong-kadison-kastler-stability-5d78e73c2026-10-22https://aiproofwatch.com/updates/openai-reports-a-squarefree-value-density-for-every-irreducible-quarti-5ddefb3a2026-10-22https://aiproofwatch.com/updates/codex-reports-recovery-balance-is-preserved-by-code-duality-5ef7dba02026-10-22https://aiproofwatch.com/updates/ai-origin-method-settles-erd-s-primitive-set-bound-1196-5efcbe1f2026-10-22https://aiproofwatch.com/updates/ai-led-proof-settles-kalai-s-tight-tree-bound-5f6a20bb2026-10-22https://aiproofwatch.com/updates/ai-assisted-work-gives-a-sharp-growth-criterion-for-erd-s-1195-5f79ac0e2026-10-22https://aiproofwatch.com/updates/transformer-wave-functions-support-a-gapless-spin-liquid-in-a-frustrat-5f990bb52026-10-22https://aiproofwatch.com/updates/openai-reports-a-coulomb-density-without-kohn-sham-ensemble-representa-5faa0a842026-10-22https://aiproofwatch.com/updates/gpt-5-2-pro-sieve-proof-gives-near-one-lower-density-for-erd-s-851-5fafda4b2026-10-22https://aiproofwatch.com/updates/openai-reports-the-metric-blaschke-classification-6001130b2026-10-22https://aiproofwatch.com/updates/openai-reports-convex-tangent-injectivity-domains-under-weak-mtw-609271482026-10-22https://aiproofwatch.com/updates/openai-reports-a-one-sided-near-inclusion-obstruction-609b4ae62026-10-22https://aiproofwatch.com/updates/lean-proof-characterizes-two-fold-langford-sequences-60bbb9952026-10-22https://aiproofwatch.com/updates/openai-reports-singular-bernoulli-convolutions-at-quartic-salem-recipr-6195aa942026-10-22https://aiproofwatch.com/updates/openai-reports-a-hyperbolic-group-without-a-geometric-cat-0-action-61a562ac2026-10-22https://aiproofwatch.com/updates/openai-reports-a-power-saving-for-planar-halving-lines-6208dab92026-10-22https://aiproofwatch.com/updates/openai-reports-a-pd4-counterexample-to-wall-s-manifold-question-628530b92026-10-22https://aiproofwatch.com/updates/openai-reports-a-colored-graph-criterion-for-finite-congruence-lattice-6296e58c2026-10-22https://aiproofwatch.com/updates/openai-reports-a-one-sample-matroid-prophet-inequality-against-full-se-62ddca842026-10-22https://aiproofwatch.com/updates/openai-reports-arithmetic-classification-of-twisted-lattice-factor-cor-631683c72026-10-22https://aiproofwatch.com/updates/codex-reformulates-graviton-cut-tests-as-root-cone-flows-6376df072026-10-22https://aiproofwatch.com/updates/ai-led-construction-challenges-the-artin-cat-0-conjecture-63b1f7b22026-10-22https://aiproofwatch.com/updates/chatgpt-found-matroid-refutes-white-s-symmetric-exchange-claim-64079d012026-10-22https://aiproofwatch.com/updates/ai-assisted-criterion-yields-erd-s-kac-laws-for-palindromes-and-revers-648546792026-10-22https://aiproofwatch.com/updates/claude-agents-narrow-a-2-adic-zeta-irrationality-alternative-from-four-64cc4fe82026-10-22https://aiproofwatch.com/updates/ai-developed-proof-of-the-herzog-sch-nheim-conjecture-for-solvable-gro-65107a212026-10-22https://aiproofwatch.com/updates/openai-reports-polynomial-mixing-of-graph-switches-for-every-degree-se-653c37062026-10-22https://aiproofwatch.com/updates/openai-reports-perfect-completeness-for-2-to-1-games-65564c5b2026-10-22https://aiproofwatch.com/updates/ai-proposed-inequality-helps-prove-near-optimal-list-update-655a24112026-10-22https://aiproofwatch.com/updates/chatgpt-led-proof-establishes-optimality-and-uniqueness-of-romik-s-amb-65663cb72026-10-22https://aiproofwatch.com/updates/openai-reports-a-reflexive-midpoint-convexity-counterexample-65a403012026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-refutes-the-foregger-sinkhorn-tie-point-conjecture-66d8fadd2026-10-22https://aiproofwatch.com/updates/gpt-5-6-proof-gives-a-tight-planar-distance-pattern-bound-677ce4c62026-10-22https://aiproofwatch.com/updates/openai-reports-the-sharp-symmetric-bernoulli-singularity-rate-679f94b82026-10-22https://aiproofwatch.com/updates/openai-reports-the-margulis-platonov-conjecture-over-global-function-f-67be48ad2026-10-22https://aiproofwatch.com/updates/claude-assisted-proof-reports-two-tableau-asymptotics-68a2de752026-10-22https://aiproofwatch.com/updates/chatgpt-assisted-map-challenges-the-rank-two-poisson-conjecture-68a6af092026-10-22https://aiproofwatch.com/updates/openai-reports-a-linear-order-hypercube-ramsey-bound-68d076562026-10-22https://aiproofwatch.com/updates/openai-reports-asymptotically-minimal-maxima-for-real-littlewood-polyn-69357a6e2026-10-22https://aiproofwatch.com/updates/astra-proof-gives-polynomial-factor-hardness-for-closest-vector-693836ba2026-10-22https://aiproofwatch.com/updates/gpt-assisted-arguments-prove-virtual-surjection-for-discrete-groups-695aecbc2026-10-22https://aiproofwatch.com/updates/gpt-origin-proof-matches-the-bounded-noise-nonconvex-query-rate-69a19d732026-10-22https://aiproofwatch.com/updates/openai-reports-a-uniform-gap-for-real-dirichlet-zeros-6a0255f32026-10-22https://aiproofwatch.com/updates/gpt-6-pro-proposes-a-proof-of-nivat-s-conjecture-checked-in-lean-6a10a6102026-10-22https://aiproofwatch.com/updates/openai-reports-a-quasilinear-pcp-theorem-for-ppad-6a9cf6962026-10-22https://aiproofwatch.com/updates/ai-derived-function-supports-a-sharp-high-girth-coloring-lower-bound-6afc6a932026-10-22https://aiproofwatch.com/updates/openai-reports-a-counterexample-to-kurosh-s-division-ring-problem-6b47e81e2026-10-22https://aiproofwatch.com/updates/ai-suggested-proof-separates-qma-2-from-qma-with-an-oracle-6b709e8c2026-10-22https://aiproofwatch.com/updates/a-learned-knot-relation-points-to-cusp-geometry-6bc9ff942026-10-22https://aiproofwatch.com/updates/openai-reports-nonuniqueness-of-percolation-on-nonamenable-quasi-trans-6bdd04c92026-10-22https://aiproofwatch.com/updates/ai-assisted-witness-shows-marton-s-bound-misses-capacity-6c0298ad2026-10-22https://aiproofwatch.com/updates/openai-reports-filtered-product-nullity-from-complex-cobordism-6c971d5e2026-10-22https://aiproofwatch.com/updates/bizeul-klartag-lehec-reports-a-dimension-free-kls-bound-fe69144b2026-10-22https://aiproofwatch.com/updates/openai-reports-talagrand-s-original-density-covering-theorem-6d6a98642026-10-22https://aiproofwatch.com/updates/openai-reports-a-sharp-fourier-certificate-for-planar-circle-packing-6ddbb72f2026-10-22https://aiproofwatch.com/updates/lean-checked-candidate-against-the-mixing-clt-6e17c1732026-10-22https://aiproofwatch.com/updates/ai-led-lean-proof-of-the-gurvich-naumova-partition-conjecture-6e616dc62026-10-22https://aiproofwatch.com/updates/openai-reports-contact-fano-homogeneity-and-lebrun-salamon-6ea65dac2026-10-22https://aiproofwatch.com/updates/openai-reports-the-m-zard-parisi-formula-for-diluted-spin-glasses-6eb8302b2026-10-22https://aiproofwatch.com/updates/openai-reports-unbounded-violations-of-the-square-root-degree-bound-6ee610a92026-10-22https://aiproofwatch.com/updates/openai-reports-the-solomon-yau-least-volume-theorem-6f64404d2026-10-22https://aiproofwatch.com/updates/neural-networks-find-numerical-candidates-for-unstable-fluid-singulari-6f7882572026-10-22https://aiproofwatch.com/updates/ai-led-proof-gives-the-odd-order-kim-roush-maximum-6fa6138a2026-10-22https://aiproofwatch.com/updates/openai-reports-that-mixing-implies-all-finite-orders-of-mixing-704dd7f52026-10-22https://aiproofwatch.com/updates/ai-assisted-positive-model-makes-erd-s-501-independent-of-zfc-706d3f2d2026-10-22https://aiproofwatch.com/updates/alphaproof-nexus-proves-a-finite-sidon-set-bound-70c7181b2026-10-22https://aiproofwatch.com/updates/openai-reports-an-all-temperature-pressure-formula-for-orthogonally-in-70ffe8122026-10-22https://aiproofwatch.com/updates/openai-reports-a-depth-five-lower-bound-for-iterated-matrix-multiplica-7144ee572026-10-22https://aiproofwatch.com/updates/openai-reports-a-shafarevich-counterexample-with-large-fundamental-gro-715a9ef02026-10-22https://aiproofwatch.com/updates/openai-reports-the-global-spherical-shell-conjecture-7178d7ac2026-10-22https://aiproofwatch.com/updates/openai-reports-a-finitely-presented-simple-amenable-group-71dba3402026-10-22https://aiproofwatch.com/updates/ai-reported-failure-of-strong-normality-for-the-copeland-erd-s-constan-7289bd362026-10-22https://aiproofwatch.com/updates/openai-reports-a-polylogarithmic-least-nonresidue-bound-728b91b02026-10-22https://aiproofwatch.com/updates/ai-derived-formula-for-a-three-summand-tu-deng-plateau-72b94af62026-10-22https://aiproofwatch.com/updates/claude-helps-reduce-the-three-charge-equilibrium-bound-to-six-72f133b92026-10-22https://aiproofwatch.com/updates/openai-reports-a-power-improvement-for-heilbronn-triangles-7302f1e72026-10-22https://aiproofwatch.com/updates/ai-origin-graph-construction-refutes-the-exact-simonovits-product-conj-731fec4b2026-10-22https://aiproofwatch.com/updates/openai-reports-a-uniform-excess-charge-bound-for-coulomb-molecules-73881edd2026-10-22https://aiproofwatch.com/updates/openai-reports-katok-s-entropy-rigidity-in-negative-curvature-73b765ee2026-10-22https://aiproofwatch.com/updates/gemini-assisted-analytical-solutions-for-a-cosmic-string-radiation-int-73d4f96c2026-10-22https://aiproofwatch.com/updates/openai-reports-virtual-abelianity-for-special-compact-k-hler-manifolds-73dc0bf32026-10-22https://aiproofwatch.com/updates/ai-found-graph-refutes-graffiti-conjecture-806-on-a-distinct-degree-re-73f1cae72026-10-22https://aiproofwatch.com/updates/ai-assisted-hadamard-constructions-cover-eight-orders-741062e82026-10-22https://aiproofwatch.com/updates/codex-assisted-proof-settles-the-positive-level-one-cluster-ern-bound-74189d9e2026-10-22https://aiproofwatch.com/updates/claude-found-trajectories-overturn-three-opinion-dynamics-claims-7456d28c2026-10-22https://aiproofwatch.com/updates/axiomprover-proves-steps-toward-an-arctangent-sum-conjecture-74b60cfe2026-10-22https://aiproofwatch.com/updates/claude-agents-tighten-the-formalized-3sum-and-apsp-exponents-758989f02026-10-22https://aiproofwatch.com/updates/openai-reports-a-nearly-quartic-quantum-query-separation-75dd39e72026-10-22https://aiproofwatch.com/updates/star-fleet-reports-a-counterexample-to-erd-s-problem-769-s-lower-bound-75dea3b02026-10-22https://aiproofwatch.com/updates/ai-assisted-construction-answers-a-klt-openness-question-762f56242026-10-22https://aiproofwatch.com/updates/openai-claims-the-strong-hyperk-hler-syz-conjecture-763d2a042026-10-22https://aiproofwatch.com/updates/gpt-6-astra-proves-a-superlogarithmic-bound-for-erd-s-problem-126-768fb27c2026-10-22https://aiproofwatch.com/updates/openai-reports-the-abelian-zilber-pink-conjecture-7691795b2026-10-22https://aiproofwatch.com/updates/openai-reports-fixed-energy-goe-statistics-for-weakly-disordered-regul-771d41882026-10-22https://aiproofwatch.com/updates/gpt-found-sparsifier-link-advances-thin-matching-7790c9ce2026-10-22https://aiproofwatch.com/updates/claude-helps-prove-a-solid-young-tableaux-recurrence-7791d0372026-10-22https://aiproofwatch.com/updates/openai-reports-a-smooth-affine-maximal-counterexample-in-dimension-ten-78a300ea2026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-links-scalar-and-convex-body-sparse-bounds-78e1fce32026-10-22https://aiproofwatch.com/updates/ai-assisted-method-improves-higher-order-monotone-vi-rate-78ef01e92026-10-22https://aiproofwatch.com/updates/ai-led-counterexample-to-near-quadratic-elekes-r-nyai-expansion-7960c1ca2026-10-22https://aiproofwatch.com/updates/ai-suggested-gadget-helps-establish-tur-n-density-intervals-798084332026-10-22https://aiproofwatch.com/updates/ai-found-witness-rules-out-a-crouzeix-proof-shortcut-79fece882026-10-22https://aiproofwatch.com/updates/openai-reports-a-21-move-maker-strategy-for-snaky-7a04bdc82026-10-22https://aiproofwatch.com/updates/ai-origin-method-proves-revised-banks-martin-inequality-7a2d56562026-10-22https://aiproofwatch.com/updates/ai-led-proof-excludes-quadratic-relations-for-lambert-series-7a3e8d0e2026-10-22https://aiproofwatch.com/updates/openai-reports-the-remaining-unital-toms-winter-implication-7a5846942026-10-22https://aiproofwatch.com/updates/openai-reports-an-embedded-zariski-multiplicity-counterexample-7aa274fa2026-10-22https://aiproofwatch.com/updates/danus-proof-reports-a-weighted-homogeneity-criterion-7aaa08dd2026-10-22https://aiproofwatch.com/updates/openai-reports-finite-generation-for-k-n-local-sphere-homotopy-7aba69712026-10-22https://aiproofwatch.com/updates/openai-reports-a-counterexample-to-wall-s-finite-d-2-problem-7b07c2e92026-10-22https://aiproofwatch.com/updates/openai-reports-computability-of-the-random-3-sat-threshold-7b22005e2026-10-22https://aiproofwatch.com/updates/alphaproof-nexus-proves-log-concavity-for-type-two-pure-o-sequences-7b3226f52026-10-22https://aiproofwatch.com/updates/ai-assisted-work-reports-the-depth-two-affine-incidence-smith-profile-7b3a11b22026-10-22https://aiproofwatch.com/updates/ai-assisted-witness-refutes-divincenzo-family-claim-7b46e2b22026-10-22https://aiproofwatch.com/updates/openai-reports-universal-critical-sk-quench-autocorrelation-limits-7b5e2a0a2026-10-22https://aiproofwatch.com/updates/ai-led-proof-gives-the-sharp-eulerian-directed-tree-bound-7b8268e62026-10-22https://aiproofwatch.com/updates/ai-led-work-reports-small-davenport-constant-twelve-for-h-7b9481672026-10-22https://aiproofwatch.com/updates/ai-assisted-example-disproves-generalized-klt-finite-generation-7bb4e14f2026-10-22https://aiproofwatch.com/updates/gpt-origin-argument-proves-critical-nesterov-trajectory-convergence-7be3a82a2026-10-22https://aiproofwatch.com/updates/qed-proves-a-sharp-total-variation-rate-for-a-lamplighter-walk-7bfa165b2026-10-22https://aiproofwatch.com/updates/chatgpt-found-examples-disprove-order-dimension-rank-equality-7c4057f12026-10-22https://aiproofwatch.com/updates/openai-deduction-settles-erd-s-997-for-every-real-parameter-7c8e68952026-10-22https://aiproofwatch.com/updates/gpt-origin-argument-disproves-erd-s-s-random-subset-sum-bound-7c94a5812026-10-22https://aiproofwatch.com/updates/openai-reports-a-cubic-permanent-determinant-lower-bound-7d5b544c2026-10-22https://aiproofwatch.com/updates/gpt-assisted-proof-reports-weak-np-completeness-for-terminal-only-manh-7d633d812026-10-22https://aiproofwatch.com/updates/model-suggested-inequality-supports-graphical-curvature-estimates-7db51c762026-10-22https://aiproofwatch.com/updates/ai-agents-derive-a-conditional-bound-of-1801-for-the-sixth-schur-numbe-7dd42bfd2026-10-22https://aiproofwatch.com/updates/openai-reports-foulkes-conjecture-for-the-sixth-symmetric-power-7e0fbadd2026-10-22https://aiproofwatch.com/updates/ai-assisted-constructions-show-limits-of-atom-centered-descriptors-7e1a716a2026-10-22https://aiproofwatch.com/updates/ai-reported-normality-of-sums-of-stoneham-constants-7e7047912026-10-22https://aiproofwatch.com/updates/openai-gives-a-smooth-metric-with-no-local-immersion-in-three-space-7e8330d12026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-of-the-elizalde-luo-pattern-count-7e9c91c02026-10-22https://aiproofwatch.com/updates/openai-reports-a-counterexample-to-kaplansky-s-quasitrace-conjecture-7efe6afd2026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-characterizes-a-four-cycle-matrix-spectrum-7f68199d2026-10-22https://aiproofwatch.com/updates/alphaevolve-certificates-settle-two-monodromy-arithmeticity-cases-7fb395af2026-10-22https://aiproofwatch.com/updates/ai-origin-counterexample-refutes-the-hrt-conjecture-80c8e94b2026-10-22https://aiproofwatch.com/updates/openai-reports-a-uniform-generalized-star-height-bound-of-three-80e7ecc12026-10-22https://aiproofwatch.com/updates/ai-suggested-farey-mediant-sharpens-a-lattice-path-bound-80f02cef2026-10-22https://aiproofwatch.com/updates/ai-found-proof-of-the-erd-s-s-s-tree-conjecture-810336682026-10-22https://aiproofwatch.com/updates/chatgpt-found-example-answers-rivi-re-s-regularity-question-815678ae2026-10-22https://aiproofwatch.com/updates/openai-reports-a-pinched-k-hler-threefold-without-bounded-coordinates-8172e4532026-10-22https://aiproofwatch.com/updates/openai-reports-the-cubic-three-torus-isoperimetric-profile-8230d4172026-10-22https://aiproofwatch.com/updates/claude-assisted-schur-degree-results-refute-a-block-sum-conjecture-824bb45c2026-10-22https://aiproofwatch.com/updates/ai-reported-proof-of-margulis-platonov-over-number-fields-827b590a2026-10-22https://aiproofwatch.com/updates/openai-reports-that-every-complex-k3-surface-is-oka-82ae1a0f2026-10-22https://aiproofwatch.com/updates/ai-suggested-obstruction-rules-out-odd-base-cantor-fourier-frames-834752ff2026-10-22https://aiproofwatch.com/updates/openai-reports-failure-of-maximal-coarse-assembly-injectivity-834a34552026-10-22https://aiproofwatch.com/updates/ai-assisted-work-gives-an-exact-scenario-ladder-for-a-planar-ssuf-gadg-838817012026-10-22https://aiproofwatch.com/updates/ai-discovered-lower-bound-for-the-complex-grothendieck-constant-84699e322026-10-22https://aiproofwatch.com/updates/ai-developed-proof-of-kurkov-s-fubini-number-identity-857c44962026-10-22https://aiproofwatch.com/updates/claude-led-proof-excludes-low-degree-cubic-polynomial-families-8676cf802026-10-22https://aiproofwatch.com/updates/alphaevolve-improves-the-erd-s-minimum-overlap-upper-bound-867709452026-10-22https://aiproofwatch.com/updates/ai-discovered-proof-reaches-talagrand-s-convolution-bound-8691f61f2026-10-22https://aiproofwatch.com/updates/openai-reports-weak-mixing-for-every-irrational-triangular-billiard-8699b2ca2026-10-22https://aiproofwatch.com/updates/gpt-found-schubitope-refutes-ehrhart-positivity-conjecture-86eebbc12026-10-22https://aiproofwatch.com/updates/star-fleet-reports-erd-s-problem-796-second-order-constant-86f3ed0b2026-10-22https://aiproofwatch.com/updates/openai-reports-canonical-ampleness-for-compact-hyperbolic-k-hler-manif-871035822026-10-22https://aiproofwatch.com/updates/openai-reports-the-euclidean-steinitz-bergstr-m-bound-871692652026-10-22https://aiproofwatch.com/updates/openai-reports-the-purely-cosmetic-surgery-conjecture-for-knots-872525a92026-10-22https://aiproofwatch.com/updates/gpt-6-astra-improves-the-maximal-prime-gap-lower-bound-8744aad72026-10-22https://aiproofwatch.com/updates/openai-reports-critical-three-dimensional-wave-local-smoothing-8790cc3e2026-10-22https://aiproofwatch.com/updates/openai-reports-gaussian-free-field-limits-across-the-balanced-six-vert-87c4a4302026-10-22https://aiproofwatch.com/updates/openai-reports-an-independent-proof-for-reflexive-nonexpansive-fixed-p-880bbc322026-10-22https://aiproofwatch.com/updates/openai-reports-a-counterexample-to-hadwiger-s-conjecture-881eea562026-10-22https://aiproofwatch.com/updates/openai-reports-an-unconditional-first-moment-for-cubic-gauss-sums-882c2e4d2026-10-22https://aiproofwatch.com/updates/openai-reports-uniqueness-in-bogomolov-pop-reconstruction-885a79d22026-10-22https://aiproofwatch.com/updates/openai-reports-the-harary-hill-crossing-number-formula-887415ad2026-10-22https://aiproofwatch.com/updates/chatgpt-surface-example-answers-mauri-moraga-question-88837da42026-10-22https://aiproofwatch.com/updates/claude-assisted-computation-finds-three-winning-chomp-openings-892cc63b2026-10-22https://aiproofwatch.com/updates/openai-reports-a-lean-checked-uniform-gamma-implication-8a04cc142026-10-22https://aiproofwatch.com/updates/kourovka-problem-20-125-a-surjective-non-injective-rota-baxter-operato-8a08a9f62026-10-22https://aiproofwatch.com/updates/openai-reports-uniqueness-in-the-smooth-isotropic-elasticity-inverse-p-8a6c5f612026-10-22https://aiproofwatch.com/updates/openai-reports-mahler-s-conjecture-for-general-convex-bodies-8a9235882026-10-22https://aiproofwatch.com/updates/openai-reports-the-unique-su-n-bfss-threshold-state-8ade1a582026-10-22https://aiproofwatch.com/updates/chatgpt-assisted-argument-sharpens-tight-threshold-extraction-8ba498fd2026-10-22https://aiproofwatch.com/updates/openai-reports-generic-weak-future-inextendibility-near-rotating-kerr-8c83d9ba2026-10-22https://aiproofwatch.com/updates/ai-found-matroid-example-seeds-a-stronger-nonunimodality-result-8caffd902026-10-22https://aiproofwatch.com/updates/ai-led-proof-gives-a-sharp-global-squared-law-transport-bound-8cbc81fe2026-10-22https://aiproofwatch.com/updates/openai-reports-full-support-for-restricted-geometric-langlands-in-posi-8cca85402026-10-22https://aiproofwatch.com/updates/gpt-construction-answers-composite-oddtown-question-8cdd40b02026-10-22https://aiproofwatch.com/updates/ai-origin-torsion-idea-leads-to-nonclosed-local-cohomology-support-8d0432452026-10-22https://aiproofwatch.com/updates/ai-found-blueprints-show-greedy-is-optimal-for-one-pass-matching-8d570c8a2026-10-22https://aiproofwatch.com/updates/openai-reports-the-logarithmic-brunn-minkowski-inequality-8dc78c882026-10-22https://aiproofwatch.com/updates/openai-reports-a-cylinder-covering-counterexample-for-a-regular-tetrah-8df073da2026-10-22https://aiproofwatch.com/updates/openai-reports-symmetry-of-semialgebraic-bounded-domains-with-compact--8e0cb47b2026-10-22https://aiproofwatch.com/updates/openai-reports-p-w-for-fixed-determinant-in-composite-rank-8e1db9e22026-10-22https://aiproofwatch.com/updates/openai-reports-hard-sphere-fluctuations-on-a-regular-boltzmann-lifespa-8e8abda02026-10-22https://aiproofwatch.com/updates/gaussian-triplet-walk-gives-linear-time-online-discrepancy-8edf1ceb2026-10-22https://aiproofwatch.com/updates/chatgpt-assisted-proof-gives-the-weak-pach-tardos-bound-8ee1efd22026-10-22https://aiproofwatch.com/updates/openai-reports-bounded-degree-coboundary-expanders-in-higher-dimension-8ef0fcef2026-10-22https://aiproofwatch.com/updates/openai-reports-positive-temperature-condensation-for-dilute-hard-spher-8efd57ef2026-10-22https://aiproofwatch.com/updates/ai-built-lean-proof-reports-conway-s-omnific-refinement-property-8f1fa7542026-10-22https://aiproofwatch.com/updates/openai-reports-bloch-s-law-for-finite-range-heisenberg-ferromagnets-8f5d1fcd2026-10-22https://aiproofwatch.com/updates/claude-zeta-zeros-20262026-10-22https://aiproofwatch.com/updates/danus-assisted-proof-characterizes-equality-in-ehrhart-s-volume-bound-8f8731672026-10-22https://aiproofwatch.com/updates/chatgpt-proof-reports-cohen-macaulay-criterion-for-asm-varieties-8fc3895d2026-10-22https://aiproofwatch.com/updates/ai-proof-resolves-erd-s-problem-1141-prime-pattern-9010862b2026-10-22https://aiproofwatch.com/updates/openai-reports-an-odd-characteristic-counterexample-to-surjunctivity-90973d232026-10-22https://aiproofwatch.com/updates/openai-reports-a-dimension-free-log-sobolev-inequality-from-subgaussia-91bccb452026-10-22https://aiproofwatch.com/updates/chatgpt-found-matroid-refutes-flat-count-log-concavity-926a22b62026-10-22https://aiproofwatch.com/updates/ai-found-counterexample-to-k-the-s-matrix-conjecture-9287fa412026-10-22https://aiproofwatch.com/updates/openai-reports-optimal-order-mixing-of-the-thorp-shuffle-9288b9992026-10-22https://aiproofwatch.com/updates/openai-reports-the-bounded-data-sphere-restriction-range-928d92db2026-10-22https://aiproofwatch.com/updates/openai-reports-classwise-permanence-for-weakly-reversible-mass-action--92a3ad102026-10-22https://aiproofwatch.com/updates/ai-led-proof-gives-balanced-ef1-and-fpo-allocations-92ab86d22026-10-22https://aiproofwatch.com/updates/openai-reports-bi-lipschitz-c-absorption-without-a-linear-c-copy-92c2db982026-10-22https://aiproofwatch.com/updates/codex-construction-completes-a-sequence-unavoidability-classification-930481e62026-10-22https://aiproofwatch.com/updates/ai-suggested-reduction-makes-the-online-vertex-cover-bound-tight-93f4fed92026-10-22https://aiproofwatch.com/updates/chatgpt-assisted-proof-makes-algebra-amenability-field-independent-94168d242026-10-22https://aiproofwatch.com/updates/openai-reports-uniform-interior-c-bounds-for-infinity-harmonic-functio-94355d5a2026-10-22https://aiproofwatch.com/updates/gpt-5-5-pro-construction-answers-erd-s-38-94add5122026-10-22https://aiproofwatch.com/updates/openai-reports-deterministic-ramanujan-graphs-at-prescribed-large-size-94e6610b2026-10-22https://aiproofwatch.com/updates/chatgpt-assisted-group-examples-answer-three-baumslag-questions-94f410ff2026-10-22https://aiproofwatch.com/updates/openai-reports-a-solution-to-howie-s-nonsingular-systems-conjecture-9507245b2026-10-22https://aiproofwatch.com/updates/openai-reports-threshold-repetition-for-entangled-games-955002ee2026-10-22https://aiproofwatch.com/updates/two-ai-assisted-constructions-settle-proper-hat-guessing-for-k7-e-956c789f2026-10-22https://aiproofwatch.com/updates/gpt-reports-signed-depth-relevance-for-subdl-95968ad82026-10-22https://aiproofwatch.com/updates/ai-assisted-repair-supports-a-conditional-fourfold-cone-theorem-95ca448d2026-10-22https://aiproofwatch.com/updates/chatgpt-assisted-proof-gives-a-second-local-obstruction-argument-95cf90de2026-10-22https://aiproofwatch.com/updates/gpt-found-algebra-refutes-a-periodicity-conjecture-95ff07902026-10-22https://aiproofwatch.com/updates/claude-proof-classifies-even-floors-for-quadratic-pisot-powers-9646488d2026-10-22https://aiproofwatch.com/updates/claude-certificate-excludes-a-3-8-window-for-powers-of-3-2-98012a272026-10-22https://aiproofwatch.com/updates/openai-reports-an-l3-bound-for-the-trilinear-hilbert-transform-990559c42026-10-22https://aiproofwatch.com/updates/lean-checks-the-divisible-rank-three-matroid-case-991db2502026-10-22https://aiproofwatch.com/updates/ai-proof-gives-o-1-t-last-iterate-rate-for-anchored-gda-993da52b2026-10-22https://aiproofwatch.com/updates/openai-reports-trace-cone-classification-after-razak-jacelon-stabiliza-997baf8b2026-10-22https://aiproofwatch.com/updates/openai-reports-an-fpras-for-common-integer-polymatroid-bases-99a3f45a2026-10-22https://aiproofwatch.com/updates/astra-reports-stricter-asymptotic-code-bounds-99e4f29a2026-10-22https://aiproofwatch.com/updates/openai-reports-stable-blowup-for-defocusing-schr-dinger-flow-on-a-toru-9a1430412026-10-22https://aiproofwatch.com/updates/openai-reports-graph-decomposition-at-the-integral-expectation-thresho-9a7941622026-10-22https://aiproofwatch.com/updates/openai-reports-a-spectral-gap-across-the-high-temperature-sk-phase-9aea950a2026-10-22https://aiproofwatch.com/updates/openai-reports-irrational-cubic-fourfolds-with-geometric-k3-categories-9bc3d9a42026-10-22https://aiproofwatch.com/updates/ai-led-work-gives-an-explicit-2-adic-absolute-galois-presentation-9c118b232026-10-22https://aiproofwatch.com/updates/openai-reports-the-prime-three-kervaire-family-9c70d4842026-10-22https://aiproofwatch.com/updates/chatgpt-found-proof-excludes-large-cliques-in-minimally-rigid-graphs-9cb9a46f2026-10-22https://aiproofwatch.com/updates/ai-assisted-argument-raises-the-six-dimensional-double-cover-bound-9cdac5262026-10-22https://aiproofwatch.com/updates/openai-reports-a-uniform-quasipolynomial-time-trace-reconstruction-dec-9cfd635b2026-10-22https://aiproofwatch.com/updates/kourovka-problem-21-8-class-transpositions-generate-the-full-symmetric-9d9516622026-10-22https://aiproofwatch.com/updates/gpt-5-5-pro-contributes-a-werner-state-projection-decomposition-9dc085da2026-10-22https://aiproofwatch.com/updates/openai-reports-a-uniformly-discrete-lipschitz-free-space-without-bound-9ded45e12026-10-22https://aiproofwatch.com/updates/openai-reports-simple-f-overgroups-for-decidable-word-problem-groups-9e3ef1822026-10-22https://aiproofwatch.com/updates/aletheia-aids-multivariate-independence-polynomial-bounds-9e5f33e92026-10-22https://aiproofwatch.com/updates/ai-found-proof-settles-the-middle-stair-of-parallel-chip-firing-9e93291e2026-10-22https://aiproofwatch.com/updates/openai-reports-a-p-time-query-outside-choiceless-counting-9f4f18002026-10-22https://aiproofwatch.com/updates/ai-found-polynomials-refute-a-sparse-discrepancy-bound-9fcd49592026-10-22https://aiproofwatch.com/updates/openai-reports-a-positive-solution-to-tingley-s-problem-9ff03d582026-10-22https://aiproofwatch.com/updates/openai-reports-thermodynamic-first-qaoa-optimality-for-the-sk-model-a076593a2026-10-22https://aiproofwatch.com/updates/openai-reports-a-constant-factor-expectation-threshold-theorem-a0a05a9c2026-10-22https://aiproofwatch.com/updates/openai-reports-a-doubling-hilbert-set-with-no-finite-dimensional-bi-li-a0b299c92026-10-22https://aiproofwatch.com/updates/codex-found-game-needs-nonmaximal-entanglement-for-a-perfect-strategy-a0e9802b2026-10-22https://aiproofwatch.com/updates/openai-reports-the-exact-cycle-clique-ramsey-numbers-a16db7052026-10-22https://aiproofwatch.com/updates/openai-reports-radius-of-comparison-equals-half-mean-dimension-a16f8da42026-10-22https://aiproofwatch.com/updates/openai-reports-polynomial-hitting-lists-for-rational-formulas-a24b63552026-10-22https://aiproofwatch.com/updates/claude-reported-proof-of-the-qaoa-ring-conjecture-a29dde292026-10-22https://aiproofwatch.com/updates/openai-reports-bernoulli-minimizing-cone-rigidity-through-dimension-si-a31518072026-10-22https://aiproofwatch.com/updates/openai-reports-the-higher-dimensional-erd-s-distinct-distance-bound-a316ae672026-10-22https://aiproofwatch.com/updates/openai-reports-a-directional-zero-one-law-for-finite-range-environment-a34991e82026-10-22https://aiproofwatch.com/updates/ai-generated-construction-raises-a-square-difference-free-lower-bound-a3c1b4a12026-10-22https://aiproofwatch.com/updates/ai-proof-of-four-kasami-triple-count-parameter-cases-a41900c52026-10-22https://aiproofwatch.com/updates/openai-reports-a-zero-dimension-exponent-for-well-conditioned-log-conc-a45cd22b2026-10-22https://aiproofwatch.com/updates/openai-reports-a-proof-of-the-local-p-adic-section-conjecture-a4d9966b2026-10-22https://aiproofwatch.com/updates/ai-led-proof-gives-a-minimum-edge-outerplanar-embedding-algorithm-a50249b42026-10-22https://aiproofwatch.com/updates/openai-reports-polynomial-peps-for-gapped-open-grids-a57b5f822026-10-22https://aiproofwatch.com/updates/ai-found-construction-matches-sparse-decoding-lower-bound-a58a3f332026-10-22https://aiproofwatch.com/updates/openai-reports-cohomology-preserving-hypersymplectic-deformation-a5a26b022026-10-22https://aiproofwatch.com/updates/ai-found-exact-cycles-refute-identity-slack-three-block-admm-convergen-a69f62ed2026-10-22https://aiproofwatch.com/updates/ai-assisted-improvement-to-the-c-shannon-capacity-lower-bound-a6efaa1d2026-10-22https://aiproofwatch.com/updates/openai-proves-unit-charge-continuum-coulomb-energy-qma-hard-a6f3857b2026-10-22https://aiproofwatch.com/updates/cipollini-and-gpt-establish-the-sharp-pairwise-sums-threshold-a71e4a252026-10-22https://aiproofwatch.com/updates/ai-construction-sharpens-erd-s-problem-987-exponential-sum-bound-a79585502026-10-22https://aiproofwatch.com/updates/claude-project-reports-alternating-3-path-ramsey-formula-a7aef66d2026-10-22https://aiproofwatch.com/updates/openai-reports-correspondence-coloring-bounds-for-clique-free-graphs-a807fa062026-10-22https://aiproofwatch.com/updates/openai-reports-a-linear-list-coloring-bound-for-clique-minors-a86ae5852026-10-22https://aiproofwatch.com/updates/openai-reports-an-eilenberg-ganea-counterexample-a87273c82026-10-22https://aiproofwatch.com/updates/openai-reports-the-metric-k-median-approximation-threshold-a87dd21f2026-10-22https://aiproofwatch.com/updates/openai-reports-an-explicit-non-sofic-group-a897cfd62026-10-22https://aiproofwatch.com/updates/openai-reports-filtered-chromatic-splitting-at-generic-primes-a8e43df82026-10-22https://aiproofwatch.com/updates/chatgpt-origin-lemmas-support-projective-hessian-criteria-a90387382026-10-22https://aiproofwatch.com/updates/openai-reports-the-sharp-iid-factor-threshold-for-free-ising-spins-on--a91a5a232026-10-22https://aiproofwatch.com/updates/openai-reports-nontrivial-markov-type-forces-superreflexivity-a92912942026-10-22https://aiproofwatch.com/updates/ai-proof-extends-a-mckean-counterexample-to-physical-collision-kernels-a9a5416d2026-10-22https://aiproofwatch.com/updates/openai-reports-real-sentence-decision-in-the-counting-hierarchy-a9d100b22026-10-22https://aiproofwatch.com/updates/chatgpt-found-paley-graph-counters-perfect-divisibility-converse-aa07c9132026-10-22https://aiproofwatch.com/updates/claude-helps-identify-a-sieve-theory-formula-for-truncation-ideals-aa09854c2026-10-22https://aiproofwatch.com/updates/ai-led-proof-gives-width-four-for-symmetric-polar-products-aa86c3a32026-10-22https://aiproofwatch.com/updates/openai-reports-fourier-vanishing-for-order-six-hadamard-matrices-ab1e1fe72026-10-22https://aiproofwatch.com/updates/openai-reports-qma-hardness-of-continuum-coulomb-energy-abe4447f2026-10-22https://aiproofwatch.com/updates/openai-reports-projective-space-bases-for-lagrangian-fibrations-ac76ab322026-10-22https://aiproofwatch.com/updates/openai-reports-compatible-universal-cover-splitting-for-k-hler-manifol-aca91a632026-10-22https://aiproofwatch.com/updates/openai-reports-expected-amenable-subalgebras-preserving-core-commutant-acb1097e2026-10-22https://aiproofwatch.com/updates/ai-written-proof-gives-type-d-asep-tracy-widom-marginals-acb491312026-10-22https://aiproofwatch.com/updates/openai-reports-cyclic-length-chromatic-fixed-point-loss-accbcf822026-10-22https://aiproofwatch.com/updates/openai-reports-a-counterexample-to-the-group-ring-determinant-conjectu-ad3b3d642026-10-22https://aiproofwatch.com/updates/openai-reports-a-canonical-massive-continuum-limit-of-the-two-dimensio-ad6747622026-10-22https://aiproofwatch.com/updates/ai-found-cubic-graph-refutes-davila-s-zero-forcing-bound-adbe7e032026-10-22https://aiproofwatch.com/updates/ai-assisted-lean-proof-settles-the-bollob-s-nikiforov-inequality-ae3bf2162026-10-22https://aiproofwatch.com/updates/ai-derived-bounds-for-mazur-s-greedy-drawing-construction-ae69038b2026-10-22https://aiproofwatch.com/updates/ai-proof-raises-two-finite-covering-number-lower-bounds-aed0a7ea2026-10-22https://aiproofwatch.com/updates/aletheia-counterexample-to-an-erd-s-distinct-distance-question-af67dc902026-10-22https://aiproofwatch.com/updates/chatgpt-derived-identity-underpins-a-chern-class-formula-afdcaf542026-10-22https://aiproofwatch.com/updates/gpt-assisted-proof-settles-kahn-s-flow-conjecture-b00684272026-10-22https://aiproofwatch.com/updates/codex-assisted-counterexample-to-scottish-book-problem-155-b0707e8e2026-10-22https://aiproofwatch.com/updates/openai-reports-weak-to-strong-normalization-for-pure-type-systems-b0d23ce42026-10-22https://aiproofwatch.com/updates/parisi-zamponi-claude-an-analytic-proof-of-the-jamming-exponent-identi-b0e463562026-10-22https://aiproofwatch.com/updates/ai-derived-determinant-restriction-for-finite-order-matrices-b149d3582026-10-22https://aiproofwatch.com/updates/gpt-6-astra-disproves-erd-s-s-sum-distinct-lower-bound-conjecture-b1bd815c2026-10-22https://aiproofwatch.com/updates/openai-claims-zilber-pink-for-hodge-generic-curves-in-a-b1cef7d52026-10-22https://aiproofwatch.com/updates/openai-reports-integral-density-on-curve-character-varieties-b22cb6562026-10-22https://aiproofwatch.com/updates/openai-reports-local-conformal-symmetry-from-scale-symmetry-in-a-four--b26ae8662026-10-22https://aiproofwatch.com/updates/ai-led-proof-gives-an-optimal-eighth-order-mgf-gap-b2aed62f2026-10-22https://aiproofwatch.com/updates/gpt-coauthored-construction-answers-erd-s-problem-750-b2f1d82d2026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-settles-the-odd-exponent-colombo-case-b2fe0da92026-10-22https://aiproofwatch.com/updates/ai-developed-policy-closes-a-dynamic-matching-cost-gap-on-the-line-b33040a42026-10-22https://aiproofwatch.com/updates/gpt-assisted-search-contributes-to-wegner-rectangle-counterexample-b392021d2026-10-22https://aiproofwatch.com/updates/gpt-finds-the-optimal-psd-permanent-approximation-exponent-b3e66c9d2026-10-22https://aiproofwatch.com/updates/astra-origin-construction-gives-discontinuous-traces-b46b79262026-10-22https://aiproofwatch.com/updates/chatgpt-assisted-proof-gives-high-chromatic-minimal-cayley-graphs-b4d14b862026-10-22https://aiproofwatch.com/updates/rethlas-proves-noninjectivity-in-complex-phase-retrieval-b531f5512026-10-22https://aiproofwatch.com/updates/kourovka-problem-21-147-non-abelian-counterexample-for-relatively-conv-b55aa27b2026-10-22https://aiproofwatch.com/updates/openai-reports-a-zfc-counterexample-to-naimark-s-problem-b584e9eb2026-10-22https://aiproofwatch.com/updates/openai-reports-exact-uniform-sampling-of-contingency-tables-with-arbit-b5b186682026-10-22https://aiproofwatch.com/updates/openai-reports-polynomial-unitary-synthesis-with-a-boolean-oracle-b602519a2026-10-22https://aiproofwatch.com/updates/openai-reports-polynomial-time-optimal-three-machine-unit-job-scheduli-b62da8282026-10-22https://aiproofwatch.com/updates/ai-led-proof-reports-the-last-case-of-dean-s-cycle-conjecture-b65b28cd2026-10-22https://aiproofwatch.com/updates/agent-guided-construction-refutes-ziegler-cross-polytope-conjecture-b6847a022026-10-22https://aiproofwatch.com/updates/qed-gives-an-independently-checked-proof-of-integral-invariant-cycles--b7b9b7112026-10-22https://aiproofwatch.com/updates/openai-reports-all-equality-cases-for-a-sharp-matrix-lieb-thirring-bou-b83b5be22026-10-22https://aiproofwatch.com/updates/openai-reports-scalar-calder-n-nonuniqueness-in-three-dimensions-b84081d72026-10-22https://aiproofwatch.com/updates/openai-reports-quadratic-strong-paving-over-arbitrary-masas-b8809b432026-10-22https://aiproofwatch.com/updates/gpt-5-6-sol-extends-a-fourier-alignment-counterexample-b8e359922026-10-22https://aiproofwatch.com/updates/chatgpt-authored-construction-challenges-makeev-s-universal-cover-conj-b8f570db2026-10-22https://aiproofwatch.com/updates/language-model-candidate-refutes-stable-forking-b965d9452026-10-22https://aiproofwatch.com/updates/ai-found-construction-refutes-the-dimension-free-erd-s-diameter-bound-b9bee13a2026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-covers-sendov-s-conjecture-in-every-degree-b9c39aa72026-10-22https://aiproofwatch.com/updates/openai-reports-the-zarankiewicz-crossing-number-formula-b9e51d982026-10-22https://aiproofwatch.com/updates/ai-found-gaussian-counterexample-to-benjamini-hochberg-fdr-control-ba2409102026-10-22https://aiproofwatch.com/updates/openai-reports-rationality-of-the-canonical-arthur-filtration-ba560a392026-10-22https://aiproofwatch.com/updates/openai-reports-the-sharp-simplex-inequality-for-isotropic-constants-ba672b392026-10-22https://aiproofwatch.com/updates/chatgpt-improvement-yields-polynomial-lamplighter-stability-bounds-ba978b812026-10-22https://aiproofwatch.com/updates/chatgpt-sieve-helps-resolve-erd-s-problem-848-baf6ebf42026-10-22https://aiproofwatch.com/updates/ai-origin-construction-yields-a-smooth-random-fast-dynamo-bb17b9ae2026-10-22https://aiproofwatch.com/updates/ai-origin-meromorphic-example-defeats-half-plane-bounded-type-bb8131822026-10-22https://aiproofwatch.com/updates/gpt-pro-assisted-certificate-improves-the-erd-s-minimum-overlap-lower--bbc59d2a2026-10-22https://aiproofwatch.com/updates/gpt-idea-helps-solve-two-terminal-reliability-approximation-bbd4f2dc2026-10-22https://aiproofwatch.com/updates/ai-led-proof-establishes-smooth-forced-euler-blowup-bc04da082026-10-22https://aiproofwatch.com/updates/openai-reports-failure-of-reduced-baum-connes-injectivity-bc8efdb32026-10-22https://aiproofwatch.com/updates/gpt-5-6-proof-establishes-strong-log-concavity-of-chernoff-s-density-bcc59e032026-10-22https://aiproofwatch.com/updates/openai-reports-a-zero-entropy-system-without-a-smooth-positive-volume--bd2934e32026-10-22https://aiproofwatch.com/updates/codex-proves-two-arithmetic-function-conjectures-in-lean-bda7d8ef2026-10-22https://aiproofwatch.com/updates/alphadev-faster-small-sorting-routines-in-llvm-libc-bdc428102026-10-22https://aiproofwatch.com/updates/openai-reports-a-positive-scalar-curvature-obstruction-for-aspherical--bdccb41d2026-10-22https://aiproofwatch.com/updates/gpt-suggested-coloring-improves-symmetric-progression-bound-be22c8482026-10-22https://aiproofwatch.com/updates/ai-led-proof-resolves-sabidussi-s-circuit-conjecture-bee6f7822026-10-22https://aiproofwatch.com/updates/gpt-found-example-refutes-a-multipoint-lukic-conjecture-bf32be6e2026-10-22https://aiproofwatch.com/updates/openai-reports-superpolynomial-trace-reconstruction-lower-bound-bf6696462026-10-22https://aiproofwatch.com/updates/openai-reports-a-power-saving-for-exact-discrete-fourier-transforms-bf82736b2026-10-22https://aiproofwatch.com/updates/openai-reports-directional-transience-implies-ballisticity-bfab90fc2026-10-22https://aiproofwatch.com/updates/openai-reports-an-arithmetic-stein-degree-bound-at-a-point-bfb8de342026-10-22https://aiproofwatch.com/updates/openai-reports-affine-bernstein-rigidity-through-dimension-nine-c04aef6b2026-10-22https://aiproofwatch.com/updates/ai-origin-construction-reaches-the-denjoy-logarithmic-barrier-c0e8c1d52026-10-22https://aiproofwatch.com/updates/openai-reports-a-power-saving-for-planar-unit-distances-c13353232026-10-22https://aiproofwatch.com/updates/gpt-assisted-lemmas-sharpen-full-chord-buffon-discrepancy-c13644362026-10-22https://aiproofwatch.com/updates/chatgpt-assisted-construction-gives-convex-steklov-isospectral-domains-c1481e5b2026-10-22https://aiproofwatch.com/updates/ai-led-lean-proof-gives-a-quadratic-orbit-gap-criterion-c152d4f82026-10-22https://aiproofwatch.com/updates/gpt-discovered-code-raises-the-19-dimensional-kissing-bound-c192666b2026-10-22https://aiproofwatch.com/updates/openai-reports-the-campana-peternell-conjecture-for-fano-sixfolds-c1ee46bb2026-10-22https://aiproofwatch.com/updates/ai-found-values-refute-both-sign-clauses-of-sun-s-conjecture-4-6-ii-c26e78962026-10-22https://aiproofwatch.com/updates/openai-gives-a-formalized-spherical-perceptron-pressure-formula-c2b97c1a2026-10-22https://aiproofwatch.com/updates/ai-origin-entropy-proof-settles-a-linear-coding-question-c2d2b5782026-10-22https://aiproofwatch.com/updates/alphaevolve-search-reports-nine-improved-ramsey-lower-bounds-c49571142026-10-22https://aiproofwatch.com/updates/openai-reports-subpolynomial-dimension-reduction-in-lp-c4df6e862026-10-22https://aiproofwatch.com/updates/gpt-finds-a-hypercube-lipschitz-function-upper-bound-c4f989142026-10-22https://aiproofwatch.com/updates/human-chatgpt-collaboration-reports-harmonic-norms-over-arbitrary-comp-c53d02f22026-10-22https://aiproofwatch.com/updates/openai-reports-sharp-one-third-stability-of-brenier-maps-c58390b22026-10-22https://aiproofwatch.com/updates/claude-led-proof-gives-a-logarithmic-symmetric-group-word-threshold-c5ee95672026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-gives-sharp-graph-matrix-norm-orders-c633fba42026-10-22https://aiproofwatch.com/updates/gpt-generated-bounds-count-intermediate-subgroups-c699532e2026-10-22https://aiproofwatch.com/updates/gpt-suggested-identities-support-sharp-syk-spectral-bounds-c6cd91442026-10-22https://aiproofwatch.com/updates/codex-found-pauli-scheme-gives-one-bit-unclonable-encryption-c78898982026-10-22https://aiproofwatch.com/updates/ai-proof-gives-a-counterexample-to-green-s-problem-57-c79622512026-10-22https://aiproofwatch.com/updates/chatgpt-led-protocols-match-classical-online-shadow-tomography-rates-c7c1a7de2026-10-22https://aiproofwatch.com/updates/openai-reports-a-four-variable-abhyankar-sathaye-counterexample-c80579aa2026-10-22https://aiproofwatch.com/updates/ai-found-graph-refutes-a-koch-narayan-domination-bound-c85a8da92026-10-22https://aiproofwatch.com/updates/openai-reports-a-linear-cycle-and-edge-decomposition-for-every-graph-c860fd982026-10-22https://aiproofwatch.com/updates/openai-reports-a-four-dimensional-borel-rigidity-counterexample-c8c9a1742026-10-22https://aiproofwatch.com/updates/ai-assisted-construction-shows-curvature-can-raise-modeled-flame-speed-c92551ae2026-10-22https://aiproofwatch.com/updates/openai-reports-finite-free-entropy-separation-c98c62202026-10-22https://aiproofwatch.com/updates/openai-reports-joint-metric-and-connection-recovery-from-one-boundary--c98ec03c2026-10-22https://aiproofwatch.com/updates/openai-reports-the-all-prime-low-corank-selmer-converse-ca5d82562026-10-22https://aiproofwatch.com/updates/claude-assisted-method-computes-the-five-dimensional-geode-value-ca60aab82026-10-22https://aiproofwatch.com/updates/ai-origin-construction-gives-a-superquadratic-sensitivity-separation-cab102f72026-10-22https://aiproofwatch.com/updates/ai-proof-settles-strict-cosingularity-for-separable-ranges-cac594d52026-10-22https://aiproofwatch.com/updates/openai-reports-unbounded-stable-morse-fixed-point-deficits-in-dimensio-cacf855e2026-10-22https://aiproofwatch.com/updates/openai-reports-a-sharp-stationary-varifold-singular-set-bound-cb094dda2026-10-22https://aiproofwatch.com/updates/openai-reports-an-tale-cover-with-prescribed-exterior-and-disk-degrees-cb2b997f2026-10-22https://aiproofwatch.com/updates/openai-reports-strong-diffeomorphic-approximation-in-three-dimensions-cb9f2b882026-10-22https://aiproofwatch.com/updates/openai-reports-gersten-s-one-relator-hyperbolicity-conjecture-cc5cdb312026-10-22https://aiproofwatch.com/updates/axiomprover-proves-a-broad-han-xiong-trace-comparison-cd09646e2026-10-22https://aiproofwatch.com/updates/openai-reports-the-dyadic-erd-s-similarity-case-cd1925d02026-10-22https://aiproofwatch.com/updates/openai-reports-an-integral-counterexample-to-gersten-s-conjecture-cd8866ec2026-10-22https://aiproofwatch.com/updates/openai-reports-a-joint-ashkin-teller-height-and-current-limit-cdbfab1c2026-10-22https://aiproofwatch.com/updates/alphaevolve-candidate-refutes-litvak-s-gaussian-minima-conjecture-ce29d94a2026-10-22https://aiproofwatch.com/updates/openai-reports-orbifold-iitaka-subadditivity-ce5d6bf42026-10-22https://aiproofwatch.com/updates/openai-reports-dixmier-s-unitarizability-equivalence-ce72ea802026-10-22https://aiproofwatch.com/updates/openai-reports-no-bigeodesics-in-planar-first-passage-percolation-cef8a0ec2026-10-22https://aiproofwatch.com/updates/claude-origin-construction-gives-an-integer-domination-root-of-4-cf30d79f2026-10-22https://aiproofwatch.com/updates/ai-found-graphs-refute-graffiti-154-under-a-standard-deviation-reading-cf5a7caf2026-10-22https://aiproofwatch.com/updates/ai-suggested-trace-graph-seeds-a-ramsey-construction-d010bb5f2026-10-22https://aiproofwatch.com/updates/openai-reports-a-counterexample-to-unrestricted-infinite-matroid-packi-d02e728b2026-10-22https://aiproofwatch.com/updates/ai-led-proof-of-the-unperturbed-laughlin-spectral-gap-d0830a172026-10-22https://aiproofwatch.com/updates/model-generated-proof-of-the-six-by-four-big-line-or-big-clique-case-d0d73b932026-10-22https://aiproofwatch.com/updates/openai-proves-variable-dimension-weisfeiler-leman-equivalence-exptime--d13b31212026-10-22https://aiproofwatch.com/updates/openai-reports-a-proof-of-the-boone-higman-conjecture-d166287a2026-10-22https://aiproofwatch.com/updates/ai-proof-gives-uniform-toroidal-elton-odell-separation-d176b8162026-10-22https://aiproofwatch.com/updates/openai-reports-a-parity-lift-reduction-for-weisfeiler-leman-equivalenc-d18930062026-10-22https://aiproofwatch.com/updates/openai-reports-the-sharp-two-cycle-bound-for-quintic-li-nard-systems-d18cecbf2026-10-22https://aiproofwatch.com/updates/openai-reports-a-torsion-free-kadison-kaplansky-counterexample-d1901eb82026-10-22https://aiproofwatch.com/updates/openai-reports-height-two-hahn-wilson-counterexamples-d1c45c122026-10-22https://aiproofwatch.com/updates/gpt-6-astra-finds-a-bound-for-3ap-intersecting-families-d1c784df2026-10-22https://aiproofwatch.com/updates/claude-agents-narrow-an-odd-zeta-irrationality-window-to-eight-values-d1c7c70f2026-10-22https://aiproofwatch.com/updates/claude-agents-narrow-a-2-adic-zeta-irrationality-alternative-to-two-va-d1d37fc22026-10-22https://aiproofwatch.com/updates/openai-reports-termination-of-projective-lc-fourfold-programs-d1e86e542026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-establishes-fixed-hodge-lie-generation-d220090a2026-10-22https://aiproofwatch.com/updates/openai-reports-the-kirchberg-r-rdam-character-criterion-d246015a2026-10-22https://aiproofwatch.com/updates/xiong-reports-gpt-6-astra-counterexamples-to-kusner-s-conjecture-for-p-d2515d8d2026-10-22https://aiproofwatch.com/updates/gpt-assisted-construction-decomposes-odd-directed-five-tori-d258f0d52026-10-22https://aiproofwatch.com/updates/openai-reports-the-entropy-photon-number-inequality-d2e02c462026-10-22https://aiproofwatch.com/updates/ai-found-criterion-strengthens-belinskaya-s-theorem-for-flows-d2e645e92026-10-22https://aiproofwatch.com/updates/openai-reports-sle-limits-for-square-lattice-random-cluster-interfaces-d362c1212026-10-22https://aiproofwatch.com/updates/gpt-assisted-example-refutes-the-anstee-sali-conjecture-d36898b52026-10-22https://aiproofwatch.com/updates/openai-reports-a-one-sided-curvature-counterexample-to-yau-s-question-d50fc2022026-10-22https://aiproofwatch.com/updates/ai-developed-proof-lowers-a-besicovitch-rectifiability-bound-to-0-6934-d55f3b772026-10-22https://aiproofwatch.com/updates/ai-derived-counterexamples-to-a-pauli-shadow-tomography-conjecture-d56aca922026-10-22https://aiproofwatch.com/updates/openai-proves-a-9-4-complex-matrix-multiplication-exponent-bound-d5a676c12026-10-22https://aiproofwatch.com/updates/openai-reports-positive-area-entropy-for-the-standard-map-at-large-par-d5ef01c62026-10-22https://aiproofwatch.com/updates/openai-reports-exact-budget-recovery-for-metric-k-median-d608cf472026-10-22https://aiproofwatch.com/updates/openai-reports-single-fold-diophantine-representations-d618239e2026-10-22https://aiproofwatch.com/updates/openai-reports-counterexamples-to-gy-rf-s-s-tree-cover-conjecture-d63258b62026-10-22https://aiproofwatch.com/updates/ai-assisted-construction-counts-squares-with-prescribed-digit-sums-d63aaa082026-10-22https://aiproofwatch.com/updates/chatgpt-assisted-examples-break-a-three-dimensional-elliptic-regularit-d6be81002026-10-22https://aiproofwatch.com/updates/ai-generated-proof-gives-a-non-calkin-banach-algebra-d6c3f7552026-10-22https://aiproofwatch.com/updates/openai-reports-ample-rank-two-bundles-without-griffiths-positive-metri-d6fd62192026-10-22https://aiproofwatch.com/updates/openai-reports-the-subcritical-h-non-lane-emden-theorem-d8abd12b2026-10-22https://aiproofwatch.com/updates/ai-origin-example-reaches-the-half-h-lder-regularity-endpoint-d911b4652026-10-22https://aiproofwatch.com/updates/openai-gives-formalized-odd-extension-counterexamples-to-ryser-s-conje-d94b72992026-10-22https://aiproofwatch.com/updates/openai-reports-lech-s-multiplicity-conjecture-d9a6b3812026-10-22https://aiproofwatch.com/updates/openai-reports-exponential-state-cost-for-two-way-nfa-complementation-da447a472026-10-22https://aiproofwatch.com/updates/aletheia-solutions-settle-noncommutative-kirby-5-16-cases-da44ab2c2026-10-22https://aiproofwatch.com/updates/ai-suggested-flag-split-reaches-the-asymptotic-moore-bound-da680fc42026-10-22https://aiproofwatch.com/updates/ai-led-fermat-quintic-example-refutes-an-odd-dimensional-rank-conjectu-da8155eb2026-10-22https://aiproofwatch.com/updates/gpt-assisted-proof-reports-a-sharp-ellipsoid-fitting-threshold-da8ba3e72026-10-22https://aiproofwatch.com/updates/chatgpt-assisted-normal-orbit-refutes-a-dynamical-sampling-conjecture-db27e9d92026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-removes-a-torsion-free-restriction-in-stack-positivi-dbeec9252026-10-22https://aiproofwatch.com/updates/ai-assisted-formal-proof-reports-four-body-convex-uniqueness-dc0f5aef2026-10-22https://aiproofwatch.com/updates/openai-reports-rational-black-box-singularity-testing-dc3fce632026-10-22https://aiproofwatch.com/updates/gpt-appendix-proof-supplies-a-talagrand-coupling-step-dc4551be2026-10-22https://aiproofwatch.com/updates/ai-developed-proof-details-support-local-analytic-bertini-theorem-dc4a266d2026-10-22https://aiproofwatch.com/updates/openai-reports-smith-toda-complexes-at-every-height-with-varying-prime-dc6230152026-10-22https://aiproofwatch.com/updates/openai-reports-the-sharp-ehrhart-volume-inequality-ddc352ce2026-10-22https://aiproofwatch.com/updates/openai-reports-higher-height-failures-of-weak-chromatic-splitting-ddf264b42026-10-22https://aiproofwatch.com/updates/openai-reports-a-boundary-obstruction-to-four-dimensional-disk-embeddi-ddfe7c462026-10-22https://aiproofwatch.com/updates/ai-assisted-certificate-gives-the-proper-hat-guessing-number-of-k-e-de0f22092026-10-22https://aiproofwatch.com/updates/ai-found-polytopes-refute-the-printed-iris-face-bound-de20e4052026-10-22https://aiproofwatch.com/updates/openai-reports-a-finitely-presented-nil-algebra-that-is-not-nilpotent-de51b7bc2026-10-22https://aiproofwatch.com/updates/ai-assisted-counterexample-to-grothendieck-s-group-scheme-question-df5018322026-10-22https://aiproofwatch.com/updates/ai-assisted-planar-example-strengthens-an-unsplittable-flow-bound-dfa94bec2026-10-22https://aiproofwatch.com/updates/openai-reports-failure-of-polynomial-ordered-binary-matrix-removal-dfc24d202026-10-22https://aiproofwatch.com/updates/gpt-6-astra-resolves-erd-s-problem-74-on-local-bipartiteness-dfef20982026-10-22https://aiproofwatch.com/updates/claude-agents-report-a-lean-proof-that-the-2-adic-zeta-value-at-7-is-i-dff2cb5a2026-10-22https://aiproofwatch.com/updates/aletheia-origin-proof-claims-simplicity-of-the-hodge-bundle-e00603f92026-10-22https://aiproofwatch.com/updates/ai-origin-proof-of-the-gaussian-product-inequality-e05004e82026-10-22https://aiproofwatch.com/updates/chatgpt-construction-advances-kotzig-s-factorisation-conjecture-e089b8502026-10-22https://aiproofwatch.com/updates/openai-reports-disorder-stability-of-the-spherical-laughlin-gap-e0b537b82026-10-22https://aiproofwatch.com/updates/gpt-origin-ideas-yield-a-planar-hard-core-approximation-scheme-e127d2a52026-10-22https://aiproofwatch.com/updates/openai-reports-ordinary-to-strong-pure-infiniteness-e14255332026-10-22https://aiproofwatch.com/updates/astra-found-examples-make-both-hilbert-umd-quadratic-bounds-sharp-e169a7302026-10-22https://aiproofwatch.com/updates/claude-assisted-argument-reports-restricted-permutation-holonomicity-e16ec7e42026-10-22https://aiproofwatch.com/updates/chatgpt-ideas-underpin-all-dimensional-sum-free-lattice-cube-result-e1c753d42026-10-22https://aiproofwatch.com/updates/ai-generated-certificate-candidate-for-dittert-s-dimension-five-inequa-e1ce6fbf2026-10-22https://aiproofwatch.com/updates/openai-reports-a-strict-bound-that-refutes-kraetzer-s-spectrum-formula-e231a3322026-10-22https://aiproofwatch.com/updates/openai-reports-erd-s-s-totient-fiber-conjecture-e27231872026-10-22https://aiproofwatch.com/updates/claude-lemma-widens-a-weighted-shift-power-set-result-e2aecf382026-10-22https://aiproofwatch.com/updates/openai-reports-smooth-unforced-euler-blowup-on-r-e369887d2026-10-22https://aiproofwatch.com/updates/gemini-origin-proof-gives-a-conditional-sparse-least-squares-barrier-e36ea9352026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-establishes-primariness-of-lp-l1-e3978ada2026-10-22https://aiproofwatch.com/updates/openai-reports-the-sharp-terminal-leave-in-random-triangle-removal-e413cb152026-10-22https://aiproofwatch.com/updates/openai-reports-a-conditional-all-dimensional-k-hler-log-abundance-theo-e41550c82026-10-22https://aiproofwatch.com/updates/claude-certificate-excludes-a-longer-3-2-orbit-window-e4250ed52026-10-22https://aiproofwatch.com/updates/openai-reports-bloch-s-conjecture-for-complex-surfaces-with-pg-0-e425af062026-10-22https://aiproofwatch.com/updates/openai-reports-conditional-global-arthur-enhancements-at-full-finite-l-e43719972026-10-22https://aiproofwatch.com/updates/axiomprover-formalizes-a-proof-of-fel-s-syzygy-conjecture-e5345e342026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-counts-twelve-common-flex-lines-in-cubic-pencils-e53a726a2026-10-22https://aiproofwatch.com/updates/openai-reports-the-hard-sphere-bogoliubov-depletion-law-e56a9fde2026-10-22https://aiproofwatch.com/updates/ai-origin-proof-yields-an-infinite-divisibility-chain-at-weaker-densit-e586f4bb2026-10-22https://aiproofwatch.com/updates/ai-led-analysis-reports-the-ising-perceptron-capacity-e5b910bd2026-10-22https://aiproofwatch.com/updates/ai-led-algebraic-independence-claim-for-affine-erd-s-problem-270-e5cb7dec2026-10-22https://aiproofwatch.com/updates/gpt-6-astra-proves-the-rational-exponents-conjecture-e5cc38912026-10-22https://aiproofwatch.com/updates/openai-reports-the-strong-thin-spanning-tree-bound-e6487b0f2026-10-22https://aiproofwatch.com/updates/openai-reports-hindman-s-finite-sums-and-products-theorem-e6b5d4ab2026-10-22https://aiproofwatch.com/updates/openai-reports-a-poisson-dirichlet-law-for-prime-predecessors-e776c69b2026-10-22https://aiproofwatch.com/updates/gpt-origin-construction-gives-the-minimal-distance-sharp-exponent-e7acfa3a2026-10-22https://aiproofwatch.com/updates/openai-reports-positive-lower-density-of-large-prime-gaps-e7dfd5382026-10-22https://aiproofwatch.com/updates/ai-reports-a-deterministic-quasipolynomial-algorithm-for-mean-payoff-g-e838e8a72026-10-22https://aiproofwatch.com/updates/openai-reports-global-quantum-geometric-langlands-at-irrational-level-e8b25fe22026-10-22https://aiproofwatch.com/updates/openai-reports-hardness-of-large-independent-sets-in-three-colorable-g-e931f18c2026-10-22https://aiproofwatch.com/updates/astra-construction-resolves-erd-s-183-growth-question-e935460b2026-10-22https://aiproofwatch.com/updates/chatgpt-assisted-idea-yields-sharp-quantum-entropy-bound-e941a65d2026-10-22https://aiproofwatch.com/updates/openai-reports-sharp-ramsey-logarithmic-exponents-for-s-6-e942497e2026-10-22https://aiproofwatch.com/updates/ai-found-graph-refutes-written-on-the-wall-ii-conjecture-109-e96d2f0a2026-10-22https://aiproofwatch.com/updates/openai-reports-the-artin-k-1-conjecture-in-finite-rank-e9c02aba2026-10-22https://aiproofwatch.com/updates/openai-manuscript-reports-corrected-threefold-inequality-ea1afc102026-10-22https://aiproofwatch.com/updates/ai-led-proof-of-rapid-mixing-for-fixed-margin-binary-matrices-ea8076712026-10-22https://aiproofwatch.com/updates/openai-reports-one-matrix-hitting-point-in-every-positive-characterist-eae2dc712026-10-22https://aiproofwatch.com/updates/openai-reports-gaussian-free-field-limits-for-weighted-lipschitz-heigh-eb05db1f2026-10-22https://aiproofwatch.com/updates/openai-reports-pointwise-multiple-ergodic-convergence-for-mixing-trans-eb0e70292026-10-22https://aiproofwatch.com/updates/openai-reports-superexponential-van-der-waerden-lower-bounds-eb1d7c282026-10-22https://aiproofwatch.com/updates/gpt-5-6-sol-s-tilted-sieve-improves-a-prime-gap-lower-bound-eb24549a2026-10-22https://aiproofwatch.com/updates/ai-developed-construction-gives-a-nine-relator-group-with-unsolvable-w-eb3f5ec82026-10-22https://aiproofwatch.com/updates/ai-found-dumbbell-graph-refutes-graffiti-conjecture-143-eb9bcfd22026-10-22https://aiproofwatch.com/updates/openai-reports-elementary-positivity-of-chromatic-quasisymmetric-funct-ebcc213c2026-10-22https://aiproofwatch.com/updates/openai-reports-a-hyperbolicity-cone-with-no-finite-semidefinite-lift-ec44e2132026-10-22https://aiproofwatch.com/updates/ai-developed-two-generator-family-has-undecidable-triviality-ecd8b4262026-10-22https://aiproofwatch.com/updates/chatgpt-found-inputs-improve-a-bosonic-quantum-capacity-bound-ecee60172026-10-22https://aiproofwatch.com/updates/neural-networks-produce-compact-scalar-and-graviton-scattering-express-ed2b96ac2026-10-22https://aiproofwatch.com/updates/qed-reported-sharp-lamplighter-return-asymptotic-on-regular-trees-edae1ae72026-10-22https://aiproofwatch.com/updates/openai-reports-generalized-lc-minimal-model-existence-edd2e6d12026-10-22https://aiproofwatch.com/updates/openai-reports-full-hausdorff-dimension-for-4d-kakeya-sets-edd758ae2026-10-22https://aiproofwatch.com/updates/openai-reports-integrability-of-split-tangent-bundles-ee410ef92026-10-22https://aiproofwatch.com/updates/ai-origin-globalization-step-completes-the-real-banach-case-ee456aab2026-10-22https://aiproofwatch.com/updates/ai-assisted-construction-supports-a-sharp-bessel-sequence-theorem-ee4841752026-10-22https://aiproofwatch.com/updates/openai-reports-numerical-dimension-one-log-abundance-in-characteristic-ef37ec1b2026-10-22https://aiproofwatch.com/updates/openai-reports-uniqueness-of-first-time-surface-mean-curvature-tangent-ef87fe2f2026-10-22https://aiproofwatch.com/updates/navot-ai-assisted-extensions-of-the-9-4-matrix-multiplication-bound-to-ef92ab122026-10-22https://aiproofwatch.com/updates/openai-reports-almost-everywhere-fourier-convergence-in-l-log-l-efc369572026-10-22https://aiproofwatch.com/updates/ai-proof-establishes-the-optimal-universal-kissing-number-base-effce22f2026-10-22https://aiproofwatch.com/updates/openai-reports-gigli-s-alexandrov-curvature-characterization-f01314f12026-10-22https://aiproofwatch.com/updates/openai-reports-a-positive-curvature-einstein-four-manifold-classificat-f09c830b2026-10-22https://aiproofwatch.com/updates/chatgpt-found-spin-chain-avoids-exponential-free-fermion-degeneracy-f0af98472026-10-22https://aiproofwatch.com/updates/openai-reports-a-two-fifths-power-space-simulation-for-one-tape-machin-f0b37a2d2026-10-22https://aiproofwatch.com/updates/claude-constructed-ring-separates-left-and-right-pci-and-v-domain-prop-f0cdc0302026-10-22https://aiproofwatch.com/updates/ai-assisted-inverse-theorem-for-short-zero-sums-in-c-f0dfda0f2026-10-22https://aiproofwatch.com/updates/codex-reports-a-five-colour-lower-bound-for-the-14-gon-norm-f0f3962c2026-10-22https://aiproofwatch.com/updates/openai-reports-a-hilbert-space-hyperinvariant-subspace-counterexample-f1aff1cb2026-10-22https://aiproofwatch.com/updates/chatgpt-assisted-construction-refutes-petrykowski-s-conjecture-f291d8bd2026-10-22https://aiproofwatch.com/updates/ai-reported-continuum-tree-limit-for-critical-fk-planar-maps-f2b63cf72026-10-22https://aiproofwatch.com/updates/gpt-transport-ideas-sharpen-a-robust-density-estimation-rate-f32f03af2026-10-22https://aiproofwatch.com/updates/astra-s-lean-proof-refutes-smale-s-k-1-mean-value-conjecture-f35e98182026-10-22https://aiproofwatch.com/updates/ai-found-seven-point-counterexample-to-the-spherical-ramsey-conjecture-f4bc1e5c2026-10-22https://aiproofwatch.com/updates/ai-developed-proof-improves-large-systoles-in-every-genus-f53946c12026-10-22https://aiproofwatch.com/updates/openai-reports-the-symmetric-maximal-triangular-hilbert-estimate-f55baf6e2026-10-22https://aiproofwatch.com/updates/openai-reports-prime-degree-torus-packet-equidistribution-f571d0c62026-10-22https://aiproofwatch.com/updates/openai-reports-that-strong-ulam-stability-characterizes-amenability-f5fde5aa2026-10-22https://aiproofwatch.com/updates/a-network-found-tree-counters-collins-s-peak-conjecture-f627d9912026-10-22https://aiproofwatch.com/updates/openai-reports-a-memory-sample-lower-bound-for-noiseless-gaussian-regr-f64ee82f2026-10-22https://aiproofwatch.com/updates/openai-reports-a-c-counterexample-to-shub-s-entropy-conjecture-f65069242026-10-22https://aiproofwatch.com/updates/openai-reports-independent-largest-prime-factors-of-consecutive-intege-f67a8ba62026-10-22https://aiproofwatch.com/updates/openai-reports-universal-energy-optimality-of-the-triangular-lattice-f6d9338b2026-10-22https://aiproofwatch.com/updates/openai-formalizes-an-alternative-proof-of-random-k-sat-thresholds-f752eb122026-10-22https://aiproofwatch.com/updates/openai-reports-almost-everywhere-regularity-for-stationary-varifolds-f7635c612026-10-22https://aiproofwatch.com/updates/openai-reports-quasi-isometric-recognition-of-virtually-polycyclic-gro-f817188f2026-10-22https://aiproofwatch.com/updates/openai-reports-the-exact-asymptotic-cohn-elkies-bound-f821b9fb2026-10-22https://aiproofwatch.com/updates/openai-reports-a-regular-lifespan-boltzmann-grad-limit-for-stable-radi-f86e13a82026-10-22https://aiproofwatch.com/updates/kourovka-problem-21-150-counterexample-to-a-rank-bound-for-p-group-ext-f8b33f872026-10-22https://aiproofwatch.com/updates/ai-devised-group-answers-a-longstanding-soficity-question-f8dc9c252026-10-22https://aiproofwatch.com/updates/openai-reports-a-four-variable-stable-coordinate-counterexample-f976de292026-10-22https://aiproofwatch.com/updates/codex-found-ode-refutes-unrestricted-eden-conjecture-f985908c2026-10-22https://aiproofwatch.com/updates/ai-assisted-construction-settles-proper-hat-guessing-for-k6-e-f9d5dbf92026-10-22https://aiproofwatch.com/updates/ai-found-construction-improves-the-planar-cube-maximal-constant-fa28d61e2026-10-22https://aiproofwatch.com/updates/chatgpt-led-reduction-extends-furthest-pair-hardness-fa6870b92026-10-22https://aiproofwatch.com/updates/du-and-huang-report-the-critical-sk-overlap-limit-fa9c5c4c2026-10-22https://aiproofwatch.com/updates/openai-construction-answers-the-bounded-gap-version-of-erd-s-741-fa9c90fa2026-10-22https://aiproofwatch.com/updates/openai-reports-exact-quantum-factoring-with-fixed-finite-gates-fade84da2026-10-22https://aiproofwatch.com/updates/claude-counterexample-refutes-erd-s-619-diameter-four-saving-fb2165302026-10-22https://aiproofwatch.com/updates/openai-reports-nonattainment-of-the-three-marginal-coulomb-monge-minim-fb4066342026-10-22https://aiproofwatch.com/updates/gemini-discovered-example-answers-odifreddi-s-degree-question-fb67ba182026-10-22https://aiproofwatch.com/updates/astra-led-proof-extends-a-vietoris-obstruction-to-countable-ordinals-fc3467b72026-10-22https://aiproofwatch.com/updates/ai-assisted-construction-refutes-a-naslund-bound-over-f-fc8fdf9e2026-10-22https://aiproofwatch.com/updates/ai-found-proof-establishes-feige-s-small-deviation-bound-fca8cfe22026-10-22https://aiproofwatch.com/updates/ai-agents-prove-six-concyclic-points-meet-a-euclidean-ramsey-tensor-cr-fcaaf4c32026-10-22https://aiproofwatch.com/updates/openai-reports-a-uniform-generalized-star-height-bound-fcf817852026-10-22https://aiproofwatch.com/updates/ai-developed-counterexample-to-the-csck-stability-conjecture-fd8185b02026-10-22https://aiproofwatch.com/updates/ai-found-polynomials-refute-the-mixed-xz-and-su-2-mathieu-conjectures-fdfffd442026-10-22https://aiproofwatch.com/updates/model-found-codes-establish-five-ame-existence-cases-fee07ecc2026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-of-an-independent-sparsestack-embedding-bound-ff4706a62026-10-22https://aiproofwatch.com/updates/exact-graph-checks-refute-both-directions-of-pandey-s-parity-conjectur-ff7f80382026-10-22https://aiproofwatch.com/updates/alphaevolve-matrix-20252026-10-22https://aiproofwatch.com/updates/ai-assisted-counterexample-to-the-abelian-envelope-quotient-property-research2026-10-22https://aiproofwatch.com/updates/alphaevolve-matrix-multiplication-exponent-below-2-371177-research2026-10-22https://aiproofwatch.com/updates/ai-assisted-lower-bound-for-resolution-over-parities-research2026-10-22https://aiproofwatch.com/updates/ai-assisted-core-existence-in-approval-based-committee-elections-research2026-10-22https://aiproofwatch.com/updates/anthropic-3sum-apsp-formalization-20262026-10-22https://aiproofwatch.com/updates/ai-assisted-near-quadratic-lower-bound-for-exact-value-optimization-research2026-10-22https://aiproofwatch.com/updates/ai-assisted-proof-of-the-deterministic-k-server-conjecture-research2026-10-22https://aiproofwatch.com/updates/ai-assisted-undecidability-of-medvedev-logic-research2026-10-22https://aiproofwatch.com/updates/openai-reports-the-rational-hodge-conjecture-for-cm-abelian-varieties-research2026-10-22https://aiproofwatch.com/updates/openai-reports-koebe-s-circle-domain-conjecture-research2026-10-22https://aiproofwatch.com/updates/openai-reports-uniform-bounds-for-planar-polynomial-limit-cycles-research2026-10-22https://aiproofwatch.com/updates/openai-reports-serre-s-positivity-conjecture-research2026-10-22https://aiproofwatch.com/updates/openai-reports-shelah-s-eventual-categoricity-conjecture-research2026-10-22https://aiproofwatch.com/updates/openai-reports-cannon-s-conjecture-research2026-10-22https://aiproofwatch.com/updates/openai-reports-the-enclosing-area-spacetime-penrose-inequality-research2026-10-22https://aiproofwatch.com/updates/openai-reports-the-free-group-factor-isomorphism-problem-research2026-10-22https://aiproofwatch.com/updates/openai-reports-the-hilbert-smith-conjecture-research2026-10-22https://aiproofwatch.com/updates/openai-reports-the-complete-crouzeix-inequality-research2026-10-22https://aiproofwatch.com/updates/openai-reports-smooth-isometric-immersion-of-surfaces-into-four-space-research2026-10-22https://aiproofwatch.com/updates/openai-reports-global-classical-relativistic-vlasov-maxwell-solutions-research2026-10-22https://aiproofwatch.com/updates/ai-assisted-six-task-pinwheel-scheduling-counterexample-research2026-10-22https://aiproofwatch.com/updates/ai-assisted-optimal-packing-proofs-for-one-to-seven-squares-research2026-10-22https://aiproofwatch.com/updates/ai-assisted-disproof-of-the-erd-s-unit-distance-conjecture-research2026-10-22https://aiproofwatch.com/updates/station-book-ramsey-20262026-10-22https://aiproofwatch.com/updates/station-kissing-20262026-10-22