https://aiprovedwhat.com/2026-10-19 https://aiprovedwhat.com/about/2026-10-19 https://aiprovedwhat.com/episodes/2026-10-19 https://aiprovedwhat.com/subjects/2026-10-19 https://aiprovedwhat.com/connections/2026-10-19 https://aiprovedwhat.com/subjects/number-theory/2026-10-19 https://aiprovedwhat.com/subjects/algebraic-and-complex-geometry/2026-10-19 https://aiprovedwhat.com/subjects/real-and-complex-analysis/2026-10-19 https://aiprovedwhat.com/subjects/convex-and-metric-geometry/2026-10-19 https://aiprovedwhat.com/subjects/theoretical-computer-science/2026-10-19 https://aiprovedwhat.com/subjects/dynamical-systems-and-ergodic-theory/2026-10-19 https://aiprovedwhat.com/subjects/combinatorics/2026-10-19 https://aiprovedwhat.com/subjects/algebra/2026-10-19 https://aiprovedwhat.com/subjects/probability-and-statistical-mechanics/2026-10-19 https://aiprovedwhat.com/subjects/mathematical-logic/2026-10-19 https://aiprovedwhat.com/subjects/group-theory/2026-10-19 https://aiprovedwhat.com/subjects/mathematical-physics/2026-10-19 https://aiprovedwhat.com/subjects/operator-algebras/2026-10-19 https://aiprovedwhat.com/subjects/topology/2026-10-19 https://aiprovedwhat.com/subjects/functional-analysis/2026-10-19 https://aiprovedwhat.com/subjects/differential-geometry/2026-10-19 https://aiprovedwhat.com/subjects/partial-differential-equations/2026-10-19 https://aiprovedwhat.com/episodes/001-milne-rationality/2026-10-19 https://aiprovedwhat.com/episodes/002-bsd-formula/2026-10-19 https://aiprovedwhat.com/episodes/003-quasi-riemann-hypothesis/2026-10-19 https://aiprovedwhat.com/episodes/004-hilberts-tenth-problem-q/2026-10-19 https://aiprovedwhat.com/episodes/005-irrationality-catalans-constant/2026-10-19 https://aiprovedwhat.com/episodes/006-goldfelds-conjecture-densities-mean-analytic/2026-10-19 https://aiprovedwhat.com/episodes/007-ordinary-two-point-correlations-corrected/2026-10-19 https://aiprovedwhat.com/episodes/008-deligne-drinfeld-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/009-function-field-reconstruction-milnor-k/2026-10-19 https://aiprovedwhat.com/episodes/010-unrestricted-pro-modularity-prime-two/2026-10-19 https://aiprovedwhat.com/episodes/011-prime-factor-statistics/2026-10-19 https://aiprovedwhat.com/episodes/012-independent-largest-prime-factors-consecutive/2026-10-19 https://aiprovedwhat.com/episodes/013-ostmanns-inverse-goldbach-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/014-restricted-geometric-langlands-global-arthur/2026-10-19 https://aiprovedwhat.com/episodes/015-torus-packet-equidistribution-prime-quartic/2026-10-19 https://aiprovedwhat.com/episodes/016-zilber-pink-abelian-varieties-siegel/2026-10-19 https://aiprovedwhat.com/episodes/017-irrationality-exponent-pi-2/2026-10-19 https://aiprovedwhat.com/episodes/018-margulis-platonov-conjecture-global-fields/2026-10-19 https://aiprovedwhat.com/episodes/019-local-p-adic-section-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/020-squarefree-quartics-power-free-polynomial/2026-10-19 https://aiprovedwhat.com/episodes/021-quadratic-bound-jacobsthals-function/2026-10-19 https://aiprovedwhat.com/episodes/022-weak-inhomogeneous-duffin-schaeffer-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/023-pattersons-first-moment-cubic-gauss/2026-10-19 https://aiprovedwhat.com/episodes/024-asymptotic-formula-number-totients/2026-10-19 https://aiprovedwhat.com/episodes/025-short-egyptian-fractions/2026-10-19 https://aiprovedwhat.com/episodes/026-positive-lower-density-large-prime/2026-10-19 https://aiprovedwhat.com/episodes/027-potential-integral-density-curve-character/2026-10-19 https://aiprovedwhat.com/episodes/028-uniformly-bounded-components-gaussian-prime/2026-10-19 https://aiprovedwhat.com/episodes/029-primitive-roots-every-admissible-integer/2026-10-19 https://aiprovedwhat.com/episodes/030-modularity-elliptic-curves-imaginary-quadratic/2026-10-19 https://aiprovedwhat.com/episodes/031-uchidas-conjecture-open-homomorphisms-galois/2026-10-19 https://aiprovedwhat.com/episodes/032-rational-hodge-conjecture-cm-abelian/2026-10-19 https://aiprovedwhat.com/episodes/033-iitaka-subadditivity-variation-logarithmic-additivity/2026-10-19 https://aiprovedwhat.com/episodes/034-log-abundance-compact-kahler-spaces/2026-10-19 https://aiprovedwhat.com/episodes/035-log-canonical-threefold-abundance-numerical/2026-10-19 https://aiprovedwhat.com/episodes/036-numerical-semiampleness-generalized-minimal-models/2026-10-19 https://aiprovedwhat.com/episodes/037-ordinary-double-point-volume-gap/2026-10-19 https://aiprovedwhat.com/episodes/038-fujitas-freeness-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/039-nagatas-conjecture-maximal-seshadri-constants/2026-10-19 https://aiprovedwhat.com/episodes/040-blochs-conjecture-complex-surfaces/2026-10-19 https://aiprovedwhat.com/episodes/041-hyperkahler-syz-projective-space-bases/2026-10-19 https://aiprovedwhat.com/episodes/042-oka-classification-minimal-compact-complex/2026-10-19 https://aiprovedwhat.com/episodes/043-p-w-fixed-determinant-sln/2026-10-19 https://aiprovedwhat.com/episodes/044-equivariant-cohomological-hikita-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/046-shafarevich-counterexamples-dimension-two-large/2026-10-19 https://aiprovedwhat.com/episodes/047-zariski-cancellation-affine-fibrations-complex/2026-10-19 https://aiprovedwhat.com/episodes/048-characteristic-zero-counterexample-lipman-zariski/2026-10-19 https://aiprovedwhat.com/episodes/049-stable-coordinate-counterexample-four-variables/2026-10-19 https://aiprovedwhat.com/episodes/050-counterexample-griffiths-positivity-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/051-kobayashis-canonical-ampleness-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/052-tangent-splittings-product-decompositions/2026-10-19 https://aiprovedwhat.com/episodes/053-counterexample-pixton-completeness-chow/2026-10-19 https://aiprovedwhat.com/episodes/054-irrational-cubic-fourfolds-hodge-theoretic/2026-10-19 https://aiprovedwhat.com/episodes/055-gepner-symmetry-large-volume-stability/2026-10-19 https://aiprovedwhat.com/episodes/056-termination-projective-kahler-fourfold-minimal/2026-10-19 https://aiprovedwhat.com/episodes/057-fundamental-groups-special-complex-varieties/2026-10-19 https://aiprovedwhat.com/episodes/058-semialgebraic-universal-covers-bounded-domains/2026-10-19 https://aiprovedwhat.com/episodes/059-counterexamples-zariskis-multiplicity-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/060-global-spherical-shell-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/062-projective-contact-classification-lebrun-salamon/2026-10-19 https://aiprovedwhat.com/episodes/063-generalized-mukai-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/064-topological-triviality-mu-constant-surface/2026-10-19 https://aiprovedwhat.com/episodes/065-virasoro-constraints-complete-intersections-projective/2026-10-19 https://aiprovedwhat.com/episodes/066-bounded-klt-complements-fano-contractions/2026-10-19 https://aiprovedwhat.com/episodes/067-campana-peternell-conjecture-dimension-six/2026-10-19 https://aiprovedwhat.com/episodes/068-anticanonical-nonvanishing-every-dimension/2026-10-19 https://aiprovedwhat.com/episodes/069-global-quantum-geometric-langlands-irrational/2026-10-19 https://aiprovedwhat.com/episodes/071-koebes-circle-domain-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/072-brennans-conjecture-integral-means-spectrum/2026-10-19 https://aiprovedwhat.com/episodes/073-falconer-distance-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/074-kakeya-three-four-dimensions/2026-10-19 https://aiprovedwhat.com/episodes/075-fourier-convergence-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/076-real-ultraflat-littlewood-polynomials-unbounded/2026-10-19 https://aiprovedwhat.com/episodes/077-fourier-restriction-positively-curved-surfaces/2026-10-19 https://aiprovedwhat.com/episodes/078-three-dimensional-bochner-riesz-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/079-local-smoothing-three-dimensions/2026-10-19 https://aiprovedwhat.com/episodes/080-schrodinger-convergence-sobolev-endpoint/2026-10-19 https://aiprovedwhat.com/episodes/081-riesz-transforms-rectifiability-higher-codimension/2026-10-19 https://aiprovedwhat.com/episodes/082-triangular-hilbert-transform-symmetric-point/2026-10-19 https://aiprovedwhat.com/episodes/083-hilbert-transform-lipschitz-directions/2026-10-19 https://aiprovedwhat.com/episodes/084-erdos-similarity-geometric-sequences/2026-10-19 https://aiprovedwhat.com/episodes/085-endpoint-sobolev-regularity-centered-disk/2026-10-19 https://aiprovedwhat.com/episodes/086-l3-bound-trilinear-hilbert-transform/2026-10-19 https://aiprovedwhat.com/episodes/087-mahler-conjectures-functional-inequalities-polar/2026-10-19 https://aiprovedwhat.com/episodes/088-sharp-projection-body-inequalities-counterexample/2026-10-19 https://aiprovedwhat.com/episodes/089-bounded-distortion-l1-embeddings-planar/2026-10-19 https://aiprovedwhat.com/episodes/090-triangular-lattice-optimality-long-range/2026-10-19 https://aiprovedwhat.com/episodes/091-logarithmic-lp-brunn-minkowski-inequalities/2026-10-19 https://aiprovedwhat.com/episodes/092-optimal-order-convex-body-covering/2026-10-19 https://aiprovedwhat.com/episodes/093-dimension-free-logarithmic-sobolev-inequality/2026-10-19 https://aiprovedwhat.com/episodes/094-subpolynomial-dimension-reduction-lp/2026-10-19 https://aiprovedwhat.com/episodes/095-hyperbolicity-cones-without-semidefinite-lifts/2026-10-19 https://aiprovedwhat.com/episodes/096-gaussian-propeller-conjecture-every-dimension/2026-10-19 https://aiprovedwhat.com/episodes/097-euclidean-steinitz-bergstrom-bound/2026-10-19 https://aiprovedwhat.com/episodes/098-compact-counterexamples-bi-lipschitz-dimension/2026-10-19 https://aiprovedwhat.com/episodes/099-sharp-exponential-scale-edit-distance/2026-10-19 https://aiprovedwhat.com/episodes/100-cylinder-coverings-below-half-area/2026-10-19 https://aiprovedwhat.com/episodes/101-sharp-simplex-conjecture-isotropic-constants/2026-10-19 https://aiprovedwhat.com/episodes/102-unique-games-conjecture-optimal-approximation/2026-10-19 https://aiprovedwhat.com/episodes/103-exact-derandomization-logarithmic-space/2026-10-19 https://aiprovedwhat.com/episodes/104-quasipolynomial-mean-payoff-games/2026-10-19 https://aiprovedwhat.com/episodes/105-two-to-one-games-perfect-completeness/2026-10-19 https://aiprovedwhat.com/episodes/106-coloring-three-colorable-graphs/2026-10-19 https://aiprovedwhat.com/episodes/107-matrix-multiplication-exponent-nine-fourths/2026-10-19 https://aiprovedwhat.com/episodes/108-permanent-determinant-cubic-lower-bound/2026-10-19 https://aiprovedwhat.com/episodes/109-integer-multiplication-below-n-log-n/2026-10-19 https://aiprovedwhat.com/episodes/110-randomized-k-server-squared-log/2026-10-19 https://aiprovedwhat.com/episodes/111-one-sample-matroid-prophet-inequality/2026-10-19 https://aiprovedwhat.com/episodes/112-depth-three-circuits-beyond-square-root/2026-10-19 https://aiprovedwhat.com/episodes/113-counting-perfect-matchings-fpras/2026-10-19 https://aiprovedwhat.com/episodes/114-common-matroid-bases-fpras/2026-10-19 https://aiprovedwhat.com/episodes/115-contingency-tables-arbitrary-margins/2026-10-19 https://aiprovedwhat.com/episodes/116-noncommutative-identity-testing-hitting-points/2026-10-19 https://aiprovedwhat.com/episodes/117-uniform-sparsest-cut-hardness-gaps/2026-10-19 https://aiprovedwhat.com/episodes/118-bin-packing-configuration-gap/2026-10-19 https://aiprovedwhat.com/episodes/119-courtade-kumar-hellinger-conjectures/2026-10-19 https://aiprovedwhat.com/episodes/120-almost-linear-general-matching/2026-10-19 https://aiprovedwhat.com/episodes/121-edit-distance-approximation-scheme/2026-10-19 https://aiprovedwhat.com/episodes/122-trace-reconstruction-bounds/2026-10-19 https://aiprovedwhat.com/episodes/124-three-machine-scheduling/2026-10-19 https://aiprovedwhat.com/episodes/125-k-median-approximation-threshold/2026-10-19 https://aiprovedwhat.com/episodes/126-matching-psd-rank/2026-10-19 https://aiprovedwhat.com/episodes/127-ptf-average-sensitivity/2026-10-19 https://aiprovedwhat.com/episodes/128-superstring-factor-two/2026-10-19 https://aiprovedwhat.com/episodes/129-two-way-automata-state-costs/2026-10-19 https://aiprovedwhat.com/episodes/130-fourier-below-n-log-n/2026-10-19 https://aiprovedwhat.com/episodes/131-switch-chain-mixing/2026-10-19 https://aiprovedwhat.com/episodes/132-sensitivity-block-sensitivity/2026-10-19 https://aiprovedwhat.com/episodes/133-weisfeiler-leman-complexity/2026-10-19 https://aiprovedwhat.com/episodes/134-generalized-star-height/2026-10-19 https://aiprovedwhat.com/episodes/135-depth-five-imm/2026-10-19 https://aiprovedwhat.com/episodes/136-pcp-for-ppad/2026-10-19 https://aiprovedwhat.com/episodes/137-one-tape-two-fifths/2026-10-19 https://aiprovedwhat.com/episodes/138-subset-sum-049/2026-10-19 https://aiprovedwhat.com/episodes/139-log-concave-queries/2026-10-19 https://aiprovedwhat.com/episodes/140-memory-regression/2026-10-19 https://aiprovedwhat.com/episodes/141-etr-counting-hierarchy/2026-10-19 https://aiprovedwhat.com/episodes/142-deterministic-factoring/2026-10-19 https://aiprovedwhat.com/episodes/143-hilbert-sixteenth-uniform/2026-10-19 https://aiprovedwhat.com/episodes/144-simple-lebesgue-spectrum/2026-10-19 https://aiprovedwhat.com/episodes/145-rokhlin-multiple-mixing/2026-10-19 https://aiprovedwhat.com/episodes/146-standard-map-entropy/2026-10-19 https://aiprovedwhat.com/episodes/147-near-boundary-birkhoff/2026-10-19 https://aiprovedwhat.com/episodes/148-entropy-rate-dimension/2026-10-19 https://aiprovedwhat.com/episodes/149-mass-action-permanence/2026-10-19 https://aiprovedwhat.com/episodes/150-triangle-weak-mixing/2026-10-19 https://aiprovedwhat.com/episodes/151-entropy-conjecture-c1/2026-10-19 https://aiprovedwhat.com/episodes/152-smooth-volume-model/2026-10-19 https://aiprovedwhat.com/episodes/153-bernoulli-convolutions/2026-10-19 https://aiprovedwhat.com/episodes/154-pointwise-multiple-ergodic-mixing/2026-10-19 https://aiprovedwhat.com/episodes/155-periodic-tiling-dimension-three/2026-10-19 https://aiprovedwhat.com/episodes/156-borsuk-dimension-nine/2026-10-19 https://aiprovedwhat.com/episodes/157-hadwiger-counterexample/2026-10-19 https://aiprovedwhat.com/episodes/158-plane-not-five-colorable/2026-10-19 https://aiprovedwhat.com/episodes/159-erdos-reciprocal-sum-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/160-superexponential-van-der-waerden-numbers/2026-10-19 https://aiprovedwhat.com/episodes/161-counterexamples-sidorenkos-conjecture-forcing-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/162-counterexamples-rysers-covering-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/164-hindmans-finite-sums-products-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/165-harary-hill-zarankiewicz-crossing-number/2026-10-19 https://aiprovedwhat.com/episodes/166-higher-dimensional-erdos-distinct-distances/2026-10-19 https://aiprovedwhat.com/episodes/167-planar-distinct-distances-unit-distance/2026-10-19 https://aiprovedwhat.com/episodes/168-combinatorial-invariance-kazhdan-lusztig-polynomials/2026-10-19 https://aiprovedwhat.com/episodes/169-shareshian-wachs-elementary-positivity/2026-10-19 https://aiprovedwhat.com/episodes/170-sharp-logarithmic-exponents-off-diagonal/2026-10-19 https://aiprovedwhat.com/episodes/171-hypercube-ramsey-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/172-classification-finite-euclidean-ramsey-configurations/2026-10-19 https://aiprovedwhat.com/episodes/173-seymours-second-neighborhood-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/174-deterministic-construction-strong-thin-spanning/2026-10-19 https://aiprovedwhat.com/episodes/175-talagrands-expectation-thresholds-discrete-convexity/2026-10-19 https://aiprovedwhat.com/episodes/176-second-kahn-kalai-conjecture-edge/2026-10-19 https://aiprovedwhat.com/episodes/177-bounded-degree-coboundary-expanders/2026-10-19 https://aiprovedwhat.com/episodes/178-deterministic-nonbipartite-ramanujan-graphs-every/2026-10-19 https://aiprovedwhat.com/episodes/179-circulant-hadamard-barker-sequence-conjectures/2026-10-19 https://aiprovedwhat.com/episodes/180-barnettes-hamiltonian-cycle-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/181-erdos-gallai-cycle-decomposition-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/182-power-savings-intersective-polynomial-differences/2026-10-19 https://aiprovedwhat.com/episodes/183-power-savings-planar-halving-lines/2026-10-19 https://aiprovedwhat.com/episodes/184-correspondence-coloring-fixed-forbidden-subgraph/2026-10-19 https://aiprovedwhat.com/episodes/185-counterexamples-infinite-matroid-intersection-packing/2026-10-19 https://aiprovedwhat.com/episodes/186-uniform-influence-sharp-thresholds-graph/2026-10-19 https://aiprovedwhat.com/episodes/187-snaky-21-maker-moves/2026-10-19 https://aiprovedwhat.com/episodes/188-sharp-terminal-leave-random-triangle/2026-10-19 https://aiprovedwhat.com/episodes/189-cycle-clique-ramsey-numbers/2026-10-19 https://aiprovedwhat.com/episodes/190-polynomial-removal-fails-ordered-binary/2026-10-19 https://aiprovedwhat.com/episodes/191-power-improvement-heilbronn-triangle-lower/2026-10-19 https://aiprovedwhat.com/episodes/192-boolean-functions-violate-square-root/2026-10-19 https://aiprovedwhat.com/episodes/193-serres-intersection-multiplicity-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/194-lechs-multiplicity-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/195-counterexample-small-cohen-macaulay-module/2026-10-19 https://aiprovedwhat.com/episodes/196-counterexample-kaplanskys-zero-divisor-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/197-torsion-free-group-algebra-not/2026-10-19 https://aiprovedwhat.com/episodes/198-counterexample-finitistic-dimension-finiteness/2026-10-19 https://aiprovedwhat.com/episodes/199-counterexamples-auslander-reiten-tachikawa-related/2026-10-19 https://aiprovedwhat.com/episodes/200-eisenbud-green-harris-lex-plus/2026-10-19 https://aiprovedwhat.com/episodes/201-counterexample-kuroshs-division-ring-problem/2026-10-19 https://aiprovedwhat.com/episodes/202-blockwise-alperin-weight-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/203-donovans-conjecture-fields-complete-mixed/2026-10-19 https://aiprovedwhat.com/episodes/204-tensor-saturation-even-spin-groups/2026-10-19 https://aiprovedwhat.com/episodes/205-saxls-conjecture-universal-tensor-squares/2026-10-19 https://aiprovedwhat.com/episodes/206-finite-lattice-representation-undecidability/2026-10-19 https://aiprovedwhat.com/episodes/207-l1-bass-conjecture-all-discrete/2026-10-19 https://aiprovedwhat.com/episodes/208-finite-symmetric-tensor-categories-verlinde/2026-10-19 https://aiprovedwhat.com/episodes/209-integral-counterexamples-gerstens-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/210-foulkes-conjecture-sixth-powers-quadratic/2026-10-19 https://aiprovedwhat.com/episodes/211-geometric-phase-diagram-diffusion-spectra/2026-10-19 https://aiprovedwhat.com/episodes/212-planar-first-passage-geometry-absence/2026-10-19 https://aiprovedwhat.com/episodes/213-critical-percolation-quasi-transitive/2026-10-19 https://aiprovedwhat.com/episodes/214-percolation-nonuniqueness-operator-bound/2026-10-19 https://aiprovedwhat.com/episodes/215-o3-continuum-o4-mass-asymptotics/2026-10-19 https://aiprovedwhat.com/episodes/216-xy-critical-scaling-bkt-universality/2026-10-19 https://aiprovedwhat.com/episodes/217-sherrington-kirkpatrick-fluctuation-law/2026-10-19 https://aiprovedwhat.com/episodes/218-ising-conformal-universality-random-bonds/2026-10-19 https://aiprovedwhat.com/episodes/219-goe-bulk-universality-regular-graphs/2026-10-19 https://aiprovedwhat.com/episodes/220-rwre-zero-one-ballisticity/2026-10-19 https://aiprovedwhat.com/episodes/221-mezard-parisi-diluted-spin-glasses/2026-10-19 https://aiprovedwhat.com/episodes/222-perceptron-free-energies-jamming/2026-10-19 https://aiprovedwhat.com/episodes/223-random-cluster-interfaces-sle/2026-10-19 https://aiprovedwhat.com/episodes/224-voronoi-percolation-cardy/2026-10-19 https://aiprovedwhat.com/episodes/225-six-vertex-gaussian-free-field/2026-10-19 https://aiprovedwhat.com/episodes/226-double-dimer-cle4/2026-10-19 https://aiprovedwhat.com/episodes/227-sk-glauber-dynamics/2026-10-19 https://aiprovedwhat.com/episodes/228-continuum-phase-transition-pair-potential/2026-10-19 https://aiprovedwhat.com/episodes/229-reconstruction-thresholds-trees/2026-10-19 https://aiprovedwhat.com/episodes/230-sle-exact-hausdorff-gauge/2026-10-19 https://aiprovedwhat.com/episodes/231-free-spanning-forest-factor-iid/2026-10-19 https://aiprovedwhat.com/episodes/232-lipschitz-heights-gff/2026-10-19 https://aiprovedwhat.com/episodes/233-ashkin-teller-current-limit/2026-10-19 https://aiprovedwhat.com/episodes/234-orthogonal-ising-spin-glass-pressure/2026-10-19 https://aiprovedwhat.com/episodes/235-random-sat-thresholds/2026-10-19 https://aiprovedwhat.com/episodes/236-free-ising-tree-factor-threshold/2026-10-19 https://aiprovedwhat.com/episodes/237-honeycomb-saw-three-quarter/2026-10-19 https://aiprovedwhat.com/episodes/238-thorp-shuffle-log-mixing/2026-10-19 https://aiprovedwhat.com/episodes/239-symmetric-sign-matrix-singularity/2026-10-19 https://aiprovedwhat.com/episodes/240-eventual-categoricity-aec/2026-10-19 https://aiprovedwhat.com/episodes/241-turing-degrees-rigidity/2026-10-19 https://aiprovedwhat.com/episodes/242-single-fold-diophantine/2026-10-19 https://aiprovedwhat.com/episodes/243-choiceless-polynomial-time/2026-10-19 https://aiprovedwhat.com/episodes/244-partition-principle-not-choice/2026-10-19 https://aiprovedwhat.com/episodes/245-wn-implies-sn-pure-type-systems/2026-10-19 https://aiprovedwhat.com/episodes/246-cannon-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/247-finitely-presented-periodic-group/2026-10-19 https://aiprovedwhat.com/episodes/248-thompson-group-f-nonamenable/2026-10-19 https://aiprovedwhat.com/episodes/249-eilenberg-ganea-counterexample/2026-10-19 https://aiprovedwhat.com/episodes/250-boone-higman-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/251-dixmier-unitarizability-ulam/2026-10-19 https://aiprovedwhat.com/episodes/252-non-residually-finite-hyperbolic-group/2026-10-19 https://aiprovedwhat.com/episodes/253-finitely-presented-simple-amenable-group/2026-10-19 https://aiprovedwhat.com/episodes/254-artin-groups-kpi1/2026-10-19 https://aiprovedwhat.com/episodes/255-virtually-polycyclic-qi-recognition/2026-10-19 https://aiprovedwhat.com/episodes/256-kervaire-howie-conjectures/2026-10-19 https://aiprovedwhat.com/episodes/257-hyperbolic-group-not-cat0/2026-10-19 https://aiprovedwhat.com/episodes/258-gersten-one-relator-hyperbolic/2026-10-19 https://aiprovedwhat.com/episodes/259-group-without-fixed-price/2026-10-19 https://aiprovedwhat.com/episodes/260-spacetime-penrose-inequality/2026-10-19 https://aiprovedwhat.com/episodes/261-anderson-localization-delocalization/2026-10-19 https://aiprovedwhat.com/episodes/262-lieb-thirring-sharp-matrix/2026-10-19 https://aiprovedwhat.com/episodes/263-ionization-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/264-strong-cosmic-censorship-kerr/2026-10-19 https://aiprovedwhat.com/episodes/265-two-dimensional-area-law/2026-10-19 https://aiprovedwhat.com/episodes/266-three-mubs-dimension-six/2026-10-19 https://aiprovedwhat.com/episodes/267-bose-einstein-condensation/2026-10-19 https://aiprovedwhat.com/episodes/268-haldane-gap-spin-one/2026-10-19 https://aiprovedwhat.com/episodes/269-laughlin-gap/2026-10-19 https://aiprovedwhat.com/episodes/270-bfss-bound-states/2026-10-19 https://aiprovedwhat.com/episodes/271-blochs-law/2026-10-19 https://aiprovedwhat.com/episodes/272-entanglement-without-key/2026-10-19 https://aiprovedwhat.com/episodes/273-entropy-photon-number/2026-10-19 https://aiprovedwhat.com/episodes/274-parity-not-qac0/2026-10-19 https://aiprovedwhat.com/episodes/275-coulomb-qma-hard/2026-10-19 https://aiprovedwhat.com/episodes/276-gad-capacity/2026-10-19 https://aiprovedwhat.com/episodes/277-threshold-entangled-games/2026-10-19 https://aiprovedwhat.com/episodes/278-kohn-sham-counterexample/2026-10-19 https://aiprovedwhat.com/episodes/279-exact-quantum-factoring/2026-10-19 https://aiprovedwhat.com/episodes/280-voa-conformal-nets/2026-10-19 https://aiprovedwhat.com/episodes/281-qaoa-sk-optimum/2026-10-19 https://aiprovedwhat.com/episodes/282-scale-to-conformal/2026-10-19 https://aiprovedwhat.com/episodes/283-unitary-synthesis/2026-10-19 https://aiprovedwhat.com/episodes/284-quartic-separation/2026-10-19 https://aiprovedwhat.com/episodes/285-baum-connes-kadison-kaplansky/2026-10-19 https://aiprovedwhat.com/episodes/286-lattice-von-neumann-rigidity/2026-10-19 https://aiprovedwhat.com/episodes/287-free-group-factors/2026-10-19 https://aiprovedwhat.com/episodes/288-kadison-similarity/2026-10-19 https://aiprovedwhat.com/episodes/289-kadison-kastler/2026-10-19 https://aiprovedwhat.com/episodes/290-bicentralizer/2026-10-19 https://aiprovedwhat.com/episodes/291-toms-winter/2026-10-19 https://aiprovedwhat.com/episodes/292-kirchberg-embedding/2026-10-19 https://aiprovedwhat.com/episodes/293-hyperinvariant-subspaces/2026-10-19 https://aiprovedwhat.com/episodes/294-kaplansky-quasitrace/2026-10-19 https://aiprovedwhat.com/episodes/295-kadison-ringrose/2026-10-19 https://aiprovedwhat.com/episodes/296-generator-problem/2026-10-19 https://aiprovedwhat.com/episodes/297-naimark-zfc/2026-10-19 https://aiprovedwhat.com/episodes/298-free-entropy/2026-10-19 https://aiprovedwhat.com/episodes/299-kirchberg-rordam/2026-10-19 https://aiprovedwhat.com/episodes/300-quadratic-paving/2026-10-19 https://aiprovedwhat.com/episodes/301-trace-cones/2026-10-19 https://aiprovedwhat.com/episodes/302-mean-dimension/2026-10-19 https://aiprovedwhat.com/episodes/303-pure-infiniteness/2026-10-19 https://aiprovedwhat.com/episodes/304-hilbert-smith/2026-10-19 https://aiprovedwhat.com/episodes/305-disk-embedding/2026-10-19 https://aiprovedwhat.com/episodes/306-cosmetic-surgery/2026-10-19 https://aiprovedwhat.com/episodes/307-coarse-assembly/2026-10-19 https://aiprovedwhat.com/episodes/308-smith-toda/2026-10-19 https://aiprovedwhat.com/episodes/309-kervaire-three/2026-10-19 https://aiprovedwhat.com/episodes/310-quillen/2026-10-19 https://aiprovedwhat.com/episodes/311-hovey-strickland/2026-10-19 https://aiprovedwhat.com/episodes/312-homotopy-hypothesis/2026-10-19 https://aiprovedwhat.com/episodes/313-finite-generation/2026-10-19 https://aiprovedwhat.com/episodes/314-cyclic-length/2026-10-19 https://aiprovedwhat.com/episodes/315-singer-four/2026-10-19 https://aiprovedwhat.com/episodes/316-curtis-conjecture/2026-10-19 https://aiprovedwhat.com/episodes/317-thomason-model-structures/2026-10-19 https://aiprovedwhat.com/episodes/318-chromatic-splitting/2026-10-19 https://aiprovedwhat.com/episodes/319-hahn-wilson/2026-10-19 https://aiprovedwhat.com/episodes/320-borel-four/2026-10-19 https://aiprovedwhat.com/episodes/321-wall-d2/2026-10-19 https://aiprovedwhat.com/episodes/322-tingley/2026-10-19 https://aiprovedwhat.com/episodes/323-separable-quotient/2026-10-19 https://aiprovedwhat.com/episodes/324-lipschitz-banach/2026-10-19 https://aiprovedwhat.com/episodes/325-complete-crouzeix/2026-10-19 https://aiprovedwhat.com/episodes/326-cotype-cotype/2026-10-19 https://aiprovedwhat.com/episodes/327-markov-type/2026-10-19 https://aiprovedwhat.com/episodes/328-kirk-fixed-point/2026-10-19 https://aiprovedwhat.com/episodes/329-entropy-duality/2026-10-19 https://aiprovedwhat.com/episodes/330-free-space-bap/2026-10-19 https://aiprovedwhat.com/episodes/331-midpoint-diamonds/2026-10-19 https://aiprovedwhat.com/episodes/332-markov-cotype-l1/2026-10-19 https://aiprovedwhat.com/episodes/333-surfaces-r4/2026-10-19 https://aiprovedwhat.com/episodes/334-no-local-r3/2026-10-19 https://aiprovedwhat.com/episodes/335-integral-scalar-curvature/2026-10-19 https://aiprovedwhat.com/episodes/336-urysohn-width/2026-10-19 https://aiprovedwhat.com/episodes/337-cartan-hadamard/2026-10-19 https://aiprovedwhat.com/episodes/338-yau-uniformization/2026-10-19 https://aiprovedwhat.com/episodes/339-katok-entropy/2026-10-19 https://aiprovedwhat.com/episodes/340-nearby-lagrangian/2026-10-19 https://aiprovedwhat.com/episodes/341-hypersymplectic/2026-10-19 https://aiprovedwhat.com/episodes/342-tamed-compatible/2026-10-19 https://aiprovedwhat.com/episodes/343-ball-packing/2026-10-19 https://aiprovedwhat.com/episodes/344-metric-blaschke/2026-10-19 https://aiprovedwhat.com/episodes/345-closed-geodesics/2026-10-19 https://aiprovedwhat.com/episodes/346-varifold-singular-set/2026-10-19 https://aiprovedwhat.com/episodes/347-arnold-counterexamples/2026-10-19 https://aiprovedwhat.com/episodes/348-einstein-four-manifolds/2026-10-19 https://aiprovedwhat.com/episodes/349-solomon-yau/2026-10-19 https://aiprovedwhat.com/episodes/350-yau-nodal-bounds/2026-10-19 https://aiprovedwhat.com/episodes/351-scalar-curvature-ricci-flow/2026-10-19 https://aiprovedwhat.com/episodes/352-calabi-flow-singularity/2026-10-19 https://aiprovedwhat.com/episodes/353-affine-bernstein/2026-10-19 https://aiprovedwhat.com/episodes/354-cubic-torus-isoperimetric/2026-10-19 https://aiprovedwhat.com/episodes/355-tangent-flow-uniqueness/2026-10-19 https://aiprovedwhat.com/episodes/356-gigli-alexandrov-curvature/2026-10-19 https://aiprovedwhat.com/episodes/357-rcd-bilipschitz-charts/2026-10-19 https://aiprovedwhat.com/episodes/358-no-conjugate-points/2026-10-19 https://aiprovedwhat.com/episodes/359-kahler-no-bounded-coordinates/2026-10-19 https://aiprovedwhat.com/episodes/360-weak-mtw-transport/2026-10-19 https://aiprovedwhat.com/episodes/361-harmonic-dimension-counterexample/2026-10-19 https://aiprovedwhat.com/episodes/362-vlasov-maxwell-global/2026-10-19 https://aiprovedwhat.com/episodes/363-boltzmann-nonuniqueness/2026-10-19 https://aiprovedwhat.com/episodes/364-boltzmann-grad-lifespan/2026-10-19 https://aiprovedwhat.com/episodes/365-calderon-one-patch/2026-10-19 https://aiprovedwhat.com/episodes/366-mumford-shah-interior/2026-10-19 https://aiprovedwhat.com/episodes/367-bernoulli-critical-dimension/2026-10-19 https://aiprovedwhat.com/episodes/368-ball-evans-3d/2026-10-19 https://aiprovedwhat.com/episodes/369-hot-spots-simply-connected/2026-10-19 https://aiprovedwhat.com/episodes/370-henon-lane-emden/2026-10-19 https://aiprovedwhat.com/episodes/371-defocusing-nls-blowup/2026-10-19 https://aiprovedwhat.com/episodes/372-isotropic-elasticity-uniqueness/2026-10-19 https://aiprovedwhat.com/episodes/373-coulomb-monge-counterexample/2026-10-19 https://aiprovedwhat.com/episodes/374-brenier-one-third-stability/2026-10-19 https://aiprovedwhat.com/episodes/375-de-giorgi-dimension-eight/2026-10-19 https://aiprovedwhat.com/episodes/376-navier-stokes-computation/2026-10-19 https://aiprovedwhat.com/episodes/377-infinity-harmonic-c1alpha/2026-10-19