(m,k)-perfect numbers
There does not exist a (2,5)-perfect number
0claims
0verified
Open problems
Each problem states how progress is verified and what counts as a contribution. Besides the problems curated here, the catalogue includes open conjectures from Formal Conjectures (with Lean statements), optimization constants and the AlphaEvolve problems. Know one that belongs here? Propose a problem.
757 shown· page 1 of 16
A binomial coefficient sum
Let b(n) = a(2n-1). Then the supercongruence b(n p^k) ≡ b(n p^k-1) pmodp^3k holds for positive integers n and k and all primes p ≥ 5. - Zhi-Wei Sun, Nov 16 2019
0claims
0verified
A binomial coefficient summation
Let b(n) = a(2n-1). Then the supercongruence b(n p^k) ≡ b(n p^k-1) pmodp^3k holds for positive integers n and k and all primes p ≥ 5. - Zhi-Wei Sun, Nov 16 2019
0claims
0verified
A conjecture by Margulis on matrix groups
Let D be the diagonal group of SL_n(ℝ) where n ≥ 3. Then any relatively compact D-orbit in SL_n(ℝ) / SL_n(ℤ) is closed.
0claims
0verified
A GCD-Driven Sequence with Universal Jumps
Does every positive integer occur as a difference in this sequence?
0claims
0verified
a(0) = 1, a(n) = a(n-1)a(n-1) + 2
Prime for a(1) = 3, a(2) = 11, a(4) = 15131; semiprime for a(3) = 123 = 3 41, a(5) = 228947163 = 3 76315721. a(6), added by Jonathan Vos Post, has 4 prime factors. a(7) = 41 811^2 106693969 317171188688357726699 8272236925540996054440172449761. When is the next prime in the sequence?
0claims
0verified
a(n) = (smallest prime > n^2) - n^2
Conjecture: a(n) ≤ 1 + φ(n) for n > 0. This improves on Oppermann's conjecture, which says a(n) < n. - Thomas Ordowski, Dec 17 2014
0claims
0verified
a(n) = 2^(2^n)
I conjecture that a(n) ; n>1 are the numbers such that n^4-1 divides 2^n-1, intersection of A247219 and A247165. - M. F. Hasler, Jul 25 2015 This formalizes the reverse direction.
0claims
0verified
a(n) = 3a(n-1) + a(n-2) - 3a(n-3)
The current sequence contains primes, including 3, 5, 41, 21523361. Is there an (a, b, c) weighted tribonacci sequence with a, b, c relatively prime which is prime-free?
0claims
0verified
a(n) = lcm1,2,…,n/denom(H(n))
It is conjectured that every odd number occurs in this sequence.
0claims
0verified
a(n) = the number of values of k <= 10^n such that √(k(k+1)(k+2)(k+3)+1) is prime
Conjecture: a(n)/A006880(n) → 1.77... where A006880(n) is the number of primes ≤ 10^n.
0claims
0verified
a(n) = Σ_j=1^n (3^j + (-2)^j)
First primes are a(11) = 264353 and a(17) = 193622861. Additional primes: a(71), a(91), a(431). What is the next prime?
0claims
0verified
a(n) = Σ_k=0^n C(2k, k)^3
Conjecture 1 (Peter Bala, 2024): If prime p is in A003625 then a(p^2) ≡ 8 + p^2 pmodp^3.
0claims
0verified
a(n) is the integer whose decimal digits are the first n+1 decimal digits of π
Wolfgang Haken (1977) conjectured that no term of this sequence is a perfect square, and estimated the probability that this conjecture is false to be smaller than 10^-9.
0claims
0verified
abc conjecture
For every positive real number ε, there exist only finitely many triples (a, b, c) of coprime positive integers, with a + b = c, such that c > rad(abc)^(1+ε)
0claims
0verified
Agoh-Giuga conjecture
The Agoh-Giuga Conjecture, Agoh's formulation
0claims
0verified
Agrawal's conjecture
Agrawal's Primality Conjecture. Does the congruence (X-1)^n ≡ X^n - 1 pmodn, X^r-1 imply n is prime (with a specific exception for n^2 ≡ 1 pmodr)? While the "if" direction is a known theorem, the "only if" direction remains a conjecture.
0claims
0verified
Algebraic consequences of the Farrell–Jones conjecture
Vanishing of the reduced projective class group for integral group rings. If G is torsion-free, that is, if its only element of finite order is 1, then every finitely generated projective module over ℤ[G] is stably free.
0claims
0verified
Alternating sum of signs of powers of 3/2
For n large enough, does a(n) > √(n) always hold?
0claims
0verified
Amicable numbers
Relatively prime amicable numbers conjecture. Do there exist amicable numbers (a, b) with gcd(a, b) = 1? All known amicable pairs share a common factor. It is an open question whether a pair of relatively prime amicable numbers can exist. Reference: Wikipedia
0claims
0verified
An Arithmetic Sum Associated with the Classical Theta Function
Conjecture 1.1: For any odd prime k, the sum associated with the classical theta function θ_3, S(k) is positive.
0claims
0verified
Andrica's conjecture
Andrica's conjecture The inequality √(p_n+1)-√(p_n) < 1 holds for all n, where p_n is the n-th prime number.
0claims
0verified
Apéry numbers
For each n = 1, 2, 3, … the polynomial a_n(x) = Σ_k=0^n C(n, k)^2 C(n+k, k) x^k is irreducible over the field of rational numbers. - Zhi-Wei Sun, Mar 21 2013
0claims
0verified
Are prime numbers among sums of prime numbers distributed as frac n2ln(n)?
The conjecture claims that π_n∼frac n2ln(n). In other words, primes are distributed among the much sparser sequence (S_n)_n with essentially the same density as in the positive integers, up to a factor of 2. MathOverflow 434111.
0claims
0verified
Array read by upward antidiagonals
A "Goldbach Conjecture" for this sequence: when there are n terms between consecutive odd integers 2n+1 and 2n+3 for n > 0, at least one will be the product of 2 primes (not necessarily distinct).
0claims
0verified
Artin's conjecture on primitive roots
Artin's Conjecture on Primitive Roots, first half. Let a be an integer that is not a square number and not −1. Then the set S(a) of primes p such that a is a primitive root modulo p has a positive asymptotic density inside the set of primes. In particular, S(a) is infinite.
0claims
0verified
Ascending descending base exponent transform of 2^n
The first prime terms in this (always odd) sequence are a(1) = 3, a(3) = 41, and a(4) = 593. What is the next prime? The OEIS comment currently says a(5) = 543, but this conflicts with its defining formula, b-file, and examples: the actual index-five term is the composite number 135457.
0claims
0verified
Ascending descending base exponent transform of factorials
Is there a nontrivial power after a(4) = 5^3?
0claims
0verified
Ascending descending base exponent transform of squares
The smallest prime in this sequence is a(2) = 5. What is the next prime?
0claims
0verified
Asymptotic density of powerful numbers
Can the exponent 1/6 in the error term of the Bateman–Grosswald asymptotic be improved unconditionally? That is, is there δ > 0 such that Q(x) = ζ(3/2)/ζ(3) x^1/2 + ζ(2/3)/ζ(2) x^1/3 + O(x^1/6 - δ)? Improvements are known under the Riemann Hypothesis.
0claims
0verified
Babai–Seress Conjectures on the Diameter of Finite Groups
Babai–Seress Conjecture (Conjecture 1.5): There exists an absolute constant C such that the diameter of the alternating group A_n satisfies diam(A_n) ≤ n^C. Reference: L. Babai and Á. Seress, On the diameter of permutation groups, European Journal of Combinatorics 13 (1992), Conjecture 1.580029-0)
0claims
0verified
Balanced prime conjecture
Let p_k be the k-th prime number. Are there infinitely many n such that (p_n + p_n+2) / 2 is prime?
0claims
0verified
Banach-Mazur Rotation Problem
The Banach–Mazur rotation problem asks whether every separable Banach space whose group of linear isometric equivalences acts transitively on the unit sphere is linearly isometric to a Hilbert space.
0claims
0verified
Barker sequences
Every Barker sequence has length at most 13.
0claims
0verified
Bateman-Horn Conjecture
The Bateman-Horn Conjecture Given a finite collection of distinct irreducible polynomials non-constant f_1, f_2, …, f_k ∈ ℤ[x] with positive leading coefficients that satisfy the Schinzel condition, the number of positive integers n ≤ x for which all polynomials f_i are simultaneously prime is…
0claims
0verified
Beal conjecture
The Beal Conjecture: if we are given positive integers A, B, C, x, y, z such that x, y, z > 2 and A^x + B^y = C^z then A, B, C have a common divisor.
0claims
0verified
Beaver Math Olympiad (BMO)
BMO#1) Let (a_n)_n ≥ 1 and (b_n)_n ≥ 1 be two sequences such that (a_1, b_1) = (1, 2) and (a_n+1, b_n+1) = begincases (a_n-b_n, 4b_n+2) & if a_n ≥ b_n cr (2a_n+1, b_n-a_n) & if a_n < b_n endcases for all positive integers n. Does there exist a positive integer i such that a_i = b_i?
0claims
0verified
Beck–Fiala theorem and conjecture
The Beck–Fiala conjecture There exists a universal constant C > 0 such that every set system S_1, …, S_m ⊆ [n] of degree at most t admits a colouring χ : [n] → -1, +1 with |Σ_j ∈ S_i χ(j)| ≤ C √(t) for every i.
0claims
0verified
Ben Green's Open Problem 1
Let A be a set of n positive integers. Does A contain a sum-free set of size at least frac n 3 + Ω(n), where Ω(n) → ∞ as n → ∞?
0claims
0verified
Ben Green's Open Problem 16
What is the largest subset of [N] with no solution to x + 3y = 2z + 2w in distinct integers x, y, z, w?
0claims
0verified
Ben Green's Open Problem 18
Suppose that G is a finite group, and let A ⊂ G × G be a subset of density α. Is it true that there are ≫_α |G|^3 triples x, y, g such that (x, y), (gx, y), (x, gy) all lie in A? Note: A is taken as α-dense, i.e. |A| ≥ α |G|^2 [Au16, Question 2]
0claims
0verified
Ben Green's Open Problem 2
Let A ⊂ ℤ be a set of n integers. Is there a set S ⊂ A of size (log n)^100 such that the restricted sumsetS hat+ S is disjoint from A?
0claims
0verified
Ben Green's Open Problem 21
Suppose that a_1, …, a_k are integers which do not satisfy Rado's condition: thus if Σ_i ∈ I a_i = 0 then I = ∅. It then follows from Rado's theorem that the equation a_1x_1 + ⋯ + a_kx_k = 0 is not partition regular.
0claims
0verified
Ben Green's Open Problem 31
Can we improve the lower bound N^1/2 + O(1), at least for infinitely many N?
0claims
0verified
Ben Green's Open Problem 33
Are there infinitely many q for which there is a set A ⊂ ℤ/qℤ, |A| = (√(2) + o(1))q^1/2, with A + A = ℤ/qℤ? [Gr24]
0claims
0verified
Ben Green's Open Problem 35
Lower bound for c(p) for 1 < p ≤ ∞, improving the known value √(4/7) at p = 2 or the known value 0.64 at p = ∞.
0claims
0verified
Ben Green's Open Problem 37
Given a natural number N, what is the smallest size of a subset of ℕ that contains, for each d = 1, …, N, an arithmetic progression of length k with common difference d.
0claims
0verified
Ben Green's Open Problem 4
What is the largest product-free set in the alternating group A_n?
0claims
0verified
Ben Green's Open Problem 40
Does f(r) → ∞? [Gr24]
0claims
0verified
Ben Green's Open Problem 41
How many rotated (about the origin) copies of the 'pyjama set' \(x, y) ∈ ℝ^2 : dist(x, ℤ) ≤ ε\ are needed to cover ℝ^2? That is, determine the minimal number of rotations as a function of ε > 0.
0claims
0verified
Browse by field
CombinatoricsNumber theoryGraph theoryAlgebraGeometryAnalysisProbabilityLogic & formalisationAlgorithmsComplexityComputabilityOptimisationCryptography theoryMachine learningPhysicsTheoretical physicsAstrophysics & cosmologyQuantum informationChemistryMaterialsBiologyNeuroscienceEcologyClimateEarth scienceEconomics