Considered but not curated.

Counterexample to the Dinitz–Garg–Goemans conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Counterexample to the Jacobian conjecture in dimension three

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Disproof of the Erdős unit-distance conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős problem #728 resolved and formalized in Lean

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Structure in Bruhat intervals of permutation groups

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

4×4 complex matrix multiplication in 48 scalar multiplications

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Improved lower bound for the 11-dimensional kissing number

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Improved step-size bound in smooth convex optimization

Registry flags known; review the original statement and assessment before excluding. Known mathematics can still have substantive formalization or reproduction value; a refuted claim may have a narrower surviving contribution.

Screening recorded: 2026-10-11

Early science acceleration experiments with GPT-5

Aggregate release: review constituent scoped results; do not count the release as another discovery.

Screening recorded: 2026-10-11

New lower bound constructions for the cap set problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Improved heuristics for online bin packing

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

AI co-scientist hypotheses on antimicrobial resistance and liver fibrosis

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Candidate treatment for dry age-related macular degeneration

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Faster matrix-multiplication algorithms found by reinforcement learning

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Faster sorting routines discovered and merged into the LLVM C++ library

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Large-scale prediction of new stable crystalline materials (GNoME)

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Autonomous laboratory reports solid-state synthesis of new inorganic compounds

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Silver-medal standard at the 2024 International Mathematical Olympiad

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

GPT-5 "solved 10 Erdős problems": it located existing solutions

Registry flags known; review the original statement and assessment before excluding. Known mathematics can still have substantive formalization or reproduction value; a refuted claim may have a narrower surviving contribution.

Screening recorded: 2026-10-11

Accurate protein structure prediction across the known proteome (AlphaFold2)

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Deep reinforcement learning controls tokamak fusion plasma

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Improved bound for the Erdős minimum-overlap problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Counterexamples to the Gaussian moments conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Near-quadratic lower bound for derivative-free convex optimization

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Nine Erdős problems and 44 OEIS conjectures proved with machine-checked proofs

Aggregate release: review constituent scoped results; do not count the release as another discovery.

Screening recorded: 2026-10-11

AlphaEvolve across 67 problems: 20 improvements, 8 regressions

Aggregate release: review constituent scoped results; do not count the release as another discovery.

Screening recorded: 2026-10-11

Strong prime number theorem formalized in Lean by an autoformalization agent

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Counterexample to Grothendieck's question on finite flat group schemes

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

New families of unstable singularities in fluid equations

Pending numerical-discovery review: assess the exact fluid equations, boundary conditions, profile residuals, comparison with earlier numerical constructions, and AI contribution in arXiv:2509.14185. Determine what is numerically discovered versus rigorously certified; the current metadata review does not establish a general Euler or Navier–Stokes blowup theorem. Substantive numerical discovery may qualify without a completed formal proof.

Screening recorded: 2026-10-11 · Decision reviewed: 2026-10-11

Gold-medal standard at the 2025 International Mathematical Olympiad

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Machine-checked Lean proofs for five of six 2025 IMO problems

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Olympiad geometry solved without human demonstrations

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Two theorems found by machine pattern-spotting in knot theory and representation theory

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Reinforcement learning refutes several conjectures in extremal combinatorics

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Limits to black-box amplification in QMA, with the key step written by GPT-5

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A fully machine-generated paper passed workshop peer review

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A working fluorescent protein generated by a language model

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

AI-generated bacteriophage genomes that replicate and kill bacteria

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Joint structure prediction for proteins, nucleic acids and ligands (AlphaFold 3)

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Complete wiring diagram of an adult fruit-fly brain

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

A language-model agent that planned and ran chemistry experiments on lab robots

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Enzymes with working catalytic machinery designed from scratch

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

A new structural class of antibiotic candidates against MRSA

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Halicin, an antibiotic found by a neural network screening a compound library

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Pathogenicity predictions for 71 million human missense variants

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Phase 2a results for a drug whose target and molecule both came from AI

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Generative model designs crystals to order; its flagship synthesis turned out to be a known compound

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Reinforcement learning steers a tokamak away from tearing instabilities

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A neural decoder that identifies quantum errors more accurately than hand-designed methods

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Medium-range weather forecasts from a graph neural network beat the operational physics model

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

An eighth planet around Kepler-90 found by a neural network

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

First Herculaneum scroll read end to end without unrolling it

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Eight problems from the Kourovka Notebook solved and formalized in Lean

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Ten results in mathematics and theoretical computer science with Lean certificates

Aggregate release: review constituent scoped results; do not count the release as another discovery.

Screening recorded: 2026-10-11

Phase 1 trial of a computationally designed pan-sarbecovirus vaccine

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Two kagome superconductors predicted by machine learning and confirmed in the lab

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Proportion of zeta zeros on the critical line raised to 67.25%

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Feige's conjecture on sums of nonnegative random variables settled

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Asymptotic degree-diameter problem resolved for fixed diameter

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gaussian product inequality conjecture proved

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Optimal exponent relating sumsets and difference sets determined

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kemeny rank aggregation shown NP-hard for three voters

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sabidussi's compatibility conjecture proved

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Identity for the critical exponents of jamming derived analytically

News-led primary-source review included this exact contribution after assessing the statement, baseline and AI attribution. If correct, replaces a longstanding numerical observation with an analytic derivation and connects two notions of marginal stability within the specified mathematical model. The result is within the infinite-dimensional fullRSB scaling equations and their assumptions. It is not a proof of every finite-dimensional jamming law. The paper reports human checking and lists a journal publication; AIProofWatch has not audited the proof or independently reproduced a check. Its mathematical-physics statement is in scope despite the source’s condensed-matter category.

Screening recorded: 2026-10-11 · Decision reviewed: 2026-10-11

• Parisi–Zamponi–Claude: an analytic proof of the jamming exponent identity

Cycle double cover conjecture proved for all bridgeless multigraphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sendov's conjecture proved for every degree

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Counterexamples to Schiffer's conjecture and the Pompeiu problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A 112-vertex counterexample to the Petersen coloring conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Complete minimizer picture for Gamow's liquid drop model

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

SOP₂ and SOP₃ theories shown to coincide

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

An antibiotic designed by reinforcement learning clears an MRSA infection in mice

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Banach's isometric conjecture settled in the remaining odd dimensions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Talagrand's convolution conjecture proved on the Boolean hypercube

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Matrix multiplication exponent lowered to below 2.371177

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bounded prime gaps of 246 formalized in Lean from Bombieri-Vinogradov

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Counterexample to the Yau–Tian–Donaldson conjecture for constant scalar curvature metrics

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Marton's inner bound shown not to reach the broadcast channel capacity region

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A complex structure on the six-sphere

News-led primary-source review included this exact contribution after assessing the statement, baseline and AI attribution. If correct, resolves the longstanding complex-structure existence problem for the six-sphere and provides a construction with further geometric research directions. Preprint claim; broad proof acceptance is not assessed. Engel’s exposition supports mathematical understanding but is not a AIProofWatch proof audit. The precise Alpöge–Claude interaction is not fully documented in Engel’s account. AIProofWatch has not checked either full argument or compiled a formalization.

Screening recorded: 2026-10-11 · Decision reviewed: 2026-10-11

• Alpöge–Claude reports: a complex structure on the six-sphere

Dubickas's question on integral parts of powers of square roots settled

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A prescribed Hamiltonian cycle that a book-embedding algorithm cannot produce

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Counterexample to Nevanlinna's half-plane omitted-values question

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Dimension-free weak-type bound for the vector Riesz transform

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Improved algebraic construction for off-diagonal Ramsey numbers

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Improved lower bound for large gaps between consecutive primes

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Counterexample to the smooth Carathéodory conjecture on umbilic points

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Elliptic curves over the rationals of rank at least 30 and at least 31

News-led primary-source review included this exact contribution after assessing the statement, baseline and AI attribution. If correct, advances a concrete longstanding construction record in arithmetic geometry, with human expertise and AI-assisted search retained in the attribution. Rank at least 31 is a lower bound, not an unconditional determination of exact rank 31; the original record conditions its exact-rank certification on BSD and GRH. It does not settle whether rational elliptic-curve ranks are bounded. Dujella’s table supports record context but is not a AIProofWatch rerun of point-independence checks; the exact prompting and search process is not fully documented.

Screening recorded: 2026-10-11 · Decision reviewed: 2026-10-11

• Alpöge–Howell–Claude: elliptic curves of rank at least 30 and 31

Dean's conjecture for k = 5, cycles of length divisible by five

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Counterexample to the stable forking conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Rapid mixing for spin systems on graphs of girth at least five

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A smooth random fast dynamo on the three-torus

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

First open case of the big-line-big-clique conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Counting linear extensions below the 2ⁿ barrier

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sparse domination implies convex body domination

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Hyperbolic surfaces with large systoles in every large genus

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Entropy production of the Boltzmann equation is not always monotone

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Equivalence of generic stability notions for Keisler measures

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Common neighbour conjectures for Saxl graphs fail at every base size

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Randomized metric distortion improved to 2.3282

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Not every Heyting algebra is the subterminal lattice of a topos

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Stable commutator length of a relator is not a one-relator group invariant

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Counterexample to the bounded mass property on the Hopf threefold

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Counterexamples to the fractional colouring conjecture for Pauli shadow tomography

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Optimal linear encoding rate for lossy compression of Bernoulli sources

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Fröberg's conjecture for quintics and septics in four variables

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #501 shown independent of ZFC, with both directions in Lean

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Transcendence in the affine case of Erdős Problem 270

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Separation between the ordinary and strong Kreiss constants

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Unrestricted Boolean multiplicative complexity of four-term binary polynomial multiplication

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Supporting affine functionals for entanglement of formation need not exist

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The DeLaViña-Waller conjecture on the Wiener index

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Partial proof of the Kasami APN triple-count conjecture, verified in Lean

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Criteria and two quadratic instances for Bugeaud's Problem 10.61

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Fermat's Last Theorem formalized end to end in Lean 4

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Lean proof that the percolation probability vanishes at the critical point in every dimension

News-led primary-source review included this exact contribution after assessing the statement, baseline and AI attribution. If correct, resolves the remaining integer-lattice dimensions of a central critical-percolation problem. The earlier Anthropic contribution deserves separate attribution from OpenAI’s later, broader graph claim. The statement concerns nearest-neighbour bond percolation on integer lattices, not site percolation or all quasi-transitive graphs. The artifact reports build, comparator and axiom checks; AIProofWatch has not rerun them or audited statement fidelity. The pinned source remains accessible, while the current main-branch path was inaccessible during review; that access failure is not treated as a withdrawal. OpenAI’s separate report covers quasi-transitive graphs with p_c<1.

Screening recorded: 2026-10-11 · Decision reviewed: 2026-10-11

• Claude reports: no infinite critical cluster on integer lattices

Lean disproof of Krempa's matrix form of the Koethe conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdos-Sos conjecture proved in Lean, in a form marginally weaker than the classical statement

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A quantum oracle separating QMA(2) from QMA

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Confirmation of the Daykin-Frankl conjecture from a language-model proof

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A smooth counterexample to the Trautman conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Disputed claim that Catalan's constant is irrational

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Finite-time blowup for Navier-Stokes with smooth forcing, Clay alternatives C and D

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Finite-time blowup for the unforced Euler equations from smooth compactly supported data

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Nivat's conjecture claimed in its sharp form, with the submitter stating he cannot check it

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Counterexample to Smale's mean value conjecture at K = 1

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Disproof of the Ibragimov-Iosifescu conjecture for phi-mixing sequences

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bollobas-Nikiforov conjecture claimed in full, in a weighted form

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bounded prime gaps improved to 212, with a Lean certificate of the deduction

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Prime gaps at most 186, conditional on three unproved Lean axioms

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Counterexample to Talagrand's operator cotype problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Improved lower bound for the complex Grothendieck constant

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Huang-Jiang-Oblomkov conjecture proved for every torus-knot singularity, with a Lean formalization conditional on two literature inputs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Browning-Sawin conjecture on random sign-coefficient hypersurfaces proved, with a Lean formalization assuming existing literature

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Finite-time blowup for the IPM equation with uniformly space-time smooth forcing

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Existence of the core in approval-based committee elections

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A 3-generator 9-relator group with unsolvable word problem, and smaller Adian-Rabin families

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Agent-run genome survey identifies array-associated reverse transcriptases in jumbo phages

Outside AIProofWatch mathematics and theoretical-computer-science scope.

Screening recorded: 2026-10-11

Exponential lower bound for the bit pigeonhole principle in unrestricted resolution over parities

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Four Color Theorem formalized in Lean 4 by AI agents, in two independent developments

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #1220 formalized as not provable in ZFC, from a 1987 Shelah-Stanley consistency result

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Hamilton cycles in connected Cayley graphs of polylogarithmic degree, toward the Lovász conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Norm-variation of multiple ergodic averages, including Tao's norm-convergence theorem, autoformalized in Lean in one week

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Six-particle MHV amplitude in planar N=4 super Yang-Mills computed at nine loops

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Six-task counterexample to the Kernel Conjecture of pinwheel scheduling

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Optimal packings of one to seven unit squares in a circle, proved in Lean

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Closed form for the anisotropic Watson integral of the cubic lattice

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

722 manuscripts in 372 result families from an unreleased OpenAI model

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Quasi-Riemann hypothesis: no zeros of zeta or any Dirichlet L-function with real part above 7/8

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kakeya maximal conjecture in three dimensions and the Kakeya set conjecture in four

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Zak's modified integer round-down conjecture for the skiving stock problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

At least five colours for the regular fourteen-gon Minkowski plane

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Wall's D(2) problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Friedgut-Kalai threshold-width conjecture for r-uniform hypergraph properties

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Burger-Ozawa-Thom question: does strong Ulam stability characterize amenability?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Ascoli-He-Park-Talagrand graph-decomposition conjecture at the expectation threshold

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Hasenfratz-Maggiore-Niedermayer exact mass gap for the two-dimensional O(4) lattice model

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The codimension-one bound for singular sets of stationary integral varifolds

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Uchida's conjecture on open homomorphisms of Galois groups of solvably closed extensions of number fields

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Small spatial embeddings for one-sided near inclusions of von Neumann algebras

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Quasipolynomial-time solution of simple stochastic and turn-based stochastic mean-payoff games

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Marginal irrelevance of weak bond disorder at the planar Ising critical point: quenched SLE3 interfaces for weak random bonds

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Szabo's Conjecture A on equivariant Jiang-Su stability, in the unital stably finite case

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Randomized versus quantum query complexity of total Boolean functions: is R(f) = O(Q(f)^3)?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Does the perfect matching polytope have a polynomial-size semidefinite lift?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The trilinear Hilbert transform conjecture at the L3 x L3 x L3 to L1 point (slopes 1, 2, 3)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The generalized Ramanujan conjecture for globally generic cuspidal representations of exceptional groups over function fields

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Bogoliubov quantum-depletion law for the dilute Bose gas in the thermodynamic limit

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The index conjecture for semi-log-canonical log Calabi-Yau pairs with finite rational coefficient sets

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

Howie's conjecture: every nonsingular system of equations over a group is solvable in an overgroup

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The strong isotropic constant conjecture: simplices maximize the isotropic constant

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gaboriau's fixed price problem: do all essentially free p.m.p. actions of a countable group have the same cost?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Critical two-point decay $r^{-1/4}(\log r)^{1/8}$ in the planar XY model

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Kosterlitz essential singularity of the XY correlation length

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The BFSS exclusion of positive-energy normalizable states in the relative SU(2) model

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The asymptotically anti-de Sitter Penrose inequality for three-dimensional initial data with spherical conformal infinity

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Emerton's dimension conjecture for the full Hecke algebra at p = 2 and odd level

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The permanence conjecture for weakly reversible mass-action systems with fixed rates

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Arnosti's RANDOM-VERTEX versus RANKING conjecture for greedy matching

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The 3SUM hypothesis: is 3SUM solvable in truly subquadratic time?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The charged spacetime Penrose inequality in upper-area form for Einstein-Maxwell initial data

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The stable coordinate conjecture in four variables

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The spatial Kadison-Kastler problem for close separable C*-algebras

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gromov's integral scalar-curvature bound for simplicial volume

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bloch's $T^{3/2}$ law for the three-dimensional quantum Heisenberg ferromagnet

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Alon-Krivelevich-Sudakov conjecture: graphs with a fixed forbidden subgraph have chromatic number O(Delta/log Delta)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Aaronson-Kuperberg unitary synthesis problem at constant diamond-norm error

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Projected Lax Conjecture: is every hyperbolicity cone a spectrahedral shadow?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Flouri et al.'s MSci identifiability conjecture, for clock-JC data with long loci

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Log abundance for threefolds in characteristic $p>3$ in numerical dimension one

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bose-Einstein condensation of the dilute hard-sphere Bose gas in the thermodynamic limit, at zero and small positive temperature

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The APSP hypothesis: are all-pairs shortest paths computable in truly subcubic time?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Ball's extension problem for Lipschitz maps from Hilbert space into $\ell_1$, via the Mendel-Naor metric Markov cotype question

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Erdos similarity conjecture for geometric progressions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The stable Morse number as a lower bound for nondegenerate Hamiltonian fixed points

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

Uniqueness of DiPerna-Lions renormalized solutions of the hard-sphere Boltzmann equation

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

C1 regularity of infinity-harmonic functions in dimension three and higher

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Borel conjecture for closed aspherical four-manifolds (homeomorphism form)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Kannan-Lovász-Simonovits conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Deterministic polynomial-time factorization of polynomials over prime fields

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Modularity of elliptic curves over imaginary quadratic fields

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Construction of the two-dimensional O(3) nonlinear sigma model as an interacting continuum quantum field theory with a mass gap

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Artin's Primitive Root Conjecture: Infinitude for Every Admissible Base

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Thue–Morse: all three Joshi–Rust first-occurrence formulas

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Period-doubling prefix palindromic length is not 2-regular

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Pro-modularity at p = 2: odd absolutely irreducible 2-adic representations occur in the completed Hecke algebra (auxiliary tame level allowed)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The 8/3-plus stability conjecture for power-free binary morphism lengths

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The global quantum geometric Langlands conjecture at irrational level

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Pointwise convergence of multiple ergodic averages for mixing transformations

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Recovery balance is preserved by duality

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Worst-case Subset Sum in time 2^((1/2 - c)n)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Singular Bernoulli convolutions at non-Pisot parameters

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The effective Iitaka fibration conjecture

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

The sharp exponential singularity rate of symmetric random sign matrices: P(det A_n = 0) = (1/2 + o(1))^n

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Lazić-Peternell Generalised Abundance Conjecture for projective klt pairs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The matrix multiplication exponent: is omega at most 9/4?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Two-size Gasoline: the tight approximation guarantee for iterative rounding

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Harmonic norms on quiver representations without spherical completeness (Haiden-Katzarkov-Kontsevich-Pandit Question 6.24)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Zhi-Hong Sun's Conjecture 3.7: two Apéry-like sums at discriminant -20

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Mean and variance of finite 2-adic complexity (Question 3.1)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Zhi-Hong Sun's Conjecture 3.6 on two Apéry-like binomial sums

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sun's Conjecture 3.5 on an Apéry-like supercongruence

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Vinogradov's least quadratic nonresidue conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Landau-Siegel zero problem: a uniform logarithmic gap for real zeros of real Dirichlet L-functions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Pinwheel Kernel Conjecture: a six-task counterexample

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Maximum number of pairwise equidistant lines in $\mathbb{R}^3$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bras-Amorós genus-monotonicity conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The quasi-Riemann hypothesis: a fixed zero-free half-plane for zeta and all Dirichlet L-functions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

No countable universal family of avoiding populations, even with exact parent counts

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

All-level NANUQ circularity and exact displayed-split support

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Ordinal certificates and exact pruning characterize sequence realization

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Zhu, Fang and Shi's question on invariant projections of weighted irrational rotations

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The least distortion of embedding edit distance into l1

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The PPT-squared conjecture: is the composition of two PPT channels always entanglement breaking?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The spacetime Penrose inequality: invariant ADM mass bounds the minimal area enclosing a trapped boundary, for general asymptotically flat initial data

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Hopkins' chromatic splitting conjecture (weak and odd-prime strong forms)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Secret key from all entangled states: does every entangled state have positive distillable secret key? (Kruger-Werner Problem 24)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bang's half-area cylinder covering question (and the 1-codimensional cylinder covering conjecture)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The hyperinvariant subspace problem on Hilbert space

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The transitive algebra problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Must a reflexive Banach space with no AUC renorming contain the countably branching diamonds uniformly? (Baudier-Lancien Problem 39)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Sharan-Sidford-Valiant precision question: do learners with $o(d^2)$ memory need $\Omega(d\log(1/\epsilon))$ samples for linear regression?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

De Giorgi's conjecture on monotone solutions of the Allen-Cahn equation

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kalton's question: does the Lipschitz-free space of every uniformly discrete metric space have the bounded approximation property?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Nienhuis's 3/4 exponent for self-avoiding walk on the honeycomb lattice, in diameter form

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Hajlasz-Onninen endpoint question for the centered maximal function, planar disk case: is $\|\nabla Mf\|_1\le C\|\nabla f\|_1$ on $W^{1,1}(\mathbb R^2)$?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Gopalan-Servedio conjecture: is $\sum_i\widehat f(\{i\})=O(\sqrt{\deg f})$ for Boolean functions?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kalton's Problem 2: does a bi-Lipschitz copy of $c_0$ force a linear copy of $c_0$?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Iitaka's subadditivity conjecture C(n,m), with its logarithmic form and Campana's orbifold form

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Schramm's Hausdorff-measure problem for SLE: an exact gauge function for the chordal SLE trace, 0 < kappa < 8

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Gaussian moat problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Hahn-Wilson conjecture: fp-type at most n spectra are exactly the thick subcategory generated by BP<n>

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The $N^{-1/4}$ law for the critical strip-crossing mass of honeycomb self-avoiding walk

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Optimal-order mixing of the Thorp shuffle on $2^d$ cards: is the mixing time $O(\log n)$?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Nam-Sly-Zhang conjecture: the free Ising state on the d-regular tree is a factor of IID up to the reconstruction threshold

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Scale invariance implies local conformal invariance for a class of four-dimensional unitary QFTs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The dimension exponent of first-order query complexity for well-conditioned log-concave sampling

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Anticanonical nonvanishing for smooth projective varieties with smoothly semipositive anticanonical bundle

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Viehweg's conjecture C(n,m)+ and Popa's logarithmic Iitaka-Viehweg inequality

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The effective log Iitaka conjecture for log canonical pairs with finite rational coefficient sets

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

Popa's logarithmic additivity conjecture for log-smooth families

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Ara-Maltsiniotis conjecture: Thomason model structures on strict n-categories for every n

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Is block sensitivity at most quadratic in sensitivity? (Nisan-Szegedy)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Homogeneous depth-five lower bounds for iterated matrix multiplication with unrestricted bottom fan-in (Bera-Chakrabarti question, balanced regime)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The PCP-for-PPAD conjecture of Babichenko, Papadimitriou and Rubinstein (quasilinear form)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Does the exact discrete Fourier transform require order n log n operations in unrestricted linear circuits?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Polynomial complementation of two-way nondeterministic finite automata

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gersten's conjecture: are Baumslag-Solitar-free one-relator groups hyperbolic?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Wu's bounded-domain question for negatively pinched Kahler manifolds: is a complete simply connected Kahler manifold with pinched negative curvature biholomorphic to a bounded domain?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The satisfiability threshold conjecture: a limiting random k-SAT threshold for every k >= 3

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Friedgut-Kalai sharp-threshold conjecture: threshold width O(1/log^2 n) for monotone graph properties

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Erdős-Faudree-Rousseau-Schelp cycle-clique conjecture: $R(C_m,K_n)=(m-1)(n-1)+1$ for $m\ge n\ge3$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Kirchberg-Rordam character question: does absence of characters on the central sequence algebra characterize Jiang-Su stability?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Villani's conjecture: weak Ma-Trudinger-Wang curvature implies convex tangent injectivity domains on compact manifolds

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The sharp constant for the terminal leave of random triangle removal (triangle case of the Joos-Kühn conjecture)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Is every word-hyperbolic group CAT(0)?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Are hyperbolic one-relator groups virtually compact special?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Basso-Farhi-Marwaha-Villalonga-Zhou conjecture: QAOA attains the Sherrington-Kirkpatrick ground-state energy as depth grows

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kirchberg-Rordam comparison question: pure infiniteness implies strong pure infiniteness, and weak equals strong for exact C*-algebras

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Kannan-Tetali-Vempala conjecture for simple undirected graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The asymptotic Gotsman-Linial conjecture on average sensitivity of polynomial threshold functions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sharpness of the Kesten-Stigum reconstruction threshold for three-state symmetric and ferromagnetic four-state Potts channels on trees

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Robert's trace-cone question: does the cone of extended traces classify W-stabilized separable nuclear C*-algebras?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kohn-Sham ensemble v-representability of Coulomb ground-state densities by potentials in L^{3/2}+L^infinity

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Voiculescu's question: do microstates and nonmicrostates free entropy agree when finite?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Williams's one-tape question: simulating one-tape time $T$ in $O(T^{1/2-\delta})$ space

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Is the free uniform spanning forest a factor of IID?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Patterson's conjecture on the first moment of cubic Gauss sums over primes

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Berkholz's question: is Weisfeiler-Leman equivalence with the dimension as part of the input EXPTIME-complete?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Curtis's conjecture: the mod-2 stable Hurewicz image of the sphere is spanned by the Hopf- and Kervaire-invariant-one classes

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The smooth realization problem: does finite entropy suffice for a smooth volume-preserving model?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős and Prachar's question: do the increases of $p_n/n$ have positive lower density?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Schramm's Problem 2.3: Gaussian free field and SLE$_4$ limits of uniform real Lipschitz heights on the triangular lattice

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Barendregt-Geuvers-Klop conjecture for beta reduction: weak normalization implies strong normalization in every pure type system

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Litt's potential integral density question for $\mathrm{SL}_r$ character varieties of curves

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The weak inhomogeneous Duffin-Schaeffer conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Quasipolynomial-time solution of mean-payoff games with binary weights

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem 416: does $V(2x)/V(x)\to2$ for the number $V(x)$ of totient values up to $x$, and is there an asymptotic formula?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Landsberg's Problem 7.19: a polynomial stabilization bound for the canonical Foulkes-Howe map

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Jacobsthal's quadratic-bound question: is h(k) = O(k^2)?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Yau's question on bounded holomorphic functions: does a complete simply connected Kahler manifold with sectional curvature at most $-a^2<0$ carry a nonconstant bounded holomorphic function?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Monge (co-motion) ansatz for three-marginal Coulomb transport in $\mathbb R^3$: is the optimum always attained by maps?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A power saving over Dey's bound for planar halving lines

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Sakoda-Sipser problem: exponential cost of simulating nondeterministic automata by two-way deterministic ones

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Alcalde Lopez-Heeney-Lis conjecture: joint scaling limit of critical Ashkin-Teller heights and current clusters

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Ajtai-Erdos-Komlos-Szemeredi conjecture on independent sets in K_r-free graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Harary's Snaky problem: is the Snaky hexomino a winner in the planar Maker-Breaker achievement game?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Phillips-Toms conjecture for minimal homeomorphisms: radius of comparison equals half the mean dimension

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Yau's dimension comparison for harmonic functions of integer polynomial growth under nonnegative Ricci curvature

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Heilbronn's triangle problem: a power-saving lower bound n^(-2+eta), refuting the almost n^-2 upper bound

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A uniform bound of three on generalized star height (the generalized star-height problem)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Exact (zero-error) polynomial-time quantum factoring over a fixed finite gate set

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Popa-Vaes paving conjecture over arbitrary maximal abelian subalgebras: strong-operator, approximation and quadratic paving

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The CKLW strong-locality conjecture for strongly rational unitary vertex operator algebras

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Ergodicity of billiards in every triangle with an irrational angle

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Singer conjecture in dimension four: L2-Betti numbers of closed aspherical four-manifolds vanish outside degree two

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Stein's conjecture on the Hilbert transform along Lipschitz vector fields

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Foulkes' conjecture for the sixth symmetric power: $\mathrm{Sym}^6(\mathrm{Sym}^bV)\hookrightarrow\mathrm{Sym}^b(\mathrm{Sym}^6V)$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gersten's conjecture for integral K-theory of arbitrary regular local rings (Quillen's form), in ramified mixed characteristic

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

Letrouit's square-root stability conjecture for Brenier maps from a uniform convex source

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Shub's entropy conjecture for C1 self-maps

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Campana-Peternell conjecture on Fano manifolds with nef tangent bundle, in dimension six

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Shokurov's bounded klt complements conjecture for Fano type contractions with finite rational coefficients

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bi-Lipschitz charts at every regular point of a noncollapsed RCD(K,n) space

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Lang-Plaut problem: does every doubling subset of Hilbert space bi-Lipschitz embed in some Euclidean space?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Birkar's Stein-degree conjecture for log Calabi-Yau pairs: the contraction-to-a-point case for ordinary pairs

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

The boundedness and persistence conjectures for weakly reversible mass-action systems

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem 304: are all fractions $a/b$ sums of $O(\log\log b)$ distinct unit fractions?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Exact Thue–Morse matching heights in an avoiding population

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Maximal specieslike clusters with a fixed real founding window

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The limiting free energy of orthogonally invariant Ising spin glasses at every temperature

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The polynomial removal conjecture for ordered binary matrices

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Matolcsi-Ruzsa-Weiner Fourier-vanishing conjecture for complex Hadamard matrices of order six

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Kollar-Pardon conjecture on projective varieties with semialgebraic universal cover

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Must a closed manifold admitting a metric without conjugate points admit a metric of nonpositive curvature?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gwynne and Miller's graph-metric conjecture for critical FK planar maps (0 < q < 4) and spanning-tree-weighted maps, finite spherical case

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Global Spherical Shell conjecture for minimal class VII surfaces with positive second Betti number

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The four-dimensional disc embedding conjecture and whether the free group is good

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Wall's manifold-realization question for finitely presented Poincare duality groups

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Lee-Uhlmann conjecture: smooth anisotropic Calderon uniqueness in dimension at least three, from one boundary patch

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Thiele's Problem 13: the symmetric L3 bound for the triangular Hilbert transform

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

NP-hardness of approximating Uniform Sparsest Cut within every constant factor

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Uniqueness of tangent flows at the first singular time of mean curvature flow of closed embedded surfaces

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

No bigeodesics in planar first-passage percolation under a minimum-of-four second-moment condition

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gigli's conjecture: Alexandrov curvature bounds are characterized by his distributional sectional curvature on noncollapsed RCD spaces

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Gaitsgory-Lafforgue-Raskin Ramanujan-Arthur decomposition of cuspidal automorphic functions over function fields

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The P = W conjecture for fixed-determinant (SL_n) Higgs moduli in composite rank

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A polynomial-time factor-2 approximation for shortest common superstring (the question behind the Tarhio-Ukkonen greedy conjecture)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sheffield's finite-volume continuum random tree prediction for critical FK planar maps with q > 4

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kaplansky's idempotent conjecture for torsion-free groups in characteristic zero

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The prescribed Hanf threshold in Shelah's categoricity conjecture is not provable in ZFC

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

The p-converse to Gross-Zagier-Kolyvagin in Selmer corank at most one, at every prime

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Chai's conjecture on stabilizer-invariant ideals of the Lubin-Tate deformation ring

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The finite lattice representation problem: is every finite lattice the congruence lattice of a finite algebra?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Polynomial-time approximate counting and uniform sampling of contingency tables with arbitrary margins

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Randomized k-server on arbitrary metrics: a competitive ratio polylogarithmic in k, of optimal order log^2 k

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The planar Mumford-Shah conjecture (interior regularity of the discontinuity set)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The logarithmic exponent of the off-diagonal Ramsey numbers r(s,t) for fixed s at least 5

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Strict convexity and differentiability of the planar first-passage limit shape for exponential weights

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős's totient-fiber conjecture: $\varphi(m)=n$ has more than $n^{1-\varepsilon}$ solutions for infinitely many $n$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Kuhn-Lloyd question: does the chromatic fixed-point loss of a p-group equal the shortest cyclic subnormal chain length?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The entropy photon-number inequality (Guha-Erkmen-Shapiro)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Courtade-Kumar conjecture: dictators are the most informative Boolean functions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Erdos-Gallai cycle decomposition conjecture (Erdos Problem #184)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Benjamini-Schramm criticality conjecture for bond percolation on quasi-transitive graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Does the Partition Principle imply the Axiom of Choice?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Simon's Problem 7 (1984): a continuum phase transition for a stable tempered pair potential, on an open interval of densities

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Haldane gap conjecture for the spin-one Heisenberg antiferromagnetic chain

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The generalized Lax conjecture: is every hyperbolicity cone spectrahedral?

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

The Shareshian-Wachs conjecture: elementary positivity of chromatic quasisymmetric functions of natural unit interval graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Saxl's conjecture: the tensor square of the staircase representation contains every irreducible representation of the symmetric group

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Phangara's conjecture: every order-six S-Hadamard matrix is equivalent to Tao's cubic matrix

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The entropy-rate dimension conjecture for self-similar measures on the line (including the exact overlaps conjecture)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The generalized Mukai conjecture on Picard number and pseudoindex of Fano manifolds

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Infinitely many closed geodesics on every Riemannian sphere and every closed three-manifold

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The threshold bound state conjecture for SU(N) supersymmetric matrix quantum mechanics

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Maximum-cardinality matching in general graphs in almost-linear time

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Termination of flips for projective log canonical fourfolds with rational boundary

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Petty's projection conjecture in dimensions at least four

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Budur-Fernandez de Bobadilla-Le-Nguyen conjecture on initial-form Milnor fibres of topologically equivalent germs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Abhyankar-Sathaye embedding conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Campana-Peternell conjecture on Kodaira dimension

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

The combinatorial invariance conjecture for Kazhdan-Lusztig polynomials

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A curve-class corrected Bogomolov-Gieseker inequality on every polarized threefold

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Squarefree values of irreducible quartic polynomials, and (d-2)-power-free values in every degree d at least 4

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Polynomial-bond-dimension PEPS approximation of gapped ground states on an open square grid

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Lipschitz isomorphism problem for separable Banach spaces

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Lins-de Melo-Pugh conjecture for quintic Lienard systems: at most two limit cycles

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Three-machine unit-job scheduling with precedence constraints (Garey-Johnson OPEN8): is P3|prec,p_j=1|Cmax in P?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Ostmann's inverse Goldbach conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The existential Hilbert sixteenth problem: a uniform bound on the number of limit cycles of planar polynomial vector fields

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kuznetsov's rationality conjecture for cubic fourfolds

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The David-Semmes problem in higher codimension: bounded Riesz transforms force uniform rectifiability for 1 < n < d-1

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Irrationality of Catalan's constant

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Virasoro conjecture for smooth complete intersections in projective space (and its transfer to projective bundles)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Rigidity of the Turing degrees: is every automorphism of the Turing degrees the identity?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Zilber-Pink for Hodge-generic curves in the Siegel modular threefold A_2

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Kapovich-Millson saturation conjecture for simply laced groups, type D: tensor saturation for $\mathrm{Spin}(2n)$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The ionization conjecture: bounded excess charge, ionization energy and radius for Coulomb atoms and molecules (Simon's Problem 9)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Zilber-Pink conjecture for abelian varieties over number fields

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Bass trace conjecture for complex group rings of all discrete groups

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Barnette's conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Polynomial-size black-box identity testing for noncommutative rational formulas

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Fourier restriction conjecture in three dimensions for positively curved surfaces: bounded-data and diagonal forms

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Existence of bounded-degree F2 coboundary expanders in every dimension

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A (1+epsilon)-approximation of edit distance in almost-linear time

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The second Kahn-Kalai conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Kervaire conjecture: adjoining one generator and one relator never kills a nontrivial group

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Fast mixing of Glauber dynamics for the Sherrington-Kirkpatrick model throughout the high-temperature phase, zero external field

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Kervaire invariant problem at the prime three: which standard classes $b_j$ survive the mod-3 Adams spectral sequence

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Convergence of the Flint Hills series

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Can an infinite self-dual uniform matroid be constructed in ZFC?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Rationality of the Gaitsgory-Lafforgue-Raskin canonical Arthur filtration

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Can worst-case trace reconstruction be done with polynomially many traces?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The local p-adic section conjecture for curves of genus at least two

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Gaussian propeller conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The two-point Chowla conjecture (ordinary averages)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Goemans-Linial integrality gap for uniform sparsest cut is nearly square-root logarithmic

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Solovej's generalized ionization conjecture for neutral Coulomb atoms (energies and radii)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Zariski's multiplicity conjecture: does embedded topology determine the multiplicity of a hypersurface singularity?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Quillen's conjecture on the poset of elementary abelian p-subgroups

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Laughlin spectral gap conjecture for the V1 pseudopotential on the sphere

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The elastic Calderon problem in three dimensions: do boundary measurements determine smooth isotropic Lame moduli?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Grothendieck's homotopy hypothesis for weak globular infinity-groupoids (Ara-Henry coherators)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Spontaneous magnetization of the three-dimensional quantum Heisenberg ferromagnet at low temperature (Lieb's Problem A)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A cubic lower bound for the border determinantal complexity of the permanent (beyond the quadratic Mignon-Ressayre barrier)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kraetzer's conjecture on the universal integral means spectrum

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Grothendieck's section conjecture for the modular curves X0(N) and X1(N) over Q

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bin packing within an additive constant: is there a polynomial-time algorithm using at most OPT + C bins?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Kakeya set conjecture in four dimensions (Hausdorff dimension)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The fixed point property for nonexpansive maps in reflexive Banach spaces

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Hilbert's tenth problem over the rational numbers

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Almost-sure global well-posedness for high-regularity random data in energy-supercritical defocusing NLS (Deng-Nahmod-Yue Open Problem 3), refuted on the twelve-torus

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Hovey-Strickland finite-generation question: are the homotopy groups of the $K(n)$-local sphere finitely generated over $\mathbb Z_p$?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A power saving in the Furstenberg-Sarkozy theorem (square-difference-free sets)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Brennan's conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The duality conjecture for metric entropy (Pietsch)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Franz-Parisi jamming exponents in the negative spherical perceptron, at margin -1

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Pixton's conjecture: do Pixton's relations give all tautological relations on the moduli of stable curves?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Quasi-isometric rigidity of virtually polycyclic groups (the Eskin-Fisher-Whyte lattice-recognition conjecture)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The tensor square conjecture for symmetric groups: some irreducible representation of S_n has a tensor square containing every irreducible

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Lê-Ramanujam mu-constant problem for surface singularities: are mu-constant families in three variables topologically trivial?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Chen's conjecture on smooth long-time existence of the Calabi flow

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The unrestricted infinite matroid intersection and packing/covering conjectures

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Local smooth isometric immersion of surfaces in three-space

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Euclidean Steinitz-Bergstrom conjecture: is the Euclidean Steinitz constant O(sqrt d)?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Bochner-Riesz conjecture in three dimensions (strict-order range)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bloch's Conjecture for Surfaces with $p_g=0$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Benson-Etingof-Ostrik conjecture for finite symmetric tensor categories

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The near-boundary Birkhoff conjecture: billiards integrable near the boundary are ellipses

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Deterministic black-box noncommutative singularity testing for rational linear matrices (Garg-Gurvits-Oliveira-Wigderson question)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The entanglement area law for gapped ground states in two dimensions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

QMA-hardness of the electronic Coulomb ground energy in the full continuum, with unit nuclear charges

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The $n^{1/6}$ free-energy fluctuation scale of the low-temperature Sherrington-Kirkpatrick model, with a limiting law

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The isoperimetric conjecture for the cubic flat three-torus (balls, tubes, slabs)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Birch-Swinnerton-Dyer formula in Selmer corank at most one

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdos Problem #371: do the integers with P(n) < P(n+1) have density 1/2? (Erdos-Pomerance joint independence of largest prime factors)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Donovan's conjecture on Morita finiteness of blocks with a given defect group

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Prescribed-order Euclidean prefix discrepancy O(sqrt d), independent of length (Bansal-Jiang-Meka-Singla-Sinha Conjecture 6.3)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Brannen's simplex conjecture for projection-body volume

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Gaitsgory-Raskin full-support conjecture for restricted geometric Langlands in positive characteristic

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The higher-dimensional Duke theorem for torus packets of totally real fields of prime degree at least five (with primitive quartic and sextic cases)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Benjamini-Schramm nonuniqueness conjecture: p_c < p_u for bond percolation on nonamenable quasi-transitive graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Ford-Konyagin-Luca conjecture: the prime factors of $p-1$ follow the Poisson-Dirichlet law

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Zauner's conjecture: at most three mutually unbiased bases in dimension six

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The ordinary-double-point gap conjecture for normalized volumes of klt singularities

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The unassisted classical capacity of the generalized amplitude-damping channel

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Parity is not in QAC0 (Moore's parity conjecture)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Matiyasevich's single-fold conjecture: every r.e. set has a single-fold Diophantine representation

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The approximation threshold for metric $k$-median: is $1+2/e$ attainable?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Modified Integer Round-Up Conjecture for bin packing (Scheithauer-Terno)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The hot spots conjecture for smooth simply connected planar domains

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Arnold's corank problem: is the Hessian corank of a hypersurface singularity an ambient topological invariant?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The finite-temperature free energy of the spherical perceptron with bounded continuous potentials (Gyorgyi-Reimann continuous-RSB formula)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sogge's local smoothing conjecture for the wave equation in three spatial dimensions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The log abundance conjecture in characteristic zero (rational boundary, every dimension), with canonical nonvanishing

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

The irrationality exponent of pi is 2

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The endpoint case of Carleson's pointwise convergence problem for the Schrodinger equation: a.e. convergence for data in H^{n/(2(n+1))}

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Hovey-Strickland conjecture: the thick tensor ideals of dualizable K(n)-local spectra

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Ball-Evans approximation problem in three dimensions: strong approximation of Sobolev homeomorphisms by diffeomorphisms

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The binary corrected Elliott conjecture for ordinary averages

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The critical dimension of the one-phase Bernoulli free boundary problem: is it seven?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Euclidean-complete affine Bernstein problem in dimensions three through nine

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Toda's Gepner conjecture for the quintic threefold

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Existence of minimal models and Mori fibre spaces for projective log canonical pairs, in generalized-pair form

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The equivariant cohomological Hikita conjecture for quiver gauge theories

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Shelah's eventual categoricity conjecture for abstract elementary classes

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Lane-Emden conjecture for elliptic systems, with its Henon-weighted extension

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The scalar-curvature extension conjecture for Ricci flow in all dimensions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Hellinger conjecture for Boolean functions under product noise

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The scalar-curvature extension conjecture for Ricci flow in dimension four

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Lichter and Schweitzer's question: does witnessed symmetric choice strictly increase the expressive power of CPT with counting?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Milne's rationality conjecture for abelian varieties

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Derandomization of logarithmic space: is L = RL = BPL?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Hoering's conjecture: tangent-bundle summands on rationally connected manifolds are integrable

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Eisenbud-Green-Harris conjecture over fields of characteristic zero

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Unique Games Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Sandier-Serfaty conjecture: the triangular lattice minimizes planar Coulomb renormalized energy

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Solomon-Yau least-volume conjecture for minimal hypersurfaces of round spheres

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Hadwiger's Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Constant-competitive single-sample prophet inequalities on general matroids

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The higher-dimensional Erdos distinct-distances conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Zarankiewicz's crossing-number conjecture (Turan's brick factory problem)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Banach's problem: a probability-preserving transformation with simple Lebesgue spectrum

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Hochster's small Cohen-Macaulay module conjecture for complete local domains

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Naor's sublinear-dimension question for finite subsets of Lp, 1 < p < infinity, p not 2

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Must a finitely presented nil algebra be nilpotent? (Ufnarovskij's question)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Tingley's problem: does every surjective isometry between unit spheres of Banach spaces extend to a linear isometry?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sharpness of the Cohn-Elkies linear programming bound in dimension two

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Margulis-Platonov conjecture on normal subgroups of groups of rational points

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Are all complex K3 surfaces Oka manifolds?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The generator problem: is every von Neumann algebra with separable predual singly generated?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Parabolic Intersection Conjecture for Artin groups

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Are all word-hyperbolic groups residually finite?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kaplansky's quasitrace problem: is every 2-quasitrace on a unital C*-algebra a trace?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A fully polynomial randomized approximation scheme for counting perfect matchings in general graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The lex-plus-powers conjecture over fields of characteristic zero

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The qualitative Nagata-Biran-Szemberg conjecture: maximal multipoint Seshadri constants for many very general points

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bizeul's conjecture: a dimension-free log-Sobolev inequality for log-concave measures with subgaussian linear marginals

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Furedi-Gyarfas-Simonyi Sharp Connected-Matching Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Robert-Tikuisis Conjecture (C1): finite nuclear dimension implies Jiang-Su stability without elementary subquotients

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The double-dimer CLE4 scaling-limit conjecture in the half-plane Temperleyan setting

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Connes' rigidity conjecture for lattices in higher-rank and other property (T) local-field groups (W*-superrigidity of lattice group factors)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The separable quotient problem for Banach spaces

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The smallest dimension of a counterexample to Borsuk's conjecture: failure in dimension nine

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Seymour's second neighborhood conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Is there an infinite finitely presented simple amenable group?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The directional zero-one law for random walks in iid random environments in dimension at least three

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Bogomolov-Pop conjecture: function fields over algebraically closed fields are determined by their pro-l abelian-by-central Galois groups

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The planar and bounded-treewidth cases of the GNRS L1-embedding conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kaplansky's zero-divisor conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Barker-sequence conjecture: no Barker sequence of length greater than 13

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The strong thin tree conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Campana's abelianity conjecture for special compact Kahler manifolds

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Burr-Erdős hypercube Ramsey conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Blass-Gurevich-Shelah conjecture: choiceless polynomial time with counting does not capture polynomial time

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Iyengar-Ma-Walker Dutta multiplicity conjecture for complete local domains of positive characteristic

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The strong Kadison-Kastler conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The logarithmic Brunn-Minkowski conjecture for origin-symmetric convex bodies

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Voiculescu's question: is free entropy dimension an invariant of the generated von Neumann algebra?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

He-Schramm rigidity conjecture: circle domains with conformally removable boundary are rigid

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Arnold's nearby Lagrangian conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Kadison-Ringrose cohomology conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Rokhlin's multiple-mixing problem for a single transformation

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Polyakov's mass-generation conjecture: exponential decay at every temperature in the two-dimensional O(n) model, n at least 3

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Deligne-Drinfeld conjecture: the Grothendieck-Teichmuller Lie algebra is free on odd generators

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Conformal universality of bulk spin and energy correlations for weakly interacting square-lattice Ising models

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Simple overgroups of type F-infinity for groups with solvable word problem (higher-finiteness Boone-Higman)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Stable Coordinate Conjecture in ambient dimension five

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Auslander-Reiten conjecture for Artin algebras

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Leader-Russell-Walters conjecture: is every Euclidean Ramsey set subtransitive?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The ballisticity conjecture: directional transience implies ballisticity for random walks in iid uniformly elliptic environments

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Donaldson's tamed-to-compatible conjecture for almost complex four-manifolds

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Serre's positivity conjecture for intersection multiplicities

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Ryser's conjecture on covers of r-partite hypergraphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gottschalk's surjunctivity conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The periodic tiling conjecture in dimension three

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The purely cosmetic surgery conjecture for knots in the three-sphere

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The projective-space base conjecture for Lagrangian fibrations of compact hyperkahler manifolds

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Anari-Oveis Gharan-Vinzant perfect-matching entropy conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Almost-everywhere regularity of stationary integral varifolds

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The blockwise Alperin weight conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Cardy's formula and conformal invariance for critical bond percolation on the square lattice

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

An FPRAS for counting common bases of two matroids

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The coarse Novikov conjecture for bounded-geometry spaces: is coarse assembly rationally injective?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Long-time nonequilibrium fluctuations of the hard-sphere gas (finite-dimensional laws)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Rohde-Schramm conjecture: critical square-lattice FK interfaces converge to SLE for 1 <= q < 4 (and 0 < q < 1 in smooth domains)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Dixmier's unitarizability problem for discrete groups

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Morse-number Arnold conjecture for nondegenerate Hamiltonian diffeomorphisms

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

Turyn's conjecture that binary merit factors are bounded

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Boone-Higman conjecture: groups with solvable word problem embed in finitely presented simple groups

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Nagata's conjecture on plane curves through very general points

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kirchberg's embedding problem: does every separable C*-algebra embed in a norm ultrapower of the Cuntz algebra O2?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Explicit nonbipartite Ramanujan graphs of every degree

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Schafhauser-Tikuisis-White Problem XXI: tracial real rank zero implies uniform property Gamma

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kobayashi's conjecture: a compact Kahler manifold with no entire curves has ample canonical bundle

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kadison's Similarity Problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Mezard-Parisi formula for diluted spin glasses: the Panchenko-Talagrand equality conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The one-dimensional Lieb-Thirring conjecture for $1/2<\gamma<3/2$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Calderon's uniqueness question for bounded measurable scalar conductivities in dimension three

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Harary-Hill conjecture on the crossing number of complete graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The forcing conjecture for bipartite graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Donaldson's hypersymplectic deformation conjecture: deforming hypersymplectic four-manifolds to hyperkahler triples in fixed cohomology

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kurosh's problem for division rings: are algebraic division rings locally finite?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdos Problem #138: do the van der Waerden numbers grow superexponentially, W(k)^(1/k) -> infinity?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The classification problem for finite Euclidean Ramsey sets

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Yau's nodal-set conjecture for smooth metrics: is nodal measure comparable to sqrt(lambda)?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Naor's question: does nontrivial Markov type force an equivalent uniformly smooth norm (superreflexivity)?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Smooth isometric immersion of every closed Riemannian surface into R^4

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Gromov-Lawson conjecture: closed aspherical manifolds admit no metric of positive scalar curvature

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Simon's Problem 1: absolutely continuous spectrum for the weakly disordered Anderson model in dimension three and higher

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Eilenberg-Ganea conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #3: sets with divergent reciprocal sum contain arbitrarily long arithmetic progressions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gyarfas's conjecture on covering edge-colored complete graphs by r-1 monochromatic trees

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Smith-Toda complexes V(n) at every height when the prime may vary

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A universal group of type F-infinity containing every finitely presented group (F-infinity Higman embedding)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The circulant Hadamard conjecture: real circulant Hadamard matrices exist only in orders 1 and 4

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A power saving over the Spencer-Szemerédi-Trotter n^(4/3) bound for planar unit distances (Erdős Problem 90)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The classification of closed Einstein four-manifolds with positive sectional curvature

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Nakayama conjecture on dominant dimension

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Blaschke conjecture: Blaschke manifolds are compact rank-one symmetric spaces

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Falconer distance conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The finitistic dimension conjecture for finite-dimensional algebras

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sinai's conjecture: positive metric entropy of the standard map for a positive-measure set of parameters

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The free group factor isomorphism problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Talagrand's discrete convexity conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Goldfeld's conjecture on analytic ranks of quadratic twists

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The cotype-cotype conjecture: finite cotype of a Banach space and its dual implies K-convexity (approximation property case)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Toms-Winter conjecture: strict comparison implies Jiang-Su stability for simple nuclear C*-algebras

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sidorenko's conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Universal optimality of the triangular lattice in the plane (Cohn-Kumar)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The group-ring Determinant Conjecture (Luck)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Kadison-Kaplansky Projection Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The LeBrun-Salamon conjecture: positive quaternionic-Kahler manifolds and contact Fano manifolds are homogeneous

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Almost everywhere convergence of Fourier series in L log L

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Beauville's splitting conjecture for two integrable summands

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Is the worst-case translative covering density of convex bodies linear in the dimension?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Fujita's freeness conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The (B)-conjecture for even log-concave measures: log-concavity of t -> mu(e^t K)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Explicit depth-three circuit lower bounds beyond the square-root exponent

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The complete Crouzeix conjecture: the numerical range is a complete 2-spectral set

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Kakeya maximal conjecture in three dimensions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gaussian free field limit of the six-vertex height function throughout the regime a = b = 1, 0 < c <= 2

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Lech's multiplicity conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The K(pi,1) conjecture for Artin groups of finite rank

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdos's question on the maximum modulus of real Littlewood polynomials: is it at least (1 + c) sqrt(N)?

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

Simon's Problem 2: pure-point spectrum for the two-dimensional Anderson model at every disorder

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Global classical solutions of the 3D relativistic Vlasov-Maxwell system for large data

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gromov's codimension-two Urysohn width conjecture for positive scalar curvature, with the macroscopic dimension conjecture for universal covers

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Marrakchi's relative bicentralizer conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Lipman-Zariski conjecture in characteristic zero

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Cardy's formula for critical Poisson-Voronoi percolation (annealed crossing part of Schramm's Problem 2.12)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Linear List Hadwiger Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The amenability problem for Thompson's group F (Geoghegan's conjecture)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Shafarevich conjecture on holomorphic convexity of universal covers

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

GOE bulk universality for random regular graphs of fixed degree

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Talagrand's conjecture that fractional and integral expectation thresholds agree up to a constant

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Katok's entropy rigidity conjecture in dimension at least three

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Colin de Verdiere Chromatic Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The degenerate Arnold conjecture: critical-number and rational cup-length lower bounds for Hamiltonian fixed points

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

The strong hyperkahler SYZ conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Siegel-Yao Conjecture A: symplectic packings of balls into a ball in dimension at least six

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The odd regular two-dimensional Fontaine-Mazur conjecture over Q at p = 2

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Long-time Boltzmann-Grad limit for stable finite-range radial potentials

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Hindman's finite sums and products conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Yau's uniformization conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Hadwiger-Nelson problem: the Euclidean plane is not five-colorable

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Brauchart-Hardin-Saff conjecture on the linear term of optimal logarithmic energy on the 2-sphere

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Cannon's Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Baum-Connes Conjecture (coefficient-free, reduced)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The word problem for finite-rank Artin groups

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The CAT(0) conjecture for Artin groups

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Zariski cancellation problem for complex affine space in dimension four

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Tachikawa's second conjecture for self-injective algebras

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Dolgachev-Weisfeiler affine-fibration conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Khot's 2-to-1 Games Conjecture with perfect completeness

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The weak pinned Erdős distance conjecture: some point determines n^(1-o(1)) distinct distances (Erdős Problem 604, first part)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Koebe's circle-domain conjecture (Kreisnormierungsproblem)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Schonhage-Strassen conjecture that n log n is optimal for integer multiplication on multitape Turing machines

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The generalized Cartan-Hadamard isoperimetric conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The finitely presented Burnside problem: is every finitely presented periodic group finite?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Hilbert-Smith Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Strong cosmic censorship near Kerr in Christodoulou's square-integrable-connection formulation

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kaplansky's direct finiteness conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Vicente's question: is the Gromov width of every symmetric Lagrangian polar product equal to 4?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The symmetric Mahler conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Hlawka constants for Schatten $p$-norms (Audenaert–Kittaneh Problem 7)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Mahler conjecture for general (non-symmetric) convex bodies

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Laplacian $S_{n,n}$ conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Griffiths' conjecture: does every ample vector bundle carry a Griffiths-positive metric?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The logarithmic spiral is optimal for shoreline search (Baeza-Yates–Culberson–Rawlins conjecture)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Graham's spherical conjecture: every finite spherical set is Ramsey

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Katsumasa–Roff–Yoshinaga conjecture on Hausdorff continuity of magnitude

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kahn's flow conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The integrality gap of weighted $k$-matroid intersection

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The weak Pach-Tardos conjecture for acyclic matrix patterns

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

Talagrand's operator cotype problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Goldbach's conjecture for the Liouville function

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Is there a strongly aperiodic monotile in three dimensions?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Simonovits-Sós conjecture on 3AP-intersecting families

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

An exponential lower bound for the bit pigeonhole principle in resolution over parities

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Does every abelian envelope have the quotient property?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Bilu-Linial signing conjecture for regular graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Deterministic $k$-server conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Does Tachikawa's second conjecture imply the Auslander-Reiten conjecture?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Copeland-Erdős constant is not strongly normal in base 10

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kusner's conjecture is false for every $p>4$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Ryser's conjecture for four-partite hypergraphs with matching number two

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Mahler's $Z$-number problem in its generalized form

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bailey-Crandall's mutual-nondivisibility question for Stoneham numbers: $\alpha_{6,4}$ is not $6$-normal, and $\alpha_{b,c}$ is $b$-normal iff some prime of $c$ misses $b$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Medvedev logic is undecidable

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Hodge conjecture for CM abelian varieties

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The uniform Turán density of the tetrahedron

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Hodge conjecture for products of K3 surfaces

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

The Tate conjecture for abelian varieties over finite fields

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Kuga-Satake Hodge conjecture for K3 surfaces

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

Nontriviality of number-restricted arithmetic over subDMQ

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Grothendieck's Hodge standard conjecture for abelian varieties

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Normality of a sum of two Stoneham constants

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Which sequences are biologically unavoidable?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A directed Erdős-Sós theorem for Eulerian digraphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The periodicity conjecture for finite-dimensional algebras

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Binary normality of a localized logarithm value

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Hilbert transform-UMD dependence problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Finite-time blowup for the inviscid Boussinesq system with smooth forcing

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Minimum-Rank and Mortality Bounds for Finite Real Matrix Monoids

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The ceiling of the single-letter entropy method for the union-closed sets conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

An improved lower bound for the Shannon capacity of $C_{11}$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Finite-time blowup for the IPM equation with a uniformly space-time smooth force

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sharp Finite Markov Order in Intrinsic Sofic Dimension

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Finite-time blowup for the 3D incompressible Euler equations with smooth forcing

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Reciprocal Fermat Constant is Nonnormal

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #1221

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Erdos-Borwein Constant is 2-Dense

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kalai's conjecture for tight trees

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Lower bound for the complex Grothendieck constant

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Reciprocal-triple-free sets: finite maxima through 734

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Koizumi–Liu Eventual Sign Alternation Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Optimality of the added-vector code in the 19-dimensional kissing construction

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A 44-vertex triangulation of $\mathbb{RP}^{6}$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Does there exist a bijection of $\mathbb{R}^n$ to itself such that the forward map is connected but the inverse is not?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Absence of critical Bernoulli site percolation on $\mathbb Z^d$ for $d \ge 3$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bollobás–Nikiforov conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The γ–θ conjecture in eternal domination

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Ibragimov–Iosifescu conjecture for φ-mixing sequences

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Navier–Stokes Millennium Prize problem: finite-time breakdown with smooth forcing

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The proper hat-guessing number of $K_8-e$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Petrykowski's conjecture on bounded orbits and definable amenability

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Cycle-residue stability at minimum degree five

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Prime Gaps at Most 186

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Absence of critical Bernoulli bond percolation on $\mathbb Z^d$ in every dimension $d \ge 2$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The proper hat-guessing number of $K_7-e$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Improved maximal prime-gap lower bound

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Smale’s Mean Value Conjecture ($K=1$)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The proper hat-guessing number of $K_6-e$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Köthe Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Conway's Refinement Conjecture for Omnific Integers

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Finite-time blowup for the 3D incompressible Euler equations from smooth data

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A new bound for small gaps between primes: $H_1 \le 212$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Daykin–Frankl conjecture on convex subsets of the Boolean lattice

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Logarithmic basis number of graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The proper hat-guessing number of $K_5-e$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Anari's Bethe permanent conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Depth-1 distinctness for pseudorandom unitaries

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A Quantum Oracle Separation Between $\mathsf{QMA}(2)$ and $\mathsf{QMA}$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Interior Curvature Estimates for the Graphical Scalar Curvature Equation in All Dimensions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A Smooth Counterexample to the Trautman Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bounded prime gaps: $H_1 \le 236$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

McKean Entropy-Production Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Common Neighbour Conjectures for Saxl Graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Measures on Partial Orders

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Exact rank and Smith profile of affine incidence over $\mathbb Z/p^3\mathbb Z$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős matching conjecture: the four-uniform case

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Morris's asymptotic conjecture: $\mathrm{FC}(k,n)=\Theta_k(n^{k-2})$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Pebody's even cyclic four-deck reconstruction conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The sharp threshold for the multiplicative Merino-Welsh inequality

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

$(\xi\alpha^n)_{n\ge1}$ is not uniformly distributed modulo one for Pisot $\alpha$ and $\xi$ in the Cantor set $C(\alpha)$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A Counterexample to the Stable Forking Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Unrestricted Boolean multiplicative complexity of four-term binary polynomial multiplication

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A complex structure on $S^2\times S^4$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Improving Randomized Metric Distortion to 2.3282

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Dean's conjecture for $k=5$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #74: locally almost bipartite graphs of infinite chromatic number

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Non-MF groups and non-finite full group C*-algebras

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #126: prime divisors of pairwise sums

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #1: sum-distinct sets

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Failure of Higher-Order Truth within Intuitionistic Propositional Logic

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Large systoles in every sufficiently large genus

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Lyons–White conjecture: rate-monotonicity of $\ell^{2m}$ distances for random walks on dihedral groups

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Supporting affine functionals for Entanglement of Formation

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #571: rational exponents for bipartite Turán numbers

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Graffiti Conjecture 806

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #548: the Erdős–Sós conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

An Exact All-Width Plateau for the Three-Summand Tu-Deng Count modulo $2^k-1$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Rapid mixing for spin systems on graphs of girth at least five

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Exact rank and Smith profile of affine incidence over $\mathbb Z/p^2\mathbb Z$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Fröberg’s conjecture for quintics and septics in four variables

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A tilted residue-class construction for long prime-free intervals

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Equivalence of generic stability notions for Keisler measures

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sparse domination implies convex body domination

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The $(3,4,\infty)$ Modular Family of 2-Tori as a Complex Structure on $S^6$

News-led primary-source review included this exact contribution after assessing the statement, baseline and AI attribution. If correct, resolves the longstanding complex-structure existence problem for the six-sphere and provides a construction with further geometric research directions. Preprint claim; broad proof acceptance is not assessed. Engel’s exposition supports mathematical understanding but is not a AIProofWatch proof audit. The precise Alpöge–Claude interaction is not fully documented in Engel’s account. AIProofWatch has not checked either full argument or compiled a formalization.

Screening recorded: 2026-10-11 · Decision reviewed: 2026-10-11

• Alpöge–Claude reports: a complex structure on the six-sphere

Entropy of Bernoulli Measures Conditioned on Affine Subspaces and a Problem of Ancheta-Massey

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Nevanlinna’s half-plane omitted-values problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A Rank-$31$ Record for an Elliptic Curve over $\mathbb{Q}$

News-led primary-source review included this exact contribution after assessing the statement, baseline and AI attribution. If correct, advances a concrete longstanding construction record in arithmetic geometry, with human expertise and AI-assisted search retained in the attribution. Rank at least 31 is a lower bound, not an unconditional determination of exact rank 31; the original record conditions its exact-rank certification on BSD and GRH. It does not settle whether rational elliptic-curve ranks are bounded. Dujella’s table supports record context but is not a AIProofWatch rerun of point-independence checks; the exact prompting and search process is not fully documented.

Screening recorded: 2026-10-11 · Decision reviewed: 2026-10-11

• Alpöge–Howell–Claude: elliptic curves of rank at least 30 and 31

Transcendence in the affine case of Erdős Problem 270

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Haglund's Zero-Trajectory Conjecture for the First Riemann Xi Approximant

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bounded mass property for compact complex manifolds

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Problem 3 of Dubickas (2006): Is $\sqrt{3} \in \mathcal{Z}$?

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The stable commutator length of a relator is not a one-relator group invariant

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Whether Marton's Inner Bound Achieves the Broadcast Channel Capacity Region

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Fractional Colouring Conjecture for Triply Efficient Pauli Shadow Tomography

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Record Rank for an Elliptic Curve over $\mathbb{Q}$

News-led primary-source review included this exact contribution after assessing the statement, baseline and AI attribution. If correct, advances a concrete longstanding construction record in arithmetic geometry, with human expertise and AI-assisted search retained in the attribution. Rank at least 31 is a lower bound, not an unconditional determination of exact rank 31; the original record conditions its exact-rank certification on BSD and GRH. It does not settle whether rational elliptic-curve ranks are bounded. Dujella’s table supports record context but is not a AIProofWatch rerun of point-independence checks; the exact prompting and search process is not fully documented.

Screening recorded: 2026-10-11 · Decision reviewed: 2026-10-11

• Alpöge–Howell–Claude: elliptic curves of rank at least 30 and 31

Smooth Random Fast Dynamo on the Three-Torus

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Upper bound $\Lambda \le 0.1787854$ on the de Bruijn-Newman constant

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Kára–Pór–Wood Big-Line-Big-Clique Conjecture: Four Collinear Points or a Six-Clique

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #501: infinite independent sets for families of small outer measure

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A Conjecture on Triple Counts for the Kasami APN Function

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The DeLaViña–Waller conjecture on the Wiener index

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The 4-color Rado number of x+y+c=z: general case

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The $C^\infty$ Carathéodory Conjecture on Umbilic Points

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Separation Between the Ordinary and Strong Kreiss Constants

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Counting Linear Extensions Below the $2^n$ Barrier

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Fourth-moment conjectures for Rademacher sums

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Stein’s dimension-free weak-(1,1) Riesz transform problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Colombo’s difference-power determinant conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Matrix Multiplication Exponent

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A 32-leaf tree requiring six coordinates for an isometric $\ell_\infty$ embedding

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Talagrand’s convolution conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Composites Among $[\xi 7^n]$ and Right-Truncatable Primes in Base 7

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The 4-Color Rado Number of $x+y+c=z$: $R(c)=40c+41$ Whenever $c+1$ Is Divisible by 3, 4, 5 or 7

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kusner's Conjecture on Equilateral Sets in $\ell_p^n$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Quartic Hessian Conjecture in Dimension Four

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Convergence of Three-Block ADMM with Identity Third Block

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Cone Theorem for Effective Fourfold Pairs in Characteristic $p > 5$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Lorist-Schwenninger Remark 2 positivity question

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Pavez-Signe's Length-Control Question for Spanning Subdivisions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Reading's Problem 9.3: Order Dimension Versus Rank for Simplicial Arrangements

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Score-Determined Induced Tournament Statistics: an All-Orders Classification

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Tarizadeh's Conjecture on the Maximality of Purely-Prime Ideals

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Neuen-Grohe Problem: Isomorphism of Tournaments with Bounded VC Dimension

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Exact order-three ambiguity of the Einstein-Maxwell-dilaton coupling $a^2$ in metric jets, and its fourth-order collapse

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sivaraman's Perfect-Divisibility Characterization Question

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Radchenko–Viazovska question on Fourier interpolation

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Dihedral Ramsey numbers of the alternating a-path versus K_b, for every a >= 4: 1 + (a-1)(b-1)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Every PPT channel has finite entanglement-breaking index

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Unbounded variation solutions for uniformly elliptic equations in nondivergence form in dimension three

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Universal volume growth bounds from positive intermediate curvature

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Banach's isometric conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

1.17353 planar lower bound and exact local envelopes for cost-preserving single-source unsplittable flow

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

$SOP_2 = SOP_3$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Foregger–Sinkhorn Tie-Point Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Nineteen exact reflective and dihedral Ramsey numbers from Damnjanovic-Dordevic's tables

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Courtade's conjecture on volumes of Minkowski sums with the ball

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Dihedral and cyclic Ramsey numbers of the alternating 3-path

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Word-length spectral triples as compact quantum metric spaces

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Seymour's Second Neighborhood Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Hadamard Matrix of Order 668

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The $(2,1)$-Gapped Consecutive-Ones Property Problem is NP-complete

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Treglown's equitable acyclic colouring conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gamow liquid-drop minimizer conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Strong Graph Reconstruction Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Phelps–Rodriguez Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Conjectures 2a and 2b of Kauers and Zeilberger

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The First Rigorous Solid Standard Young Tableaux Challenge

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Lower Bounds for Stepsize-Based Acceleration of Gradient Descent

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Predicting Diagonalizability of a Mean Matrix

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Five-Dimensional Geode Challenge of Amdeberhan, Kauers and Zeilberger

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Albertson–Berman Induced Forest Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Planar Steklov Analogue of Kac's Question

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Lions' Maximal Regularity Problem at the Half-Holder Endpoint

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Spahn and Zeilberger's Third Challenge: Holonomicity of the Restricted Permutation Counts

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Second Computational Chomp Challenge of Ekhad and Zeilberger

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Hyperkahler Period-Index Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Proportion of Zeta Zeros on the Critical Line

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Imbalance Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Makeev's conjecture on universal cover

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bounded Oracle Error in Nonconvex Stochastic Optimization

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Teschner's Bondage-Number Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Ellipsoid Fitting Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Planar Berenstein Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Finite-Copy Distillability of NPT States in the DiVincenzo Family

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

pth-Order Oracle Complexity for Monotone Variational Inequalities

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Kim-Roush Conjecture on the Maximum of per(I-A) in Odd Order

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Matrix-Tree Obstruction for Half-Collinear Graviton Vertices

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Talagrand's critical Sherrington-Kirkpatrick overlap conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Polynomial-Time MIMO Detection at the ML Threshold

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Whether Amenability of an Algebra Depends on the Ground Field

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A counterexample to the Howland-Kato problem for positive commutators

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Anstee-Sali Conjecture on Forbidden Configurations

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Facial Distance Patterns in Planar Graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Chen-Lawrencenko Conjectures on Cyclic Colorations

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Complete rational classification of fifth-order autocorrelation ambiguities on $U_{30}$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Umans-Wang Arithmetic-Progression Divisor Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Log-Submodularity of Zonoid Volume

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Huang-Jiang-Oblomkov Conjecture at a = 3

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Tuza's Conjecture for Maximum Degree at Most Seven

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Balanced EF1 and fPO Allocations

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Generalized Busemann-Petty Problem in Dimensions 2 and 3

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Approximate Counting for Spin Systems on Planar Graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Babai's Minimal Cayley Graph Problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Inverse Generator Problem on Hilbert Spaces

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Central limit theorem for the random assignment problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Gardner Transition in the Ising pure $p$-spin glass

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

Dittert's Conjecture in Dimension Five

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Absolutely Maximally Entangled States in Five Open Cases

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Nazarov's Conjecture on Truncations for Fractional Laplacians

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

HRT Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Lower Bounds for Multivariate Independence Polynomials

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sendov's Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Divisible Rank-Three Case of the Kajitani–Ueno–Miyano Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gabor Frames of Totally Positive Functions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Completeness of Maximally Entangled States for Pseudo-Telepathy

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Generalized Vanishing Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Tight Bound for Online Vertex Cover under Edge Arrivals

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Approximation Ratio for Boolean Max-k-CSP

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Problem MAIS-O60: Single-Neuron Fourier Alignment

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Schiffer's Conjecture and the Pompeiu Problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Rivière’s regularity question for critical $n$-Laplace systems with antisymmetric potentials

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Bandelt-Dress Quartet Distance Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Period-Index Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Signed Depth Relevance of subDL

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Real-Rootedness of Ehrhart h*-Polynomials at Large Width

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Middle Stair of Parallel Chip-Firing

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Perfectly Complete Quantum Key Agreement from One-Way Functions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Exact SSUF scenario-count ladder on the four-terminal planar gadget

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Asymptotically attaining the Moore bound

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Uniform Székelyhidi conjectures for complex Hessian equations on projective manifolds

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Finite Generation for klt Generalized Pairs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sharpness of Denjoy's Theorem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Mihail-Vazirani Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Written on the Wall II, Graph Conjecture 144

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Autonomous Lipschitz Fast Dynamo on the Three-Torus

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Connes' Rigidity Conjecture for ICC Property (T) Groups

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Approximating Two-Terminal Network Reliability

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Simonovits Product Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Graffiti's Residue Problem for Common-Divisor Graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kalton-Peck Space and its Hyperplanes

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Axiotis-Sviridenko Condition-Number Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Equality Case of Ehrhart's Volume Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Hoa's Conjecture on Maximal Non-Hamiltonian Graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Written on the Wall II, Graph Conjecture 322

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Lower Bounds for the Permanent in Arithmetic Circuits

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gromov and Weiss's Question on Sofic Groups

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Ehrhart's Volume Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Upper Bounds for High-Dimensional Sphere Packing

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Polynomial-Factor Hardness for the Closest Vector Problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #183: Multicolor Triangle Ramsey

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Ehrhart Positivity of Schubitopes

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Two-Variable Factorial Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #180: Compactness Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Is block sensitivity at most quadratic in spectral sensitivity? (Aaronson, Ben-David, Kothari, Rao and Tal)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Upper Bounds for Binary and Spherical Codes

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Finitude of the Fibers of Complementary Bell Numbers

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Quantum Parallel Repetition

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #146: Degeneracy Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Connes' Rigidity Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Local limits along squares and prime values of digital functions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Prime values of digital functions along the primes

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Minimum reverse-complement-invariant decycling sets

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

An Erdős–Kac law for base-$b$ palindromes and for reversed primes

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Integer Domination Root Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Pólya's Conjecture for Neumann Balls in Dimensions Three and Higher

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sharp Hardness for MAX-3-CUT

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Record Lower Bounds for the Shannon Capacity of Odd Cycles

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Improved integrality of Donaldson–Thomas invariants of loop quivers (GKS Conjecture 1.3 for twist knots)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Han's Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Han-Xiong Integer Trace Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Online Shadow Tomography Matching the Classical Bounds

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Maxwell's Three-Charge Equilibrium Bound

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Written on the Wall II, Graph Conjecture 217

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Dimer Constant of the Cubic Lattice

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Graffiti Conjecture 6

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Tu-Deng Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Signature of Connected Line Graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sombor-Energy Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Local Cohomology Modules With Nonclosed Support

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Non-Covering Congruence Systems over Fq[x]

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Lukic Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Twelve Common Flex Lines in a General Pencil of Cubics

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Fuglede's Conjecture on Square-Free Cyclic Groups With Rapidly Growing Primes

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bosonic Quantum Communication Beyond the Thermal Threshold

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Completeness of Fixed-Order Atom-Centered Descriptors

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Optimal Exponent Relating Sumsets and Difference Sets

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Huneke-Wiegand Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Maxwell's Conjecture on Point-Charge Equilibria

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Mixed Partition Functions and Exponentially Bounded Edge-Connection Rank

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Positivity on Deligne–Mumford Stacks Without the Torsion-Free Hypothesis

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Optimal Partial Plank Coverings

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Written on the Wall II, Conjecture 284

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Tournaments Determined by Three and Five Voters

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Improved Bounds for Distinct Multiples in Intervals

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #106

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Modified Lyons–Sidorova Conjecture for Bounded-Variation Paths

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sharp Bounds on the Ground State Energy of the SYK Model

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Lami-Regula Conjecture on Entanglement Irreversibility

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Existence of Bipartite Bound Information

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Stanley's Problem 4 on Differential Posets

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bondal-Polishchuk Conjecture for a Smooth Projective Variety

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Monotone Slowdown of Turbulent Flame Speed under Curvature

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Boucksom's Local Analytic Bertini Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kemeny Rank Aggregation for Three Voters

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Martinsson-Steiner Conjecture on Fractional Chromatic Number

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Stanley's Rankwise Lower-Bound Conjecture for Differential Posets

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Probabilistic Automatic Complexity Is At Most Three

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

General Position for Planar Line Arrangements and $HD_2(p,3)$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The 4^k Barrier for the k-Distinct Language

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Written on the Wall II, Graph Conjecture 109

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Unimodality of Kazhdan-Lusztig Polynomials of Matroids

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kuperberg's Six-Cylinder Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Feige's Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sharp Continuity Bound for Quantum Conditional Entropy

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Hall-Ho Heat Flow Conjecture for Random Matrices

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Crouzeix's Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

KLS Conjecture for Quadratic Forms

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Chafai-Dadoun-Youssef Questions on Logarithmic Energy Monotonicity

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kinetic Trace Estimates in the Gaussian Model

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Bellman's Lost-in-a-Forest Problem for the Golden Gnomon

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Infinitely Many Components in Auslander–Reiten Quivers over Perfect Fields

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Brezis's Open Problem 5.6 on Universal Fourier Summation

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Explicit Presentation of the 2-adic Absolute Galois Group

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Carlson's Associated-Prime Depth Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Carrasco's Conjecture on the O'Shea-Zames-Falb Test

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Zero Forcing versus Independence in Subcubic Graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Powers of the Vandermonde Determinant Are Eventually Non-SNP

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Djament's Problem on Locally Noetherian Grothendieck Categories

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Covering Number $C(12,6,4)$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #684

Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.

Screening recorded: 2026-10-11

Erdős Problem #768

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Černý Conjecture for One-Cluster Automata

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Graveyard Problem for Dissipative Barrier Truncations

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Ghasemi-Kopparty Problem on Sparse $S$-Decoding Polynomials

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Strichartz-Tse $L^p$-Integrability on the Sierpinski Gasket

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A Five-Variable Counterexample to the Hessian Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Depth of the in-tree of $s$ under $q \mapsto q s q^{-1}$ on $n$-cycles

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Minimum Sparsity of S-Decoding Polynomials

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #131

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Rota's Unimodality Conjecture for Matroid Flats

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Unconditional One-Bit Unclonable Encryption

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Stanley's Claw-Free Schur-Positivity Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #1177

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Target-Free Clique Conjecture for Threshold-Linear Networks

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Separable Jacobian Conjecture in Characteristic 2

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Dual Sequential Fat-Shattering and Tight Threshold Extraction

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Uniqueness of the Faber–Krahn Position of Convex Bodies

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Reiner's Conjecture on Higher Bruhat Orders in Corank 3

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Petersen Coloring Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Four-Terminal Planar Case of the Dinitz-Garg-Goemans Cost Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #593

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Two-Copy Distillability of Werner States

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Commutator Relators Do Not Force Hopficity, Residual Finiteness or Automaticity

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Monical's Saturated Newton Polytope Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

WOWII Conjecture 72: Two induced trees pin down tree($ G $)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Araujo-Piga-Schacht Question on Tight Hamilton Cycles

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Liu-Morin Extension Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Levit–Mandrescu Unimodality Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Stability Radius of the Lamplighter Group

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

$e$-Log-Concavity of Chromatic Quasisymmetric Functions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Written on the Wall II, Graph Conjecture 103

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

An Explicit Counterexample to the Rank-Two Poisson Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Nikolov-Ullman Pure-DP Query Release Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Minimal Distance Problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Graffiti Conjecture 284

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Spectral Edge of the Quartic SYK Model

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Polynomial-Time Low-Degree Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Improved Bound for Colorings Without Symmetrically Colored k-APs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Dinitz-Garg-Goemans Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Strong Log-Concavity of Chernoff's Density

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The mod 4 Kawauchi Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Norine's Antipodal-Colouring Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Counterexamples to the xz-Conjecture and the Mathieu Conjecture for SU(2)

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Pak-Slonim Conjecture on Stretched Schubert Structure Constants

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Batyrev's Stringy Hodge Number Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #469

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Boots-Royle/Cao-Vince Conjecture on Planar Spectral Radius

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Johnson-Freyd-Ostrik-Yu Question on Categorical Cocycles

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Dittert's Conjecture in Dimension 16

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Written on the Wall II, Graph Conjecture 143

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Universal Multiplicative FDR Bound for Benjamini-Hochberg

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #424

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kourovka Problem 20.125 - Noninjective Rota-Baxter Operator

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kourovka Problem 18.50 - Prescribed Permuted-Product Cardinality

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kourovka Problem 21.24 - Cograph Power Graphs Are Chordal

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Jacobian Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Optimality of Greedy for Single-Pass Semi-Streaming Matching

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kourovka Problem 21.150 - Rank Inequality for p-Group Extensions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kourovka Problem 21.147 - Relatively Convex Subgroups

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kourovka Problem 21.8 - Horizontal Class Transpositions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kourovka Problem 3.46 - Maximal Locally Soluble Normal Subgroups

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kourovka Problem 19.25 - Totient Sums and Simplicity

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Full-RSB in the Sherrington–Kirkpatrick spin glass

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Virtual Surjection Conjecture for Discrete Groups

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gaussian Moments Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Completeness of Canonical Closure Representations Is coNP-Complete

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gaussian product inequality conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Strict Cosingularity and Adjoints for Separable Range

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Weakly Compact Factorization Through a Space With a Basis

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Primariness of the Mixed-Norm Space $L_p(L_1)$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Toroidal Elton–Odell Theorem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A Unital Banach Algebra That Is Not a Calkin Algebra

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #390: the second-order constant for $f(n)-2n$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Online Spencer Vector-Balancing Question

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Ji-Zhang Question on the Power Set of a Quasinilpotent Operator

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Complexity of Terminal-Only Manhattan Prim-Dijkstra Routing

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kaul-Mudrock Conjecture on the Unlabeled List Color Function

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Feige's Hypergraph Moore-Bound Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Homogeneous Polynomial Lyapunov Converse Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Fulek's Question on the Extremal Function of $L_3$

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Belinskaya's Theorem for Measure-Preserving Flows

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Order of Long Rainbow Arithmetic Progressions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Gao-Huo-Ma Question on Cycle Lengths in Critical Graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Abbott-Hanson Recurrence for Schur Numbers

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdos-Graham Question on Averages of Unit Fractions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Cutoff for Kac's Walk on the Sphere

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Quantum Memory Advantage for Process Tomography

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Small Davenport Constant of the Heisenberg Group of Order 125

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Weak Simplex Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Sabidussi's Compatibility Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Record Compositions of Alternating Permutations

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Thakur's Conjecture on Carlitz-Wieferich Primes

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Oracle-Complexity Gap in Derivative-Free Convex Optimization

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

A Universal Leading-Residue Formula for Witten Zeta Functions

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Brualdi's Question on Hamiltonicity of Interchange Graphs

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #1186

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Classical Smith-Ward Problem

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #1189

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #336

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #1188

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #394

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #584

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #450

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Benjamini-Hochberg FDR Under Correlated Gaussian Tests

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #130

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Krauth-Mezard Storage Capacity of the Ising Perceptron

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #538

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Two Counterexamples in the Geometry of Numbers

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #267

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #709

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #959

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Type-D ASEP Tracy-Widom Marginals

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #796

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #662

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #489

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #769

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Optimal Chain Density and Space-Time Tradeoffs for the TSP

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Tightness of the Cohn-Elkies Bound in Dimension 36

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Erdős Problem #254

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Ross's Two Conjectures on Nondeficient Numbers

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Counting Fixed Cycles in Graphs with Bounded Circumference

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

The Coxeter Code Minimum Distance Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Elizalde-Luo Pattern-Avoidance Conjecture

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Grothendieck's Finite Flat Group Scheme Order Question

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Kotzig's Perfect 1-Factorisation Conjecture, Asymptotically

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Klopp-Zadik Question on Polynomial-Time Node-Private Recovery

Metadata screened. Requires original-source review of statement, baseline, AI role, novelty and evidence before publication.

Screening recorded: 2026-10-11

Cycle Double Cover Conjecture