Choose a Problem

Open its Work view to check prior approaches, attach evidence, and prepare a Result.

Published collections

Starting points

appears as the distance between

f(u_i)

many pairs of points. Then

\sum_i f(u_i)^2 \ll n^3.

proved (Lean)4 formal declarations1 reviewed Resultvia Formal Conjectures

Open Work

A\subseteq\{1,\dots,N\}

\sum_{n\in S}1/n

S\subseteq A

solved6 formal declarations1 reviewed Resultvia Erdős Problems

A\subseteq\{1, ..., N\}

|A| = n

\sum_{a\in S}a

S\subseteq A

N \gg 2 ^ n.

open8 formal declarationsvia Formal Conjectures

there exists a prime between

x(x-1)

and

x^2

.

Wikipediaresearch open

Open Work