Questions, not proof records

Open-problem statements, with their sources attached.

Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.

“Open” is a dated source assertion. In these pinned sources, sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.
1 topic

741 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openOEIS · Number theory

Sum of two numbers with prime conditions

The conjecture for sequence A231201: for any n>1n > 1, there exist x,y>0x, y > 0 such that n=x+yn = x + y and 2x+y2^x + y is prime.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

Representations with prime conditions

*Zhi-Wei Sun's Conjecture (A232174)**: Any integer n>1n > 1 can be written as x+yx + y with x,y>0x, y > 0 such that both x+nyx + ny and x2+ny2x^2 + ny^2 are prime.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

Primitive roots of the form k² + 1

*Zhi-Wei Sun's Conjecture (A239957)**: Every prime pp has a primitive root 0<g<p0 < g < p of the form k2+1k^2 + 1, where kk is an integer.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

The 1680-Conjecture

*Zhi-Wei Sun's 1680-Conjecture (A280831)**: Any nonnegative integer can be written as x2+y2+z2+w2x^2 + y^2 + z^2 + w^2 with x,y,z,wx, y, z, w nonnegative integers such that x4+1680y3zx^4 + 1680 y^3 z is a square.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

Sum of four squares with square conditions

*Zhi-Wei Sun's Conjecture (A281976)**: Any integer n0n \geq 0 can be written as x2+y2+z2+w2x^2 + y^2 + z^2 + w^2 with x,y,z,wx, y, z, w nonnegative integers and zwz \leq w, such that both xx and x+24yx + 24y are squares.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

Sum of a triangular number, a generalized pentagonal number, and a generalized heptagonal number

*Zhi-Wei Sun's Conjecture (A287616)**: Any nonnegative integer can be written as the sum of a triangular number x(x+1)/2x(x+1)/2, a generalized pentagonal number y(3y+1)/2y(3y+1)/2, and a generalized heptagonal number z(5z+1)/2z(5z+1)/2, where x,y,zx, y, z are nonnegative integers.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

Sum of two squares, a power of 3, and a power of 5

*Zhi-Wei Sun's Conjecture (A303656)**: Any integer n>1n > 1 can be written as the sum of two squares, a power of 3, and a power of 5.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

The 2-4-6-8 Conjecture

*Zhi-Wei Sun's 2-4-6-8 Conjecture (A306477)**: Any integer n>0n > 0 can be written as (w+22)+(x+34)+(y+56)+(z+78)\binom{w+2}{2} + \binom{x+3}{4} + \binom{y+5}{6} + \binom{z+7}{8} for nonnegative integers w,x,y,zw, x, y, z.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

Four-square conjecture with powers of 2, 3, and 5

*Zhi-Wei Sun's Four-Square Conjecture (A308734)**: Any integer n>1n > 1 can be written as (2a3b)2+(2c5d)2+x2+y2(2^a \cdot 3^b)^2 + (2^c \cdot 5^d)^2 + x^2 + y^2 for nonnegative integers a,b,c,d,x,ya, b, c, d, x, y.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

Smallest number k such that kn + 1 is prime

Conjecture: for every n>1n > 1 there exists a number k<nk < n such that nk+1nk + 1 is a prime.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

Smallest number k such that kn + 1 is prime

A stronger conjecture: for every n there exists a number k<1+n0.75k < 1 + n^{0.75} such that nk+1nk + 1 is a prime.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

Smallest number k such that kn + 1 is prime

Conjecture: a(n)=O(log(n)log(log(n)))a(n) = O(\log(n)\log(\log(n))).

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

Smallest number k such that kn + 1 is prime

Counter-conjecture to a_isBigO: a(n)/(lognloglogn)a(n) / (\log n \log \log n) is unbounded.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

Numerator of a sum involving binomial coefficients

We conjecture that u(p1)==0(modp4)u(p-1) == 0 (mod p^4) for all primes pp, with a finite number of exceptions that depend on mm.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

No powers as partition numbers

There are no partition numbers a(k)a(k) of the form xmx^m, with x,mx,m integers >1>1. See comment by Zhi-Wei Sun (Dec 02 2013).

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

Conjectures associated with A56777

All members of the sequence A56777 come from prime quadruples.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

Conjectures associated with A063880

All members of the sequence satisfy n108(mod216)n \equiv 108 \pmod{216}.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

Conjectures associated with A063880

108108 is the only primitive term.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openOEIS · Number theory

Conjectures associated with A067720

For members of the sequence other than 88, we have k+1k + 1 is prime.

Source checked Jul 26, 20261 pinned Lean statementInspect problem