We prove that for every acyclic matrix pattern $P$ it holds that $\operatorname{Ex}(n,P) \leq n^{1+O_P(1/\log\log n)}$.
We show that there exists $C\in\mathbb{N}$ such that $K_t$-minor free graphs are $Ct$-colorable. The proof was found by GPT-6 Astra, following the directions by the authors.
In this paper we prove that the Eaton--Moret\'{o} conjecture holds true for all $p$-solvable groups.
In 1983, Daykin and Frankl conjectured that if $P$ is a convex subset of $Q_n$, then it contains at least $|P|\binom{n}{\lfloor n/2\rfloor}2^{-n}$ pairwise incomparable elements. We verify and communicate an LLM-generated proof of this conjecture.
We prove that a relation obtained by composing arbitrary functions of arity $\leq k$ with a relation definable in an $n$-dependent structure is $kn$-dependent. This confirms a conjecture of Chernikov and Hempel. We also demonstrate optimality of the result.
We prove the Courtade-Kumar conjecture: among all Boolean functions $f\colon \{-1,1\}^n\to\{-1,1\}$, a dictator retains the most information about a uniformly random input observed through independent binary noise.
A graph $G$ with 243 vertices is shown having $\gamma(G) = \gamma^{\infty}(G)<\theta(G)$, disproving the Gamma-Theta conjecture for eternal dominating sets.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
