(one construction disproves both the product conjecture and its weak form)
Extremal graph theory
Simonovits conjectured that if a forbidden family F with p(F)>1 has extremal number exceeding the Turan bound by a superlinear surplus, then its extremal graphs are joins of p graphs, each extremal for a family of chromatic number two. Disproved by a fixed finite family L with p(L)=2 and ex(n,L)>t2(n)+cn3/2 that nevertheless has, at every large order, an extremal graph with connected complement and hence no nontrivial join decomposition. The same construction disproves the Weak Product Conjecture of Furedi and Simonovits.
Posed by Miklos Simonovits·Open —·Model GPT-5.6 Sol (OpenAI)·Solved 2026-08-03 (The Formal Conjectures pull request flipping this from open to solved is still open rather than merged, so the canonical repository has not yet accepted it.)
Graph Theory (automated conjecture)
For every finite connected simple graph G, is the order of the largest induced tree at least girth(G)−1+ecc(G,center(G)), where the last term is the eccentricity of the centre set? Answered affirmatively, with a Lean proof.
Posed by Written on the Wall II (automated conjecturing)·Open —·Model ChatGPT + Codex (OpenAI)·Solved 2026-08-03
Does two-terminal reliability, the probability that s still reaches t when edges fail independently, admit a fully polynomial-time randomised approximation scheme? Asked explicitly in Kannan's 1994 survey and left open while the all-terminal cases were settled by Karger and by Guo and Jerrum. Answered positively for general graphs, both directed and undirected. The complementary unreliability question is shown to be BIS-hard, so it is unlikely to admit one.
Posed by Sampath Kannan, 1994·Open 32y·Model GPT-5.6 Sol Ultra (OpenAI)·Solved 2026-08-03 (The formalization proves the statement under the weaker hypothesis n >= 2; the pull request marking the conjecture solved is open, not merged)
Graph theory (automated conjecture)
Let G be a simple connected graph on n≥5 vertices. If the maximum over all vertices v of ℓ(v) - the independence number of the subgraph induced by the open neighborhood N(v) - is at most 1, must G be well totally dominated? Answered affirmatively; the Lean proof in fact needs only n≥2, and retains the conjecture's n≥5 to state the source faithfully.
Posed by Written on the Wall II (automated conjecturing)·Open —·Model Aristotle (Harmonic)·Solved 2026-08-02
(the equality case; the inequality was settled separately and is tracked on its own entry)
Convex geometry
Ehrhart conjectured that a full-dimensional compact convex body in Rn whose barycenter is its unique interior lattice point has volume at most (n+1)n/n!. With the inequality itself settled, the remaining question was which bodies attain it. Every such body is a unimodular image of the simplex (n+1)Δn−(1,…,1).
(Claimed in a self-published research draft; a standalone by-product is the transcendence of the integral of exp(q) between distinct algebraic endpoints for nonconstant algebraic q)
Commutative Algebra, Transcendence
Let L(xayb)=a!b! on C[x,y]. The Factorial Conjecture asks whether L(fm)=0 for every m≥1 forces f=0. The homogeneous two-variable case was settled by Liu and Sun; the inhomogeneous problem does not reduce to it, because radial integration couples the homogeneous layers through Gamma factors. A claimed proof settles the full two-variable case affirmatively. Posed by Arno van den Essen, David Wright, Wenhua Zhao, 2011·Open 15y·Model GPT-5.6 Sol, Claude Opus 5 (OpenAI, Anthropic)·Solved 2026-08-01
What is the maximum volume of a convex body in Rn whose centroid is its only interior lattice point? Ehrhart conjectured the extremal value in 1964; the sharp maximum is now determined in every dimension.
Monical, Tokcan and Yong conjectured that Schubitopes, the generalized permutahedra arising as Newton polytopes of Schubert polynomials and of Demazure characters of GLn, are Ehrhart positive. Disproved by an explicit Schubitope whose Ehrhart polynomial has a negative coefficient in its monomial expansion.
Posed by Cara Monical, Neriman Tokcan, Alexander Yong, 2019·Open 7y·Model GPT-5.6 Sol Pro (OpenAI)·Solved 2026-08-01
(upper bounds reach the Cohn-Elkies threshold; the true asymptotic density remains open)
Discrete geometry
How dense can a sphere packing in Rn be as n→∞? The Kabatiansky-Levenshtein upper bound stood for almost fifty years; the new proof improves the asymptotic upper bound all the way down to the Cohn-Elkies linear-programming threshold.
Posed by —, 1978·Open 48y·Model Astra (internal preview) (OpenAI)·Solved 2026-08-01
For every finite family F of graphs, is there a single G∈F with ex(n;G)≪Fex(n;F)? A counterexample refutes the Erdős-Simonovits compactness conjecture.
Posed by Paul Erdős, Miklós Simonovits, 1982·Open 44y·Model Astra (internal preview) (OpenAI)·Solved 2026-08-01
Let R(3;k) be the least n such that every k-colouring of the edges of Kn contains a monochromatic triangle. Determine limk→∞R(3;k)1/k (a \$250 Erdős prize problem). A superexponential lower bound resolves the problem: the limit is infinite.
Posed by Paul Erdős, 1961·Open 65y·Model Astra (internal preview) (OpenAI)·Solved 2026-08-01
(an n^4/log n formula lower bound; VP vs VNP remains wide open)
Algebraic complexity
How large must arithmetic circuits and formulas computing the n×n permanent be? New lower bounds include an arithmetic-formula bound of order n4/logn, far beyond the quadratic barrier that stood for decades.
Does the value of a two-player quantum game decay exponentially under parallel repetition, as Raz's theorem gives for classical games? Yes: an exponential parallel repetition theorem holds for arbitrary finite two-player quantum games.
Posed by —·Open —·Model Astra (internal preview) (OpenAI)·Solved 2026-08-01 Are ICC property (T) groups remembered by their von Neumann algebras - if L(Γ)≅L(Λ) for such groups, must Γ≅Λ? A counterexample refutes Connes' conjecture that these groups are uniquely determined by their group von Neumann algebras.
Is the closest vector problem NP-hard to approximate within polynomial factors nc? Yes for some c>0: hardness of approximation reaches polynomial factors, with consequences for decoding and related lattice problems - a foundational question underpinning post-quantum cryptography where hardness had stalled at almost-polynomial factors since the late 1990s.
Posed by —·Open —·Model Astra (internal preview) (OpenAI)·Solved 2026-08-01
(exponential improvement over the 1977 MRRW bounds; the exact rate-distance trade-off remains open)
Coding theory
What is the maximum size of a binary code of given minimum distance? The linear-programming bounds of McEliece, Rodemich, Rumsey and Welch (1977) resisted improvement for half a century. The new upper bounds are exponentially stronger at every prescribed distance, with analogous results for high-dimensional spherical codes.
Posed by —, 1977·Open 49y·Model Astra (internal preview) (OpenAI)·Solved 2026-08-01 Is every group sofic - does every group admit approximate finite permutation representations? A central open question of geometric group theory since Gromov introduced soficity: soficity implies Gottschalk's surjunctivity conjecture, Kaplansky's stable finiteness and more, and no non-sofic group was known. An explicit construction now establishes that non-sofic groups exist.
Posed by Mikhail Gromov, Benjamin Weiss, 1999·Open 27y·Model Astra (internal preview) (OpenAI)·Solved 2026-08-01 (The ball case. For arbitrary domains Pólya's conjecture remains open; this continues the authors' programme after the planar disk, circular sectors, and the Dirichlet case in arbitrary dimensions.)
Spectral Geometry, Laplace Eigenvalues
Pólya conjectured in 1954 that the Weyl-law expression bounds the eigenvalue counting function of the Laplacian. The paper proves the Neumann case for Euclidean balls in dimensions three and higher, extending the authors' earlier planar and Dirichlet results. Key difficulty: estimating zeros of derivatives of ultraspherical Bessel functions rather than of Bessel functions themselves.
Posed by George Pólya, 1954·Open 72y·Model ChatGPT + Claude (several models)·Solved 2026-07-31
(record lower bounds for seven odd cycles; the exact capacities remain open for every odd cycle beyond C5)
Zero-error information theory
Determine the Shannon capacities of odd cycles beyond C5, or improve the best explicit bounds. Lovasz's theta function settled C5 in 1979 and every longer odd cycle has stayed open since. The current records, all obtained with model assistance and formally verified, are Θ(C7)≥3.258805369885, Θ(C11)≥5.294502522149, Θ(C13)≥6.302455083464, Θ(C15)≥7.301600534487, Θ(C19)≥9.357192705918, Θ(C21)≥10.342455853338 and Θ(C23)≥11.328224257774.
Posed by Claude Shannon, 1956·Open 70y·Model ChatGPT 5.6 Sol Pro, ChatGPT 5.6 Sol, Claude Opus 5 (OpenAI / Anthropic)·Solved 2026-07-31
(Record lower bound only. The sub-2 ceiling is the codimension-two case and does not bound the record ladder (k=17 has complement mass 11). 4/3 and 2 are conjectures; the proved gap is [1.28249, 2].) —
For a single-source unsplittable flow, find the optimal universal additive constant C s.t. every feasible fractional flow x with arc costs c should admit an unsplittable routing y with c⊤y≤c⊤x and ya≤xa+C⋅dmax on every arc. Goemans conjectured C=1; this was disproved in July 2026 by a separate seven-vertex counterexample with critical constant 16/15 (see the Dinitz–Garg–Goemans entry), leaving the optimal C open. Lower bound: a seventeen-terminal common-point interval instance certifies C≥10181282494797984843521=1.28249… Upper bounds: the paper proves the first unconditional ceiling below 2, but for the codimension-two case only, at complement mass q=2. The record cells lie outside it, the k=17 instance having q=11, so that ceiling does not bound the record ladder. Two figures are conjectures rather than results: 4/3 as the supremum of critical constants over common-point cells, approached but not attained and not an extrapolation from the ladder (Conjecture 1.1, Theorem 5.1), and 2 for the universal constant itself (Conjecture 1.2). The proved gap remains [1.28249…,2].
Posed by Dinitz, Garg, Goemans, 1999·Open 27y·Model GPT-5.6 Sol, Claude Fable 5, Claude Opus 5 (OpenAI, Anthropic)·Solved 2026-07-31
(no constant-bound repair of the conjecture is possible) Spectral graph theory
Is the difference between the numbers of positive and negative adjacency eigenvalues of every connected line graph at most one? A 14-vertex witness has signature 2, and chaining copies gives connected line graphs of signature k+1 for every k≥1 - the signature is unbounded.
Posed by Saieed Akbari et al., 2026·Open 0y·Model ChatGPT-5.6 Pro, Claude Fable 5 (OpenAI / Anthropic)·Solved 2026-07-30
Posed by Written on the Wall II (automated conjecturing)·Open —·Model Claude Opus 5 (with Gemini 3.1 Pro, GPT-5.3 Codex Spark, Grok 4.5)·Solved 2026-07-30
(leading asymptotic determined up to a bounded q-dependent term)
Function-field arithmetic
Let Dq(n) be the largest possible least degree of a polynomial omitted by a non-covering family of n distinct-modulus congruence classes in Fq[x]. What is its asymptotic size? The answer is Dq(n)=q−1n+Oq(1).
Posed by —·Open —·Model ChatGPT-5.6 Sol (OpenAI)·Solved 2026-07-30