Erdős problem database

Browse the interactive table - Sort, filter, and search all the problems in the database

A community database for the problems on the erdosproblems.com site. We are particularly seeking community contributions regarding the integer sequences associated with these problems, and linking them to the OEIS.

The table below is auto-generated from the YAML file data/problems.yaml, which is the "ground truth" for this data as far as this repository is concerned.

• To propose changes, open a PR editing data/problems.yaml.
• See CONTRIBUTING.md for guidelines and field definitions.

For further discussion of this project, see this blog post (from Sep 1, 2025).

Several of the problems have received assistance from various AI tools. A list of such assistance can be found here. This wiki is no longer updated as of June 30, 2026, and is retained as a historical record; please do not open issues proposing additions to it.

Progress

The progress chart is frozen as of October 6, 2026 and is no longer shown here; it remains available as an image: light / dark.

This is in accordance with the policy changes announced at erdosproblems.com on that date, under which that site no longer displays the statuses of problems, nor the count or percentage of problems solved. A chart tracking solved and formalized counts over time serves much the same function, so it is no longer given a headline position in this repository either.

The underlying data stays active: data/statistics_history.csv continues to be updated as the database changes, so a current chart can be regenerated at any time with python scripts/plot_statistics_history.py --force.

Table

Summary counts — how many problems are proved, open, formalized in Lean, linked to the OEIS, and so on — are on a separate page: Summary statistics. They were moved off this page on October 6, 2026, for the reason given under Progress above.

#	Prize	Status	Statement formalized	AI Attempts	OEIS	Tags	Comments
1	$500	disproved (Lean)	yes	add	A276661	number theory, additive combinatorics
2	$1000	disproved (Lean)	yes	add	A160559	number theory, covering systems
3	$5000	open	yes	view	A003002, A003003, A003004, A003005	number theory, additive combinatorics, arithmetic progressions
4	$10000	proved	yes	add	A002386	number theory, primes
5	no	open	yes	view	A001223	number theory, primes
6	$100	proved (Lean)	yes	add	A335277	number theory, primes
7	no	verifiable	yes	view	N/A	number theory, covering systems
8	no	disproved (Lean)	no	add	N/A	number theory, covering systems
9	no	open	yes	view	A006286	number theory, additive basis, primes
10	no	open	yes	view	A387053	number theory, additive basis, primes
11	no	open	yes	view	A001220, A377587	number theory, additive basis
12	no	open	yes	view	N/A	number theory
13	$100	proved (Lean)	yes	add	A002264	number theory
14	no	open	yes	view	A143824, possible	number theory, sidon sets, additive combinatorics
15	no	open	yes	view	N/A	number theory, primes
16	no	disproved (Lean)	yes	add	A006285	number theory, additive basis, primes
17	no	open	yes	view	A038133	number theory, primes	cluster primes
18	no	open	yes	view	A005153	number theory, divisors, factorials	practical numbers
19	$500	decidable	yes	add	N/A	graph theory, chromatic number
20	$1000	open	yes	view	A332077	combinatorics	sunflower conjecture
21	$500	proved (Lean)	yes	add	A391599	combinatorics, intersecting family
22	no	proved (Lean)	yes	add	possible	graph theory
23	no	falsifiable	yes	view	A389646	graph theory
24	no	proved (Lean)	yes	add	possible	graph theory
25	no	open	yes	view	N/A	number theory
26	no	disproved (Lean)	yes	add	N/A	number theory, divisors
27	$100	disproved	no	add	N/A	number theory, covering systems
28	$500	open	yes	view	N/A	number theory, additive basis
29	$100	proved (Lean)	yes	add	N/A	number theory, additive basis
30	$1000	open	yes	view	A143824, A227590, A003022	number theory, sidon sets, additive combinatorics
31	no	proved (Lean)	yes	add	N/A	number theory, additive basis
32	no	open	yes	view	N/A	number theory, additive basis
33	no	open	yes	view	N/A	number theory, additive basis
34	no	disproved (Lean)	yes	add	A389241, A234813, A390187	number theory
35	no	proved (Lean)	yes	add	N/A	number theory, additive basis
36	no	open	yes	view	A393584, possible	number theory, additive combinatorics	minimum overlap problem
37	no	disproved (Lean)	no	add	N/A	number theory, additive combinatorics
38	no	proved (Lean)	yes	add	N/A	number theory
39	$500	open	yes	view	N/A	number theory, sidon sets, additive combinatorics
40	$500	open	yes	view	N/A	number theory, additive basis
41	$500	open	yes	view	N/A	number theory, sidon sets, additive combinatorics
42	no	solved (Lean)	yes	add	N/A	number theory, sidon sets, additive combinatorics
43	$100	disproved (Lean)	yes	add	A143824, A227590, A003022, possible	number theory, sidon sets, additive combinatorics
44	no	open	yes	view	N/A	number theory, sidon sets, additive combinatorics
45	no	proved (Lean)	yes	add	possible	number theory, unit fractions, ramsey theory
46	no	proved (Lean)	yes	add	N/A	number theory, unit fractions, ramsey theory
47	$100	proved (Lean)	yes	add	N/A	number theory, unit fractions
48	no	proved (Lean)	yes	add	N/A	number theory
49	no	proved (Lean)	yes	add	A365339, A365474	number theory, primes
50	$250	open	yes	view	N/A	number theory
51	no	open	yes	view	A002202, A014197	number theory
52	$250	open	yes	view	A263996	number theory, additive combinatorics	sum-product problem
53	no	proved (Lean)	yes	add	possible	number theory, additive combinatorics
54	$100	solved	no	add	N/A	number theory, ramsey theory
55	$250	solved	no	add	N/A	number theory, ramsey theory
56	$10	disproved (Lean)	yes	add	N/A	number theory, intersecting family
57	no	proved (Lean)	yes	add	N/A	graph theory, chromatic number, cycles
58	no	proved	yes	add	N/A	graph theory, chromatic number, cycles
59	no	disproved (Lean)	yes	add	N/A	graph theory, turan number
60	no	open	yes	view	A006855	graph theory, cycles
61	no	open	yes	view	N/A	graph theory
62	no	open	no	view	N/A	graph theory
63	no	proved (Lean)	yes	add	N/A	graph theory, chromatic number, cycles
64	$1000	falsifiable	yes	view	N/A	graph theory, cycles
65	no	open	yes	view	N/A	graph theory, cycles
66	$500	open	yes	view	N/A	number theory, additive basis
67	$500	proved	yes	add	A181740, A237695	discrepancy	Erdős discrepancy problem
68	no	open	yes	view	A331373	number theory, irrationality
69	no	proved	yes	add	A262153	number theory, irrationality
70	no	open	yes	view	N/A	graph theory, ramsey theory, set theory
71	no	proved (Lean)	yes	add	N/A	graph theory, cycles
72	$100	proved	yes	add	N/A	graph theory, cycles
73	no	proved	yes	add	N/A	graph theory
74	$500	disproved (Lean)	yes	add	N/A	graph theory, chromatic number, cycles
75	no	open	yes	view	N/A	graph theory, chromatic number
76	no	proved	no	add	A060407	graph theory, ramsey theory
77	$250	open	yes	view	A059442	graph theory, ramsey theory
78	$100	open	yes	view	A059442	graph theory, ramsey theory
79	no	proved	yes	add	N/A	graph theory, ramsey theory
80	no	open	yes	view	N/A	graph theory, ramsey theory
81	no	open	yes	view	possible	graph theory
82	no	open	yes	view	A120414, A390256, A390257, A390919, A392636, A394400, A394462, A394539, A394563, A394564, A394573, A394574, A394930, A394933	graph theory
83	$500	proved (Lean)	yes	add	A071799, A387635	combinatorics
84	no	open	no	view	A399654	graph theory, cycles
85	no	open	yes	view	A006672, possible	graph theory, ramsey theory
86	$100	open	yes	view	A245762	graph theory
87	no	open	yes	view	A059442, possible	graph theory, ramsey theory
88	$100	proved	yes	add	N/A	graph theory, ramsey theory
89	$500	open	yes	view	A186704, A131628	geometry, distances	Erdős distance problem
90	$500	disproved (Lean)	yes	add	A186705	geometry, distances	unit distance problem
91	no	open	yes	view	A186704, possible	geometry, distances
92	$500	disproved	yes	add	possible	geometry, distances
93	no	proved (Lean)	yes	add	N/A	geometry, convex, distances
94	£25	proved (Lean)	yes	add	A387858	geometry, convex, distances
95	$500	proved (Lean)	yes	add	possible	geometry, convex, distances
96	no	open	yes	view	possible	geometry, distances, convex
97	$100	falsifiable	yes	view	N/A	geometry, distances, convex
98	no	open	yes	view	possible	geometry, distances
99	$100	open	yes	view	N/A	geometry, distances
100	no	open	yes	view	N/A	geometry, distances
101	$100	open	yes	view	A006065, possible	geometry
102	no	open	yes	view	N/A	geometry
103	no	open	yes	view	possible	geometry, distances
104	$100	open	yes	view	A003829	geometry
105	$50	disproved (Lean)	yes	add	N/A	geometry
106	no	disproved (Lean)	no	add	N/A	geometry
107	$500	falsifiable	yes	view	A000051	geometry, convex	'Happy Ending' problem
108	no	open	yes	view	possible	graph theory, chromatic number, cycles
109	no	proved (Lean)	yes	add	N/A	additive combinatorics	Erdős sumset conjecture
110	no	disproved	yes	add	N/A	graph theory, chromatic number, cycles
111	no	open	yes	view	N/A	graph theory, chromatic number, set theory
112	no	open	no	view	possible	graph theory, ramsey theory
113	$500	disproved (Lean)	yes	add	N/A	graph theory, turan number
114	$250	falsifiable	yes	view	N/A	polynomials, analysis
115	no	proved (Lean)	yes	add	N/A	polynomials, analysis
116	no	proved (Lean)	yes	add	N/A	polynomials, analysis
117	no	open	no	view	possible	group theory
118	no	disproved	yes	add	N/A	set theory, ramsey theory
119	$100	solved (Lean)	yes	add	N/A	analysis, polynomials
120	$100	open	yes	view	N/A	combinatorics	Erdős similarity problem
121	no	disproved (Lean)	yes	add	A028391, A013928, A372306, A373319, A373178, A360659, A373114, A143301	number theory, squares
122	no	open	no	view	N/A	number theory
123	$250	proved (Lean)	yes	add	N/A	number theory
124	no	open	yes	view	N/A	number theory, base representations, complete sequences
125	no	disproved (Lean)	yes	add	A367090	number theory, base representations
126	$250	proved (Lean)	yes	add	possible	number theory
127	no	proved (Lean)	yes	add	possible	graph theory
128	$250	falsifiable	yes	view	N/A	graph theory
129	no	open	no	view	possible	graph theory, ramsey theory	ambiguous statement
130	no	open	yes	view	N/A	graph theory, chromatic number
131	no	open	yes	view	A068063	number theory
132	$100	open	no	view	N/A	distances
133	no	disproved	yes	add	possible	graph theory
134	no	proved (Lean)	yes	add	N/A	graph theory
135	$250	disproved (Lean)	no	add	possible	distances, geometry
136	no	solved	yes	add	possible	graph theory
137	no	open	yes	view	N/A	number theory, powerful
138	$500	open	yes	view	A005346	additive combinatorics
139	$1000	proved (Lean)	yes	add	A003002, A003003, A003004, A003005	additive combinatorics, arithmetic progressions	Szemerédi's theorem
140	$500	proved (Lean)	no	add	A003002	additive combinatorics, arithmetic progressions
141	no	open	yes	view	A006560	additive combinatorics, primes, arithmetic progressions
142	$10000	open	yes	view	A003002, A003003, A003004, A003005	additive combinatorics, arithmetic progressions
143	$500	open	yes	view	N/A	primitive sets
144	$250	proved (Lean)	no	add	A005279	number theory, divisors
145	no	open	yes	view	A005117	number theory
146	$500	disproved (Lean)	yes	add	N/A	graph theory, turan number
147	$500	disproved (Lean)	yes	add	N/A	graph theory, turan number
148	no	open	yes	view	A076393, A006585	number theory, unit fractions
149	no	open	no	view	N/A	graph theory
150	no	proved (Lean)	yes	add	possible	graph theory
151	no	open	yes	view	possible	graph theory
152	no	proved (Lean)	yes	add	N/A	sidon sets
153	no	open	yes	view	N/A	sidon sets
154	no	proved (Lean)	yes	add	N/A	sidon sets
155	no	open	yes	view	A143824, A227590, A003022	additive combinatorics, sidon sets
156	no	open	yes	view	A382397	sidon sets
157	no	proved	yes	add	N/A	sidon sets
158	no	open	yes	view	N/A	sidon sets
159	no	open	yes	view	possible	graph theory, ramsey theory
160	no	open	yes	view	possible	additive combinatorics, arithmetic progressions
161	$500	open	yes	view	N/A	combinatorics, ramsey theory, discrepancy, hypergraphs
162	no	open	yes	view	N/A	combinatorics, ramsey theory, discrepancy
163	no	proved	yes	add	N/A	graph theory, ramsey theory	Burr-Erdős conjecture
164	no	proved (Lean)	yes	add	A137245	number theory, primitive sets
165	$250	open	yes	view	A000791	graph theory, ramsey theory
166	$250	proved	yes	add	A059442	graph theory, ramsey theory
167	no	falsifiable	no	view	N/A	graph theory
168	no	open	yes	view	A004059, A057561, A094708, A386439	additive combinatorics
169	no	open	no	view	A005346	additive combinatorics, arithmetic progressions
170	no	open	yes	view	A046693	additive combinatorics	sparse ruler problem
171	no	proved (Lean)	yes	add	A156989	additive combinatorics, combinatorics	density Hales-Jewett
172	no	open	yes	view	N/A	additive combinatorics, ramsey theory
173	no	open	yes	view	N/A	geometry, ramsey theory
174	no	open	yes	view	N/A	geometry, ramsey theory
175	no	proved (Lean)	yes	add	A292441, A292442	number theory, binomial coefficients
176	no	open	no	view	A398541, possible	additive combinatorics, arithmetic progressions, discrepancy
177	no	open	no	view	N/A	discrepancy, arithmetic progressions
178	no	proved (Lean)	yes	add	N/A	discrepancy
179	no	proved	no	add	possible	additive combinatorics, arithmetic progressions
180	no	disproved (Lean)	yes	add	N/A	graph theory, turan number
181	no	open	yes	view	possible	graph theory, ramsey theory
182	no	proved	no	add	possible	graph theory
183	$250	solved (Lean)	yes	add	A003323	graph theory, ramsey theory
184	no	open	yes	view	possible	graph theory, cycles
185	no	proved (Lean)	yes	add	A003142	additive combinatorics
186	no	solved	yes	add	A389784	additive combinatorics
187	no	open	no	view	N/A	additive combinatorics, ramsey theory, arithmetic progressions
188	no	open	yes	view	N/A	geometry, ramsey theory
189	no	disproved (Lean)	yes	add	N/A	geometry, ramsey theory
190	no	solved (Lean)	yes	add	possible	additive combinatorics, arithmetic progressions
191	no	proved (Lean)	yes	add	N/A	combinatorics, ramsey theory
192	no	solved (Lean)	yes	add	N/A	arithmetic progressions, combinatorics
193	no	disproved (Lean)	yes	add	A231255	geometry
194	no	disproved (Lean)	yes	add	N/A	arithmetic progressions
195	no	open	yes	view	N/A	arithmetic progressions
196	no	open	yes	view	N/A	arithmetic progressions
197	no	open	yes	view	N/A	arithmetic progressions
198	no	disproved (Lean)	yes	add	N/A	additive combinatorics, sidon sets, arithmetic progressions
199	no	disproved (Lean)	yes	add	N/A	arithmetic progressions
200	no	open	yes	view	A005115	primes, arithmetic progressions
201	no	open	no	view	A003002, A003003, A003004, A003005, possible	additive combinatorics, arithmetic progressions
202	no	solved (Lean)	yes	add	A389975	covering systems
203	no	open	yes	view	N/A	primes, covering systems
204	no	disproved (Lean)	yes	add	N/A	covering systems, divisors
205	no	disproved (Lean)	yes	add	possible	number theory
206	no	disproved (Lean)	yes	add	N/A	number theory, unit fractions
207	no	proved	yes	add	N/A	combinatorics, hypergraphs
208	no	open	yes	view	A005117, A076259	number theory
209	no	disproved (Lean)	yes	add	N/A	geometry
210	no	proved	yes	add	A003034	geometry
211	$100	proved	yes	add	N/A	geometry
212	no	open	yes	view	N/A	geometry, distances
213	no	open	yes	view	N/A	geometry, distances
214	no	proved (Lean)	yes	add	N/A	geometry, distances, ramsey theory
215	no	proved (Lean)	yes	add	N/A	geometry
216	no	disproved	no	add	A381776	geometry, convex
217	no	open	yes	view	possible	geometry, distances
218	no	open	yes	view	A333230, A333231, A064113	number theory, primes
219	no	proved (Lean)	yes	add	A005115, A113827, A123556	number theory, additive combinatorics, primes, arithmetic progressions	Green-Tao theorem
220	$500	proved (Lean)	yes	add	A322144	number theory
221	no	proved (Lean)	yes	add	N/A	number theory, additive basis
222	no	open	no	view	A001481, A256435	number theory, squares
223	no	solved	no	add	A008811, possible	geometry, distances
224	no	proved (Lean)	yes	add	N/A	geometry
225	no	proved	yes	add	N/A	analysis
226	no	proved (Lean)	yes	add	N/A	analysis
227	no	disproved	no	add	N/A	analysis
228	no	proved (Lean)	yes	add	N/A	analysis, polynomials
229	no	proved (Lean)	yes	add	N/A	analysis, iterated functions
230	no	disproved (Lean)	yes	add	N/A	analysis, polynomials
231	no	disproved (Lean)	yes	add	N/A	combinatorics
232	no	proved	yes	add	N/A	geometry, distances
233	no	open	yes	view	A074741	number theory, primes
234	no	open	yes	view	N/A	number theory, primes
235	no	proved	yes	add	N/A	number theory
236	no	open	yes	view	A039669, A109925	number theory, primes
237	no	proved (Lean)	yes	add	N/A	number theory, primes
238	no	open	yes	view	N/A	number theory, primes
239	no	proved (Lean)	yes	add	N/A	number theory
240	no	proved	yes	add	N/A	number theory, primes
241	$100	open	yes	view	A387704	additive combinatorics, sidon sets
242	no	falsifiable	yes	view	A073101, A075245, A075246, A075247, A075248, A287116	number theory, unit fractions	Erdős-Straus conjecture
243	no	open	yes	view	A000058	number theory, irrationality
244	no	open	yes	view	N/A	number theory, primes
245	no	proved	yes	add	N/A	additive combinatorics
246	no	proved (Lean)	yes	add	N/A	number theory
247	no	open	yes	view	N/A	number theory, irrationality
248	no	proved (Lean)	yes	add	N/A	number theory
249	no	open	yes	view	A256936	number theory, irrationality
250	no	proved (Lean)	yes	add	A066766	number theory, irrationality
251	no	open	yes	view	A098990	number theory, irrationality
252	no	open	yes	view	A227988, A227989, A307036, A359060, possible	number theory, irrationality
253	no	disproved (Lean)	yes	add	N/A	number theory
254	no	open	yes	view	N/A	number theory
255	no	proved (Lean)	no	add	N/A	discrepancy
256	no	open	no	view	N/A	analysis
257	no	open	yes	view	N/A	irrationality
258	no	proved (Lean)	yes	add	N/A	irrationality
259	no	proved (Lean)	yes	add	A371134	irrationality
260	no	open	yes	view	N/A	irrationality
261	no	open	yes	view	N/A	number theory
262	no	solved (Lean)	no	add	N/A	irrationality
263	no	open	yes	view	N/A	irrationality
264	no	open	yes	view	N/A	irrationality
265	no	open	no	view	N/A	irrationality	ambiguous statement
266	no	disproved (Lean)	yes	add	N/A	irrationality
267	no	open	yes	view	N/A	irrationality
268	no	proved (Lean)	yes	add	N/A	number theory
269	no	open	yes	view	N/A	irrationality
270	no	disproved (Lean)	yes	add	A073016	irrationality
271	no	open	no	view	A005487	additive combinatorics, arithmetic progressions	Stanley sequences
272	no	open	yes	view	possible	additive combinatorics, arithmetic progressions
273	no	open	yes	view	N/A	number theory, covering systems
274	no	open	yes	view	N/A	group theory, covering systems	Herzog-Schönheim conjecture
275	no	proved (Lean)	yes	add	N/A	number theory, covering systems
276	no	open	yes	view	N/A	number theory, covering systems
277	no	proved (Lean)	yes	add	N/A	number theory, covering systems
278	no	open	no	view	N/A	number theory, covering systems
279	no	open	yes	view	N/A	number theory, covering systems, primes
280	no	disproved (Lean)	yes	add	N/A	number theory, covering systems
281	no	proved (Lean)	yes	add	N/A	number theory, covering systems
282	no	open	yes	view	N/A	number theory, unit fractions
283	no	proved (Lean)	yes	add	A380791	number theory, unit fractions
284	no	proved	yes	add	possible	number theory, unit fractions
285	no	proved (Lean)	yes	add	A030659	number theory, unit fractions
286	no	proved	yes	add	N/A	number theory, unit fractions
287	no	falsifiable	yes	view	N/A	number theory, unit fractions
288	no	open	yes	view	N/A	number theory, unit fractions
289	no	open	yes	view	N/A	number theory, unit fractions
290	no	proved (Lean)	yes	add	A375081	number theory, unit fractions
291	no	open	yes	view	A110566	number theory, unit fractions
292	no	proved	yes	add	A092671	number theory, unit fractions
293	no	open	no	view	A400352	number theory, unit fractions	ambiguous statement
294	no	proved	yes	add	possible	number theory, unit fractions
295	no	open	yes	view	A192881	number theory, unit fractions
296	no	proved (Lean)	yes	add	possible	number theory, unit fractions
297	no	solved	yes	add	A092670	number theory, unit fractions
298	no	proved (Lean)	yes	add	N/A	number theory, unit fractions
299	no	disproved (Lean)	yes	add	N/A	number theory, unit fractions
300	no	solved (Lean)	yes	add	A390393	number theory, unit fractions
301	no	open	no	view	A390394	number theory, unit fractions
302	no	open	yes	view	A390395	number theory, unit fractions
303	no	proved (Lean)	yes	add	N/A	number theory, unit fractions
304	no	open	yes	view	A097847, A097849	number theory, unit fractions
305	no	proved	yes	add	possible	number theory, unit fractions
306	no	open	yes	view	N/A	number theory, unit fractions
307	no	verifiable	yes	view	N/A	number theory, unit fractions
308	no	proved	yes	add	A101877, possible	number theory, unit fractions
309	no	disproved (Lean)	yes	add	A217693	number theory, unit fractions
310	no	proved (Lean)	yes	add	N/A	number theory, unit fractions
311	no	open	yes	view	N/A	number theory, unit fractions
312	no	open	yes	view	N/A	number theory, unit fractions
313	no	open	yes	view	A054377	number theory, unit fractions
314	no	proved (Lean)	yes	add	N/A	number theory, unit fractions
315	no	proved (Lean)	yes	add	A000058, A076393	number theory, unit fractions
316	no	disproved (Lean)	yes	add	N/A	number theory, unit fractions
317	no	open	yes	view	N/A	number theory, unit fractions
318	no	solved (Lean)	yes	add	N/A	number theory, unit fractions
319	no	open	yes	view	possible	number theory, unit fractions
320	no	solved	no	add	A072207	number theory, unit fractions
321	no	solved	yes	add	A384927, A391592	number theory, unit fractions
322	no	open	yes	view	A025456, A025418	number theory, powers
323	no	open	yes	view	A004825, A004831, A004832, A004833, A004842, A004843, A004844, A004845, A004857, A004869, possible	number theory, powers
324	no	open	yes	view	N/A	number theory, powers, sidon sets
325	no	open	yes	view	A004825, A004832, A004843, A004854, A004865, possible	number theory, powers
326	no	open	yes	view	N/A	number theory, additive basis
327	no	open	no	view	A384927	number theory, unit fractions
328	no	disproved (Lean)	yes	add	N/A	number theory, additive combinatorics
329	no	open	yes	view	possible	number theory, sidon sets
330	no	proved (Lean)	yes	add	N/A	number theory, additive basis
331	no	disproved (Lean)	yes	add	N/A	number theory, additive combinatorics
332	no	open	yes	view	N/A	number theory
333	no	disproved (Lean)	yes	add	N/A	number theory, additive basis
334	no	open	no	view	A062241, A045535	number theory
335	no	open	no	view	N/A	number theory, additive combinatorics
336	no	open	no	view	possible	number theory, additive basis
337	no	disproved (Lean)	yes	add	N/A	number theory, additive combinatorics, additive basis
338	no	open	yes	view	N/A	number theory, additive basis
339	no	proved	no	add	N/A	number theory, additive basis
340	no	open	yes	view	A080200, A005282	number theory, additive combinatorics, sidon sets
341	no	open	yes	view	N/A	number theory
342	no	open	yes	view	A002858, A400867	number theory
343	no	proved (Lean)	no	add	N/A	number theory, complete sequences
344	no	proved	yes	add	N/A	number theory, complete sequences
345	no	open	yes	view	A001661	number theory, complete sequences
346	no	solved	yes	add	N/A	number theory, complete sequences
347	no	proved (Lean)	yes	add	N/A	number theory, complete sequences
348	no	open	yes	view	N/A	number theory, complete sequences
349	no	open	yes	view	N/A	number theory, complete sequences
350	no	proved (Lean)	yes	add	N/A	number theory, additive combinatorics
351	no	proved (Lean)	yes	add	N/A	number theory, complete sequences
352	no	open	yes	view	N/A	geometry
353	no	proved (Lean)	yes	add	N/A	geometry
354	no	open	yes	view	N/A	number theory, complete sequences
355	no	proved (Lean)	yes	add	N/A	number theory, unit fractions
356	no	proved (Lean)	no	add	possible	number theory
357	no	open	yes	view	A364132, A364153, possible	number theory
358	no	proved (Lean)	yes	add	possible	number theory, additive basis, primes
359	no	open	yes	view	A002048	number theory	segmented numbers
360	no	solved	yes	add	possible	number theory
361	no	open	yes	view	possible	number theory
362	no	proved (Lean)	yes	add	possible	number theory
363	no	disproved (Lean)	yes	add	N/A	number theory
364	no	verifiable	yes	view	A060355, A076445	number theory, powerful
365	no	open	yes	view	A060355, A060859, A175155	number theory, powerful
366	no	verifiable	yes	view	A060355	number theory, powerful	ambiguous statement
367	no	open	yes	view	A057521	number theory, powerful
368	no	open	yes	view	A074399	number theory
369	no	proved (Lean)	yes	add	N/A	number theory
370	no	proved (Lean)	yes	add	N/A	number theory
371	no	open	yes	view	A070089	number theory
372	no	proved	yes	add	A071870	number theory
373	no	open	yes	view	A003135	number theory, factorials
374	no	open	no	view	A388851, A387184, A389117, A389148	number theory
375	no	falsifiable	yes	view	N/A	number theory, primes
376	no	open	yes	view	A030979	number theory, binomial coefficients, base representations
377	no	open	yes	view	N/A	number theory, binomial coefficients
378	no	proved	no	add	N/A	number theory, binomial coefficients
379	no	proved (Lean)	yes	add	A048279, A400962	number theory, binomial coefficients
380	no	proved	no	add	A070003, A388654, A387054, A389100	number theory
381	no	disproved	no	add	A002182	number theory, divisors
382	no	open	yes	view	A388850	number theory
383	no	open	yes	view	N/A	number theory
384	no	proved (Lean)	yes	add	N/A	number theory, binomial coefficients
385	no	open	yes	view	A322292, A322293	number theory
386	no	open	yes	view	A280992	number theory, binomial coefficients
387	no	solved	yes	add	A401107, A401108	number theory, binomial coefficients
388	no	open	yes	view	N/A	number theory
389	no	open	yes	view	A375071	number theory
390	no	open (Lean)	yes	view	A193429	number theory, factorials
391	no	proved (Lean)	yes	add	A034258, A034259	number theory, factorials
392	no	proved (Lean)	yes	add	possible	number theory, factorials
393	no	open	yes	view	A388302	number theory, factorials
394	no	open	yes	view	A344005	number theory
395	no	proved (Lean)	yes	add	N/A	analysis	reverse Littlewood-Offord problem
396	no	open	yes	view	A375077	number theory, binomial coefficients
397	no	disproved (Lean)	yes	add	N/A	number theory, binomial coefficients
398	no	falsifiable	yes	view	A146968, A141399	number theory, factorials	Brocard-Ramanujan conjecture
399	no	disproved (Lean)	yes	add	N/A	number theory, factorials
400	no	open	yes	view	A400979, A400981, possible	number theory, factorials
401	no	proved (Lean)	yes	add	N/A	number theory, factorials
402	no	proved	yes	add	N/A	number theory
403	no	proved (Lean)	yes	add	N/A	number theory, factorials
404	no	open	no	view	N/A	number theory, factorials
405	no	proved (Lean)	yes	add	N/A	number theory, factorials
406	no	open	yes	view	N/A	number theory, base representations
407	no	proved	yes	add	possible, A387688	number theory
408	no	open	yes	view	A049108	number theory, iterated functions
409	no	open	yes	view	A039651, A229487	number theory, iterated functions
410	no	open	yes	view	A007497, possible	number theory, iterated functions
411	no	open	no	view	A383044, possible	number theory, iterated functions	partial r=2 result
412	no	open	yes	view	A007497, A051572	number theory, iterated functions
413	no	open	yes	view	A005236	number theory, iterated functions
414	no	open	yes	view	A064491, possible	number theory, iterated functions
415	no	open	no	view	possible	number theory
416	no	open	yes	view	A264810	number theory
417	no	open	yes	view	A264810, A061070	number theory
418	no	proved (Lean)	yes	add	A005278, A263958	number theory
419	no	solved (Lean)	yes	add	N/A	number theory, factorials
420	no	open	yes	view	N/A	number theory
421	no	solved	yes	add	A389544, A390848	number theory
422	no	open	yes	view	A005185	number theory
423	no	open	yes	view	A005243	number theory
424	no	open	yes	view	A005244	number theory
425	no	open	yes	view	possible	number theory, sidon sets
426	$25	disproved (Lean)	yes	add	possible	graph theory
427	no	proved (Lean)	yes	add	N/A	number theory, primes
428	no	open	yes	view	N/A	number theory, primes
429	no	disproved (Lean)	yes	add	N/A	number theory
430	no	open	yes	view	A322293, possible	number theory
431	no	open	yes	view	N/A	number theory, primes	inverse Goldbach problem
432	no	open	no	view	N/A	number theory
433	no	proved (Lean)	yes	add	possible	number theory
434	no	proved (Lean)	yes	add	possible	number theory
435	no	proved (Lean)	yes	add	A389479	number theory
436	no	open	yes	view	A000445, possible	number theory
437	no	proved	yes	add	possible	number theory
438	no	solved	yes	add	A363069	number theory
439	no	proved	no	add	N/A	number theory, ramsey theory
440	no	solved	yes	add	N/A	number theory
441	no	disproved (Lean)	yes	add	A068509	number theory
442	no	disproved (Lean)	yes	add	N/A	number theory
443	no	proved (Lean)	yes	add	A401140	number theory
444	no	proved	yes	add	N/A	number theory, divisors
445	no	open	yes	view	N/A	number theory
446	no	solved	no	add	A074738, A399690, A399691, A399697, A399698	number theory, divisors
447	no	proved (Lean)	yes	add	possible	combinatorics
448	no	disproved (Lean)	yes	add	A397433	number theory, divisors
449	no	disproved	no	add	A399440	number theory, divisors
450	no	open	yes	view	N/A	number theory, divisors
451	no	open	no	view	A386620	number theory
452	no	open	yes	view	possible	number theory
453	no	disproved (Lean)	yes	add	N/A	number theory
454	no	open	yes	view	A389676, A389677	number theory, primes
455	no	open	yes	view	N/A	number theory
456	no	open	yes	view	A034694, A061026, possible	number theory
457	no	proved (Lean)	yes	add	A391668	number theory
458	no	falsifiable	yes	view	A056604	number theory, primes
459	no	solved (Lean)	yes	add	A289280	number theory, primes
460	no	open	no	view	N/A	number theory	ambiguous statement
461	no	open	yes	view	possible	number theory, primes
462	no	open	yes	view	A032742, possible	number theory, primes
463	no	open	yes	view	A401176, possible	number theory, primes
464	no	proved (Lean)	yes	add	N/A	number theory
465	no	proved	no	add	N/A	number theory
466	no	proved	yes	add	N/A	number theory
467	no	open	yes	view	N/A	number theory	ambiguous statement
468	no	open	no	view	A167485, A387502, A387503	number theory, divisors
469	no	proved (Lean)	yes	add	A006036, A119425, possible	number theory, divisors
470	$10	open	yes	view	A006037, A002975	number theory, divisors
471	no	proved	no	add	possible	number theory
472	no	open	yes	view	A389713, possible	number theory
473	no	proved	yes	add	A055265	number theory
474	$100	not provable	no	add	N/A	set theory, ramsey theory
475	no	decidable	no	add	N/A	number theory, additive combinatorics
476	no	proved (Lean)	yes	add	N/A	number theory, additive combinatorics
477	no	solved	yes	add	N/A	number theory, sidon sets
478	no	open	yes	view	A210184	number theory, factorials
479	no	open	yes	view	A036236, A015919, A050259, A015921, A006521, A006517, A015940	number theory
480	no	proved (Lean)	yes	add	N/A	number theory
481	no	proved (Lean)	yes	add	N/A	number theory
482	no	solved	yes	add	A004539	number theory
483	no	open	yes	view	A030126	number theory, additive combinatorics, ramsey theory
484	no	proved (Lean)	yes	add	N/A	number theory, additive combinatorics, ramsey theory
485	no	proved	yes	add	possible	analysis, polynomials
486	no	open	yes	view	N/A	number theory, primitive sets
487	no	proved (Lean)	yes	add	N/A	number theory
488	no	falsifiable	yes	view	N/A	number theory
489	no	open	yes	view	N/A	number theory
490	no	proved (Lean)	yes	add	A397205	number theory
491	no	proved	yes	add	N/A	number theory
492	no	disproved	no	add	N/A	number theory
493	no	proved (Lean)	yes	add	N/A	number theory
494	no	proved	yes	add	N/A	analysis, additive combinatorics
495	no	open	yes	view	N/A	diophantine approximation, number theory	Littlewood conjecture
496	no	proved	no	add	N/A	number theory, diophantine approximation
497	no	solved (Lean)	yes	add	A000372	combinatorics	Dedekind's problem
498	no	proved (Lean)	yes	add	N/A	combinatorics, analysis	strong Littlewood-Offord problem
499	no	proved (Lean)	yes	add	N/A	combinatorics
500	$500	open	yes	view	A140462	graph theory, hypergraphs, turan number
501	no	not disprovable	yes	add	N/A	combinatorics, set theory
502	no	solved (Lean)	yes	add	A027627	geometry, distances
503	no	open	yes	view	A175769	geometry, distances
504	no	solved	yes	add	N/A	geometry	Blumenthal's problem
505	no	disproved (Lean)	yes	add	possible	geometry	Borsuk's problem
506	no	decidable	yes	add	possible	geometry
507	no	open	yes	view	N/A	geometry	Heilbronn's triangle problem
508	no	open	yes	view	N/A	geometry, ramsey theory	Hadwiger-Nelson problem
509	no	open	yes	view	N/A	analysis, polynomials
510	no	open	yes	view	N/A	analysis	Chowla's cosine problem
511	no	disproved	no	add	N/A	analysis
512	no	proved (Lean)	yes	add	N/A	analysis	Littlewood's conjecture
513	no	open	yes	view	N/A	analysis
514	no	open	no	view	N/A	analysis
515	no	proved	no	add	N/A	analysis
516	no	proved (Lean)	yes	add	N/A	analysis
517	no	open	yes	view	N/A	analysis
518	no	proved	no	add	N/A	graph theory, ramsey theory
519	no	proved (Lean)	yes	add	N/A	analysis
520	no	open	yes	view	N/A	number theory, probability
521	no	open	yes	view	N/A	analysis, polynomials, probability
522	no	open (Lean)	yes	view	N/A	analysis, polynomials, probability
523	no	proved	no	add	N/A	analysis, probability, polynomials
524	no	open	no	view	N/A	analysis, probability, polynomials
525	no	proved	yes	add	possible	analysis, probability, polynomials
526	no	solved	no	add	N/A	probability, geometry
527	no	proved	no	add	N/A	analysis, probability
528	no	open	no	view	A387897, A156816	geometry
529	no	open	no	view	N/A	geometry, probability
530	no	open	no	view	A143824, possible	number theory, sidon sets
531	no	open	no	view	possible	number theory, ramsey theory
532	no	proved (Lean)	yes	add	N/A	number theory, ramsey theory
533	no	disproved (Lean)	yes	add	N/A	graph theory
534	no	solved	yes	add	A387543, A387698	number theory, intersecting family
535	no	open	yes	view	possible	number theory
536	no	open	yes	view	possible	number theory
537	no	disproved (Lean)	yes	add	possible	number theory
538	no	open	yes	view	N/A	number theory
539	no	open	yes	view	possible	number theory, additive combinatorics
540	no	proved (Lean)	yes	add	A034463	number theory
541	no	proved (Lean)	yes	add	N/A	number theory
542	no	solved	yes	add	N/A	number theory
543	no	disproved	no	add	possible	number theory, group theory
544	no	open	yes	view	A000791	graph theory, ramsey theory
545	no	open	yes	view	A059442, possible	graph theory, ramsey theory
546	no	proved	yes	add	possible	graph theory, ramsey theory
547	no	proved	yes	add	N/A	graph theory, ramsey theory
548	no	proved (Lean)	yes	add	N/A	graph theory
549	no	disproved	yes	add	N/A	graph theory, ramsey theory
550	no	open (Lean)	yes	view	N/A	graph theory, ramsey theory
551	no	decidable	yes	add	N/A	graph theory, ramsey theory
552	$100	open	yes	view	A006672	graph theory, ramsey theory
553	no	proved	no	add	A000791, possible	graph theory, ramsey theory
554	no	open	yes	view	possible	graph theory, ramsey theory
555	no	open	yes	view	A389313, possible	graph theory, ramsey theory
556	no	decidable	yes	add	A389335	graph theory, ramsey theory
557	no	proved (Lean)	yes	add	N/A	graph theory, ramsey theory
558	no	open	no	view	possible	graph theory, ramsey theory
559	no	disproved	yes	add	possible	graph theory, ramsey theory
560	no	open	yes	view	possible	graph theory, ramsey theory
561	no	open	yes	view	N/A	graph theory, ramsey theory
562	no	open	yes	view	possible	graph theory, ramsey theory, hypergraphs
563	no	open	yes	view	N/A	graph theory, ramsey theory, hypergraphs
564	$500	open	yes	view	possible	graph theory, ramsey theory, hypergraphs
565	no	proved	no	add	possible	graph theory, ramsey theory
566	no	open	yes	view	N/A	graph theory, ramsey theory
567	no	open	yes	view	N/A	graph theory, ramsey theory
568	no	open	yes	view	N/A	graph theory, ramsey theory
569	no	open	yes	view	N/A	graph theory, ramsey theory
570	no	proved	yes	add	N/A	graph theory, ramsey theory
571	no	proved (Lean)	yes	add	N/A	graph theory, turan number
572	no	open	yes	view	possible	graph theory, turan number, cycles
573	no	open	yes	view	A006856	graph theory, turan number
574	no	disproved	no	add	possible	graph theory, turan number
575	no	disproved	no	add	N/A	graph theory, turan number
576	no	open	no	view	possible	graph theory, turan number
577	no	proved	yes	add	N/A	graph theory
578	no	proved	yes	add	N/A	graph theory
579	no	open	yes	view	N/A	graph theory, turan number
580	no	decidable	no	add	N/A	graph theory
581	no	solved	yes	add	possible	graph theory
582	$100	proved (Lean)	yes	add	N/A	graph theory, ramsey theory
583	no	falsifiable	yes	view	N/A	graph theory
584	no	open	no	view	N/A	graph theory, cycles
585	no	open	no	view	possible	graph theory, cycles
586	no	disproved	yes	add	N/A	number theory, covering systems
587	no	solved	yes	add	A372040	number theory
588	$100	open	yes	view	A006065, A008997	geometry
589	no	open	no	view	possible	geometry
590	$250	proved (Lean)	yes	add	N/A	set theory, ramsey theory
591	$250	proved	yes	add	N/A	set theory, ramsey theory
592	$1000	open	yes	view	N/A	set theory, ramsey theory
593	$500	open	yes	view	N/A	set theory, graph theory, hypergraphs, chromatic number
594	no	proved (Lean)	yes	add	N/A	graph theory, set theory
595	$250	open	yes	view	N/A	graph theory, set theory
596	no	open	yes	view	N/A	graph theory, ramsey theory, set theory
597	no	open	yes	view	N/A	graph theory, ramsey theory, set theory
598	no	open	yes	view	N/A	set theory, ramsey theory
599	no	proved	yes	add	N/A	graph theory, set theory	Erdős-Menger conjecture
600	no	open	yes	view	possible	graph theory
601	$500	open	yes	view	N/A	graph theory, set theory
602	no	open	yes	view	N/A	combinatorics, set theory	Property B
603	no	solved	yes	add	N/A	combinatorics, set theory
604	$500	open	yes	view	possible	geometry, distances	pinned distance problem
605	no	proved	no	add	possible	geometry, distances
606	no	solved	no	add	N/A	geometry
607	$250	proved	no	add	possible	geometry
608	no	disproved (Lean)	no	add	N/A	graph theory
609	no	open	yes	view	possible	graph theory, ramsey theory
610	no	proved (Lean)	no	add	possible	graph theory
611	no	open	yes	view	N/A	graph theory
612	no	open	no	view	N/A	graph theory
613	no	disproved (Lean)	yes	add	N/A	graph theory, ramsey
614	no	open	yes	view	possible	graph theory
615	no	disproved (Lean)	yes	add	possible	graph theory, ramsey theory
616	no	open	yes	view	N/A	graph theory
617	no	falsifiable	yes	view	N/A	graph theory
618	no	proved (Lean)	yes	add	N/A	graph theory
619	no	solved (Lean)	yes	add	N/A	graph theory
620	no	open	no	view	possible	graph theory	Erdős-Rogers problem
621	no	proved (Lean)	yes	add	N/A	graph theory
622	no	proved	no	add	possible	graph theory
623	no	open	yes	view	N/A	set theory
624	no	open	yes	view	possible	combinatorics
625	$1000	solved	no	add	N/A	graph theory, chromatic number
626	no	open	yes	view	possible	graph theory, chromatic number, cycles
627	no	open	yes	view	possible	graph theory, chromatic number
628	no	falsifiable	yes	view	N/A	graph theory, chromatic number	Erdős-Lovász Tihany Conjecture
629	no	open	yes	view	possible	graph theory, chromatic number
630	no	proved (Lean)	no	add	N/A	graph theory, chromatic number
631	no	proved	no	add	N/A	graph theory, chromatic number
632	no	disproved	no	add	N/A	graph theory, chromatic number
633	$25	solved	yes	add	N/A	geometry
634	$25	open	no	view	A005792, possible	geometry
635	no	open	no	view	N/A	number theory
636	no	proved	yes	add	N/A	graph theory, ramsey theory
637	no	proved	no	add	N/A	graph theory, ramsey theory
638	no	open	no	view	N/A	graph theory, ramsey theory
639	no	proved (Lean)	yes	add	N/A	graph theory, ramsey theory
640	no	open	yes	view	N/A	graph theory, chromatic number
641	no	disproved	yes	add	N/A	graph theory
642	no	open	yes	view	possible	graph theory, cycles
643	no	open	yes	view	possible	graph theory, hypergraphs
644	no	open	yes	view	possible	combinatorics
645	no	proved (Lean)	yes	add	N/A	number theory, additive combinatorics, ramsey theory, arithmetic progressions
646	no	proved (Lean)	yes	add	N/A	number theory, factorials
647	£25	verifiable	yes	view	A062249, A087280	number theory
648	no	solved (Lean)	yes	add	A391750	number theory
649	no	disproved (Lean)	yes	add	possible	number theory
650	no	solved (Lean)	yes	add	A027434	number theory
651	no	disproved (Lean)	yes	add	possible	geometry, convex
652	no	proved	yes	add	N/A	geometry, distances
653	no	open	yes	view	possible	geometry, distances
654	no	open	yes	view	possible	geometry, distances
655	no	open	yes	view	possible	geometry, distances	ambiguous statement
656	no	proved	yes	add	N/A	number theory, additive combinatorics
657	no	open	yes	view	possible	geometry, distances
658	no	proved (Lean)	yes	add	possible	additive combinatorics
659	no	proved (Lean)	yes	add	possible	geometry, distances
660	no	open	yes	view	possible	geometry, distances, convex	ambiguous statement
661	$50	open	yes	view	A186704, possible	geometry, distances
662	no	open	no	view	N/A	geometry, distances	ambiguous statement
663	no	open	yes	view	A391668	number theory
664	no	disproved	yes	add	N/A	combinatorics
665	no	open	yes	view	N/A	combinatorics
666	no	disproved (Lean)	yes	add	possible	graph theory
667	no	open	yes	view	N/A	graph theory, ramsey theory
668	no	open	yes	view	A385657	geometry, distances
669	no	open	yes	view	A003035, A006065, A008997, possible	geometry	orchard problems
670	no	open	yes	view	N/A	geometry, distances
671	$250	open	no	view	N/A	analysis
672	no	verifiable	yes	view	N/A	number theory
673	no	proved	yes	add	N/A	number theory, divisors
674	no	proved (Lean)	yes	add	N/A	number theory
675	no	open	yes	view	N/A	number theory
676	no	open	yes	view	A390181, in progress	number theory
677	no	open	yes	view	possible	number theory
678	no	proved (Lean)	yes	add	possible	number theory
679	no	open	yes	view	N/A	number theory
680	no	open	yes	view	N/A	number theory, primes
681	no	open	yes	view	A389680	number theory, primes
682	no	proved	yes	add	A386978	number theory, primes
683	no	open	yes	view	A006530, A074399, A121359, possible	number theory, primes, binomial coefficients
684	no	open	yes	view	A392019, possible	number theory, primes, binomial coefficients
685	no	open	yes	view	N/A	number theory, primes, binomial coefficients
686	no	open	yes	view	N/A	number theory
687	$1000	open	yes	view	A048670, A058989	number theory
688	no	open	yes	view	N/A	number theory
689	no	open	yes	view	N/A	number theory
690	no	solved	yes	add	possible	number theory
691	no	open	yes	view	N/A	number theory
692	no	disproved (Lean)	yes	add	N/A	number theory, divisors
693	no	open	no	view	A391118, possible	number theory, divisors
694	no	solved (Lean)	yes	add	A002181, A006511, A049283, A057635, possible	number theory
695	no	open	yes	view	A061092	number theory
696	no	solved (Lean)	yes	add	A399769, A400930	number theory, divisors
697	no	proved	yes	add	N/A	number theory, divisors
698	no	proved (Lean)	yes	add	A400908	number theory, binomial coefficients
699	no	falsifiable	yes	view	N/A	number theory, binomial coefficients
700	no	open	yes	view	A091963, possible	number theory, binomial coefficients
701	no	open	yes	view	N/A	combinatorics, intersecting family
702	no	proved	yes	add	N/A	combinatorics
703	$250	proved (Lean)	yes	add	A390645	combinatorics
704	no	open	yes	view	N/A	graph theory, geometry, chromatic number
705	no	disproved	yes	add	N/A	graph theory, chromatic number
706	no	open	yes	view	possible	graph theory, chromatic number
707	$1000	disproved (Lean)	yes	add	N/A	additive combinatorics, sidon sets
708	$100	open	no	view	possible	number theory
709	no	open	yes	view	possible	number theory
710	₹2000	open	yes	view	A390246	number theory
711	₹1000	open	yes	view	A390246, possible	number theory
712	$500	open	yes	view	possible	graph theory, turan number, hypergraphs
713	$500	open	yes	view	N/A	graph theory, turan number
714	no	open	yes	view	possible	graph theory, turan number
715	no	proved	no	add	N/A	graph theory
716	no	proved (Lean)	yes	add	possible	graph theory, hypergraphs	Ruzsa-Szemerédi problem
717	no	proved	yes	add	N/A	graph theory
718	no	proved	no	add	N/A	graph theory
719	no	open	yes	view	possible	graph theory, hypergraphs
720	$100	proved	yes	add	possible	graph theory, ramsey theory
721	no	solved	yes	add	A171081	number theory, additive combinatorics, ramsey theory
722	no	proved	yes	add	N/A	combinatorics
723	no	falsifiable	yes	view	N/A	combinatorics
724	no	open	yes	view	A001438	combinatorics
725	no	open	yes	view	A001009	combinatorics
726	no	open	yes	view	N/A	number theory
727	no	open	yes	view	A002503, A343507, A389396	number theory, factorials
728	no	proved (Lean)	yes	add	N/A	number theory, factorials
729	no	proved (Lean)	yes	add	N/A	number theory, factorials
730	no	solved	yes	add	A129515	number theory, binomial coefficients, base representations
731	no	open	yes	view	A006197	number theory, binomial coefficients
732	no	proved	yes	add	N/A	combinatorics
733	no	proved	yes	add	possible	combinatorics, geometry
734	no	open	yes	view	possible	combinatorics
735	no	solved	yes	add	N/A	geometry
736	no	not provable	no	add	N/A	graph theory, chromatic number
737	no	proved	yes	add	N/A	graph theory, chromatic number
738	no	open	no	view	N/A	graph theory, chromatic number
739	no	not provable	yes	add	N/A	graph theory, chromatic number
740	no	open	yes	view	N/A	graph theory, chromatic number
741	no	solved (Lean)	yes	add	N/A	additive combinatorics
742	no	decidable	yes	add	N/A	graph theory
743	no	falsifiable	yes	view	N/A	graph theory	tree packing conjecture
744	no	disproved	no	add	possible	graph theory, chromatic number
745	no	proved	yes	add	N/A	graph theory
746	no	proved	no	add	N/A	graph theory
747	no	solved	yes	add	N/A	combinatorics, hypergraphs
748	no	proved	yes	add	A007865	number theory	Cameron-Erdős conjecture
749	no	open	yes	view	N/A	additive combinatorics
750	no	proved (Lean)	yes	add	N/A	graph theory, chromatic number
751	no	disproved (Lean)	yes	add	N/A	graph theory, chromatic number
752	no	proved	no	add	N/A	graph theory, cycles
753	no	disproved (Lean)	yes	add	N/A	graph theory, chromatic number
754	no	proved (Lean)	no	add	possible	geometry, distances
755	no	proved (Lean)	yes	add	possible	geometry
756	no	proved (Lean)	yes	add	possible	geometry, distances
757	no	open	yes	view	possible	geometry, distances, sidon sets
758	no	solved	no	add	possible	graph theory, chromatic number
759	no	solved	no	add	possible	graph theory, chromatic number
760	no	proved (Lean)	yes	add	N/A	graph theory, chromatic number
761	no	open	yes	view	N/A	graph theory, chromatic number
762	no	disproved (Lean)	yes	add	N/A	graph theory, chromatic number
763	no	disproved	yes	add	N/A	number theory, additive combinatorics
764	no	disproved	yes	add	N/A	number theory, additive combinatorics
765	no	solved (Lean)	yes	add	A006855	graph theory, turan number
766	no	open	yes	view	possible	graph theory, turan number
767	no	proved	yes	add	possible	graph theory, turan number
768	no	open	no	view	A001034, A352287	number theory
769	no	open	yes	view	A014544, possible	number theory, geometry
770	no	open	yes	view	A263647, possible	number theory
771	no	proved	yes	add	possible	number theory
772	no	proved	yes	add	possible	number theory, sidon sets, additive combinatorics
773	no	open	yes	view	A390813	number theory, sidon sets, squares
774	no	open	yes	view	N/A	number theory
775	no	disproved (Lean)	yes	add	possible	graph theory, hypergraphs
776	no	open	no	view	possible	combinatorics
777	no	solved	yes	add	N/A	graph theory, combinatorics
778	no	open	no	view	N/A	graph theory
779	no	falsifiable	yes	view	A005235	number theory, primes
780	no	proved	yes	add	N/A	combinatorics, hypergraphs, chromatic number
781	no	disproved	yes	add	possible	additive combinatorics
782	no	open	yes	view	N/A	number theory
783	no	solved	no	add	N/A	number theory
784	no	solved	no	add	N/A	number theory
785	no	proved (Lean)	yes	add	N/A	additive combinatorics	exact additive complements
786	no	open	yes	view	A143301, possible	number theory
787	no	open	yes	view	possible	additive combinatorics
788	no	open	no	view	possible	additive combinatorics
789	no	open	yes	view	possible	additive combinatorics
790	no	open	no	view	possible	additive combinatorics
791	no	open	no	view	A066063	additive combinatorics
792	no	open	no	view	possible	additive combinatorics
793	no	proved (Lean)	yes	add	A399779	number theory
794	no	disproved (Lean)	yes	add	N/A	graph theory, hypergraphs, turan number
795	no	proved	no	add	possible	number theory
796	no	open	yes	view	possible	number theory
797	no	proved	no	add	possible	graph theory, chromatic number
798	no	proved (Lean)	yes	add	A116446	geometry
799	no	proved	no	add	N/A	graph theory, chromatic number
800	no	proved	yes	add	N/A	graph theory, ramsey theory
801	no	proved	yes	add	N/A	graph theory, ramsey theory
802	no	open	yes	view	N/A	graph theory
803	no	disproved (Lean)	yes	add	N/A	graph theory
804	no	disproved	yes	add	possible	graph theory
805	no	open	yes	view	possible	graph theory
806	no	proved	yes	add	possible	additive combinatorics
807	no	disproved	no	add	N/A	graph theory
808	no	disproved	yes	add	N/A	additive combinatorics, graph theory
809	no	open	no	view	possible	graph theory, ramsey theory
810	no	open	yes	view	possible	graph theory, ramsey theory
811	no	open	no	view	possible	graph theory, ramsey theory
812	no	open	yes	view	A059442	graph theory, ramsey theory
813	no	open	yes	view	possible	graph theory
814	no	proved	yes	add	possible	graph theory
815	no	disproved	no	add	N/A	graph theory
816	no	proved	yes	add	N/A	graph theory
817	no	open	yes	view	possible	additive combinatorics
818	no	proved (Lean)	yes	add	N/A	additive combinatorics
819	no	open	yes	view	possible	additive combinatorics
820	no	open	yes	view	A263647	number theory
821	no	open	yes	view	A014197	number theory
822	no	proved	yes	add	A121048, A155085	number theory
823	no	proved	yes	add	N/A	number theory
824	no	open	yes	view	possible	number theory
825	$25	proved (Lean)	yes	add	A006037, A330244	number theory, divisors, unit fractions
826	no	open	yes	view	N/A	number theory
827	no	open	yes	view	possible	geometry
828	no	open	yes	view	N/A	number theory
829	no	open	yes	view	A025455, A025468, possible	number theory
830	no	open	yes	view	A259180	number theory
831	no	open	yes	view	possible	geometry
832	no	disproved	yes	add	possible	graph theory, hypergraphs, chromatic number
833	no	proved	yes	add	possible	graph theory, hypergraphs, chromatic number
834	no	solved	yes	add	N/A	graph theory, hypergraphs
835	no	verifiable	yes	view	N/A	graph theory, hypergraphs
836	no	open	yes	view	N/A	graph theory, hypergraphs, chromatic number
837	no	open	yes	view	N/A	graph theory, hypergraphs
838	no	open	yes	view	possible	geometry, convex
839	no	open	yes	view	N/A	number theory
840	no	open	yes	view	N/A	additive combinatorics, sidon sets
841	no	solved	yes	add	A092487	number theory
842	no	proved	yes	add	N/A	graph theory, chromatic number
843	no	proved	no	add	N/A	number theory
844	no	proved (Lean)	yes	add	N/A	number theory, intersecting family
845	no	disproved (Lean)	yes	add	N/A	number theory
846	no	disproved (Lean)	yes	add	N/A	geometry
847	no	disproved (Lean)	yes	add	N/A	additive combinatorics
848	no	decidable	yes	add	N/A	number theory
849	no	open	yes	view	A003016, A003015, A059233, A098565, A090162, A180058, A182237	number theory, binomial coefficients	Singmaster's conjecture
850	no	open	yes	view	A343101	number theory, primes	Erdős-Woods conjecture
851	no	proved	yes	add	N/A	number theory
852	no	open	yes	view	A001223, A053597, A078515	number theory, primes
853	no	open	yes	view	A001223, A390769	number theory, primes
854	no	open	yes	view	A389839, A048670	number theory
855	no	open	yes	view	A023193	number theory, primes	second Hardy-Littlewood conjecture
856	no	open	yes	view	possible	number theory
857	no	open	yes	view	possible	combinatorics	weak sunflower problem
858	no	solved	yes	add	N/A	number theory, primitive sets
859	no	open	yes	view	N/A	number theory, divisors
860	no	open	yes	view	A048670, A058989	number theory, primes
861	no	solved	no	add	A143824, A227590, A003022, A143823	number theory, sidon sets
862	no	solved (Lean)	yes	add	A382395	number theory, sidon sets
863	no	proved	no	add	N/A	number theory, sidon sets, additive combinatorics
864	no	open	yes	view	A389182	number theory, sidon sets, additive combinatorics
865	no	proved (Lean)	yes	add	possible	number theory, additive combinatorics
866	no	open	no	view	possible	number theory, additive combinatorics
867	no	disproved (Lean)	yes	add	possible	additive combinatorics
868	no	solved (Lean)	yes	add	N/A	number theory, additive basis
869	no	disproved	yes	add	N/A	number theory, additive basis
870	no	open	no	view	N/A	number theory, additive basis
871	no	disproved (Lean)	yes	add	N/A	number theory, additive basis
872	no	open	yes	view	possible	number theory, primitive sets
873	no	open	yes	view	N/A	number theory
874	no	proved	no	add	possible	number theory, additive combinatorics
875	no	open	yes	view	N/A	additive combinatorics
876	no	open	yes	view	N/A	additive combinatorics
877	no	proved	yes	add	A121269, possible	additive combinatorics
878	no	open	yes	view	A339378, possible	number theory
879	no	open	no	view	A186736	number theory
880	no	proved	no	add	N/A	number theory, additive basis
881	no	open	yes	view	N/A	number theory, additive basis
882	no	solved	yes	add	possible	number theory, primitive sets
883	no	open	yes	view	N/A	number theory, graph theory
884	no	disproved (Lean)	yes	add	N/A	number theory, divisors
885	no	open	yes	view	N/A	number theory, divisors
886	no	open	yes	view	N/A	number theory, divisors
887	no	open	yes	view	N/A	number theory, divisors
888	no	solved (Lean)	yes	add	A387584	number theory, squares
889	no	open	yes	view	A401013, A401014, possible	number theory
890	no	open	yes	view	N/A	number theory, primes
891	no	open	yes	view	N/A	number theory
892	no	open	no	view	N/A	number theory, primitive sets
893	no	open	yes	view	A046801, possible	number theory, divisors
894	no	proved	yes	add	N/A	number theory, ramsey theory
895	no	proved	yes	add	N/A	additive combinatorics, graph theory
896	no	solved	no	add	A399711	number theory
897	no	disproved (Lean)	yes	add	N/A	number theory
898	no	proved (Lean)	yes	add	N/A	geometry	Erdős-Mordell inequality
899	no	proved (Lean)	yes	add	N/A	additive combinatorics
900	no	proved	yes	add	N/A	graph theory
901	no	open	yes	view	A392185	combinatorics, hypergraphs
902	no	open	yes	view	A362137	graph theory
903	no	proved	yes	add	N/A	combinatorics
904	no	proved (Lean)	yes	add	N/A	graph theory
905	no	proved (Lean)	yes	add	N/A	graph theory
906	no	open	yes	view	N/A	analysis, iterated functions
907	no	proved (Lean)	yes	add	N/A	analysis
908	no	proved	no	add	N/A	analysis
909	no	proved	no	add	N/A	analysis, topology
910	no	disproved	yes	add	N/A	topology
911	no	open	yes	view	N/A	graph theory, ramsey theory
912	no	open	yes	view	A071626	number theory, factorials
913	no	open	yes	view	A359747	number theory
914	no	proved (Lean)	yes	add	N/A	graph theory
915	no	solved	yes	add	N/A	graph theory
916	no	proved	no	add	N/A	graph theory, cycles
917	no	open	yes	view	N/A	graph theory, chromatic number
918	no	open	yes	view	N/A	graph theory, chromatic number
919	no	open	no	view	N/A	graph theory, chromatic number
920	no	solved	yes	add	possible	graph theory, chromatic number
921	no	proved	yes	add	possible	graph theory, chromatic number, cycles
922	no	proved	yes	add	N/A	graph theory, chromatic number
923	no	proved (Lean)	yes	add	N/A	graph theory, chromatic number
924	no	proved	no	add	N/A	graph theory, ramsey theory
925	no	disproved	no	add	possible	graph theory, ramsey theory
926	no	proved	yes	add	possible	graph theory
927	no	disproved (Lean)	yes	add	possible	graph theory
928	no	open	no	view	A006530	number theory
929	no	open	yes	view	A058989, A048670, A049300, possible	number theory
930	no	open	yes	view	N/A	number theory
931	no	open	yes	view	N/A	number theory
932	no	open	yes	view	A387864	number theory
933	no	open	yes	view	A401022	number theory
934	no	open	yes	view	possible	graph theory
935	no	open	yes	view	A057521, A389244, possible	number theory, powerful
936	no	open	yes	view	A146968, possible	number theory, powerful
937	no	proved (Lean)	yes	add	possible	number theory, powerful
938	no	open	yes	view	A001694, A076446, possible	number theory, powerful
939	no	open	yes	view	A297867, A036966, possible	number theory, powerful
940	no	open	yes	view	possible	number theory, powerful
941	no	proved	no	add	A056828	number theory, powerful
942	no	open	yes	view	A119241, A119242	number theory, powerful
943	no	open	yes	view	A085252, A085253, A085255	number theory, powerful
944	no	open	yes	view	N/A	graph theory, chromatic number
945	no	open	yes	view	possible, A048892	number theory, divisors
946	no	proved	yes	add	A005237, A284783	number theory, divisors
947	no	proved (Lean)	yes	add	N/A	number theory, covering systems
948	no	solved	yes	add	N/A	number theory, ramsey theory
949	no	open	yes	view	N/A	ramsey theory
950	no	open	yes	view	N/A	number theory, primes
951	no	open	yes	view	N/A	number theory
952	no	open	yes	view	N/A	number theory	Gaussian moat problem
953	no	open	no	view	N/A	geometry, distances
954	no	open	yes	view	A390642	number theory
955	no	open	yes	view	possible	number theory
956	no	open	no	view	possible	geometry, distances, convex
957	no	proved	yes	add	N/A	geometry, distances
958	no	disproved (Lean)	yes	add	N/A	distances, geometry
959	no	open	yes	view	N/A	geometry, distances
960	no	disproved	no	add	possible	geometry
961	no	open	yes	view	A213253	number theory
962	no	open	yes	view	A327909	number theory
963	no	open	yes	view	possible	number theory
964	no	proved (Lean)	yes	add	N/A	number theory, divisors
965	no	disproved (Lean)	yes	add	N/A	ramsey theory
966	no	proved (Lean)	yes	add	N/A	number theory, additive combinatorics, ramsey theory
967	no	disproved (Lean)	yes	add	N/A	number theory, analysis
968	no	open	yes	view	A387591	number theory
969	no	open	yes	view	A013928	number theory
970	no	open	yes	view	A048669	number theory	Jacobsthal's function
971	no	open	yes	view	A226521	number theory
972	no	open	yes	view	N/A	number theory
973	no	open (Lean)	yes	view	N/A	analysis
974	no	proved (Lean)	yes	add	N/A	analysis
975	no	open	yes	view	A147807, possible	number theory, divisors, polynomials
976	no	open	yes	view	N/A	number theory
977	no	proved	yes	add	A005420, A002583	number theory
978	no	open	yes	view	possible	number theory
979	no	open	yes	view	A385316, possible	number theory
980	no	proved	yes	add	A053760, A098990, possible	number theory
981	no	proved	yes	add	N/A	number theory
982	no	falsifiable	yes	view	A004526	geometry, convex, distances
983	no	open	yes	view	possible	number theory
984	no	proved	no	add	N/A	arithmetic progressions, additive combinatorics
985	no	open	yes	view	A002233, A219429, A103309, possible	number theory
986	no	proved	yes	add	A000791, A059442	graph theory, ramsey theory
987	no	proved (Lean)	yes	add	N/A	analysis, discrepancy
988	no	solved	no	add	possible	discrepancy
989	no	solved	no	add	possible	discrepancy
990	no	disproved (Lean)	yes	add	N/A	analysis
991	no	proved	no	add	N/A	discrepancy
992	no	disproved	no	add	N/A	discrepancy
993	no	falsifiable	no	view	A000055, possible	graph theory
994	no	disproved (Lean)	yes	add	N/A	analysis, discrepancy
995	no	open	yes	view	N/A	analysis, discrepancy
996	no	open	yes	view	N/A	analysis
997	no	proved (Lean)	yes	add	N/A	analysis, discrepancy, primes
998	no	proved	no	add	N/A	analysis, diophantine approximation
999	no	proved	yes	add	N/A	number theory, diophantine approximation	Duffin-Schaeffer conjecture
1000	no	proved (Lean)	yes	add	N/A	number theory, diophantine approximation
1001	no	solved	yes	add	N/A	number theory, diophantine approximation
1002	no	open	yes	view	N/A	analysis, diophantine approximation
1003	no	open	yes	view	A001274	number theory
1004	no	open	yes	view	A079008, possible	number theory
1005	no	solved	yes	add	A386893	number theory
1006	no	disproved	no	add	N/A	graph theory, cycles
1007	no	solved (Lean)	yes	add	N/A	graph theory
1008	no	proved (Lean)	yes	add	N/A	graph theory, cycles
1009	no	proved	yes	add	N/A	graph theory
1010	no	proved	yes	add	N/A	graph theory
1011	no	open	no	view	possible	graph theory
1012	no	solved	no	add	?	graph theory
1013	no	open	yes	view	A292528	graph theory, chromatic number
1014	no	proved (Lean)	yes	add	possible	graph theory, ramsey theory
1015	no	solved	no	add	possible	graph theory, ramsey theory
1016	no	open	no	view	A105206	graph theory, cycles	pancyclic graphs
1017	no	open	yes	view	possible	graph theory
1018	no	solved (Lean)	no	add	N/A	graph theory, planar graphs
1019	no	proved (Lean)	no	add	N/A	graph theory, planar graphs
1020	no	falsifiable	yes	view	N/A	graph theory, hypergraphs	Erdős matching conjecture
1021	no	proved	yes	add	N/A	graph theory
1022	no	proved (Lean)	yes	add	possible	combinatorics, hypergraphs
1023	no	solved (Lean)	yes	add	A347025, possible	combinatorics
1024	no	solved	yes	add	possible	graph theory, hypergraphs
1025	no	solved (Lean)	yes	add	possible	combinatorics
1026	no	solved (Lean)	yes	add	A391431, A391490	combinatorics
1027	no	proved	yes	add	N/A	combinatorics
1028	no	solved (Lean)	yes	add	possible	graph theory, discrepancy
1029	$100	open	yes	view	A059442	graph theory, ramsey theory
1030	no	open	yes	view	A000791, A059442	graph theory, ramsey theory
1031	no	proved	no	add	possible	graph theory
1032	no	open	yes	view	possible	graph theory, chromatic number
1033	no	open	yes	view	possible	graph theory
1034	no	disproved (Lean)	yes	add	possible	graph theory
1035	no	open	yes	view	possible	graph theory
1036	no	proved (Lean)	yes	add	possible	graph theory
1037	no	disproved (Lean)	yes	add	N/A	graph theory
1038	no	open	yes	view	N/A	analysis
1039	no	open	no	view	N/A	analysis, polynomials
1040	no	open	no	view	N/A	analysis
1041	no	falsifiable	yes	view	N/A	analysis, polynomials
1042	no	proved	yes	add	N/A	analysis
1043	no	disproved (Lean)	yes	add	N/A	analysis
1044	no	solved (Lean)	yes	add	N/A	analysis
1045	no	open	no	view	N/A	analysis
1046	no	disproved	yes	add	N/A	analysis
1047	no	disproved (Lean)	yes	add	N/A	analysis
1048	no	disproved (Lean)	yes	add	N/A	analysis
1049	no	open	yes	view	N/A	irrationality
1050	no	proved (Lean)	yes	add	A331372	irrationality
1051	no	proved (Lean)	yes	add	N/A	irrationality
1052	$10	open	yes	view	A002827	number theory	unitary perfect numbers
1053	no	open	yes	view	A007539	number theory	multiply perfect numbers
1054	no	open	yes	view	A167485	number theory, divisors
1055	no	open	yes	view	A005113	number theory, primes
1056	no	open	yes	view	A060427	number theory
1057	no	open	yes	view	A006931	number theory	Carmichael numbers
1058	no	proved	yes	add	N/A	number theory
1059	no	open	yes	view	A064152	number theory, primes
1060	no	open	yes	view	A327153	number theory
1061	no	open	yes	view	A110177, possible	number theory
1062	no	open	yes	view	A038372	number theory
1063	no	open	yes	view	A389360	number theory
1064	no	proved	yes	add	A051488, A051487	number theory
1065	no	open	yes	view	A074781, A339465	number theory
1066	no	open	yes	view	possible	graph theory, planar graphs
1067	no	disproved (Lean)	yes	add	N/A	graph theory, set theory
1068	no	open	yes	view	N/A	graph theory, set theory, chromatic number
1069	no	solved	yes	add	possible	geometry
1070	no	open	yes	view	possible	geometry
1071	no	proved (Lean)	yes	add	N/A	geometry
1072	no	open	yes	view	A073944, A072937, A154554	number theory
1073	no	open	yes	view	A256519	number theory
1074	no	open	yes	view	A063980, A064164	number theory
1075	no	open	yes	view	N/A	hypergraphs
1076	no	proved	no	add	possible	hypergraphs
1077	no	disproved (Lean)	yes	add	N/A	graph theory
1078	no	proved	no	add	N/A	graph theory
1079	no	solved	yes	add	N/A	graph theory, turan number
1080	no	disproved (Lean)	yes	add	possible	graph theory
1081	no	disproved	yes	add	A076871, A076872, possible	number theory, powerful
1082	no	falsifiable	yes	view	possible	geometry, distances
1083	no	open	yes	view	A186704, possible	geometry, distances
1084	no	open	yes	view	A045945, A047932, possible	geometry, distances	contact number problem
1085	no	open	yes	view	A186705, possible	geometry, distances
1086	no	open	yes	view	possible	geometry, distances
1087	no	open	yes	view	possible	geometry, distances
1088	no	open	yes	view	possible	geometry
1089	no	solved	yes	add	possible	geometry, distances
1090	no	proved (Lean)	yes	add	N/A	geometry, ramsey theory
1091	no	solved	no	add	N/A	chromatic number, graph theory
1092	no	disproved (Lean)	yes	add	N/A	chromatic number, graph theory
1093	no	open	yes	view	N/A	number theory, binomial coefficients
1094	no	open	yes	view	N/A	number theory, binomial coefficients
1095	no	open	yes	view	A003458	number theory, binomial coefficients
1096	no	proved (Lean)	yes	add	N/A	number theory
1097	no	open	yes	view	N/A	number theory, additive combinatorics
1098	no	proved (Lean)	yes	add	N/A	group theory
1099	no	proved	yes	add	N/A	number theory, divisors
1100	no	open	yes	view	A325864, possible	number theory, divisors
1101	no	open	yes	view	N/A	number theory
1102	no	solved (Lean)	yes	add	N/A	number theory
1103	no	open	no	view	A392164	number theory
1104	no	open	yes	view	A292528	graph theory, chromatic number
1105	no	proved	yes	add	A399683, A399687	graph theory, ramsey theory
1106	no	open	yes	view	A194259, A194260	number theory
1107	no	open	yes	view	A056828, A392342, A392343, possible	number theory, powerful
1108	no	open	yes	view	A051761, A115645, A025494	number theory, factorials
1109	no	open	yes	view	A392164, A392165	number theory
1110	no	open	yes	view	possible	number theory
1111	no	open	yes	view	possible	graph theory
1112	no	open (Lean)	no	view	N/A	additive combinatorics
1113	no	open	yes	view	A076336	number theory, covering systems	Sierpinski numbers
1114	no	proved	yes	add	N/A	analysis, polynomials
1115	no	solved	yes	add	N/A	analysis
1116	no	solved	yes	add	N/A	analysis
1117	no	open	no	view	N/A	analysis
1118	no	solved	no	add	N/A	analysis
1119	no	independent	yes	view	N/A	analysis, set theory
1120	no	open	no	view	N/A	analysis
1121	no	proved (Lean)	yes	add	N/A	geometry
1122	no	open	yes	view	N/A	number theory
1123	$100	independent	no	view	N/A	algebra
1124	no	proved	no	add	N/A	geometry
1125	no	proved (Lean)	yes	add	N/A	analysis
1126	no	proved (Lean)	yes	add	N/A	analysis
1127	no	independent	no	view	N/A	geometry, distances, set theory
1128	$50	disproved (Lean)	yes	add	N/A	set theory, ramsey theory, hypergraphs
1129	no	proved (Lean)	yes	add	N/A	analysis, polynomials
1130	no	proved	yes	add	N/A	analysis, polynomials
1131	no	open	no	view	N/A	analysis, polynomials
1132	no	open	yes	view	N/A	analysis, polynomials
1133	no	open	yes	view	N/A	analysis, polynomials
1134	£10	disproved (Lean)	yes	add	A185661	number theory
1135	$500	open	yes	view	A006370, A008908	number theory, iterated functions	Collatz conjecture
1136	no	proved (Lean)	yes	add	N/A	number theory
1137	no	open	yes	view	A083550, A005250	number theory, primes
1138	no	disproved (Lean)	yes	add	possible	number theory, primes
1139	no	open	yes	view	A037143, A101041	number theory, primes
1140	no	disproved	yes	add	A240842, possible	number theory
1141	no	disproved (Lean)	yes	add	A214583	number theory, primes
1142	no	open	yes	view	A039669	number theory, primes
1143	no	open	no	view	N/A	number theory, primes
1144	no	open	no	view	N/A	number theory, probability
1145	no	open	yes	view	N/A	additive combinatorics, additive basis
1146	no	open	yes	view	possible	number theory
1147	no	disproved (Lean)	yes	add	N/A	irrational, additive basis
1148	no	proved (Lean)	yes	add	A390380, A393168	number theory
1149	no	proved	yes	add	N/A	number theory
1150	no	open	yes	view	N/A	analysis, polynomials
1151	no	open	no	view	N/A	analysis, polynomials
1152	no	open	yes	view	N/A	analysis, polynomials
1153	no	proved	no	add	N/A	analysis, polynomials
1154	no	not disprovable	yes	add	N/A	analysis
1155	no	open	no	view	N/A	graph theory
1156	no	open	no	view	N/A	graph theory, chromatic number
1157	no	open	yes	view	possible	hypergraphs, turan number
1158	no	open	yes	view	possible	hypergraphs, turan number
1159	no	open	yes	view	N/A	combinatorics
1160	no	open	yes	view	A000001	group theory
1161	no	solved	yes	add	A057731, possible	group theory
1162	no	open	yes	view	A005432, possible	group theory
1163	no	open	no	view	N/A	group theory	ambiguous statement
1164	no	proved	yes	add	N/A	probability
1165	no	solved	yes	add	N/A	probability
1166	no	proved	yes	add	possible	probability
1167	no	open	yes	view	N/A	set theory, ramsey theory
1168	no	open	yes	view	N/A	set theory, ramsey theory
1169	no	not disprovable	yes	add	N/A	set theory, ramsey theory
1170	no	open	no	view	N/A	set theory, ramsey theory
1171	no	not disprovable	yes	add	N/A	set theory, ramsey theory
1172	no	open	no	view	N/A	set theory, ramsey theory
1173	no	open	yes	view	N/A	set theory, combinatorics
1174	no	not disprovable	yes	add	N/A	set theory, ramsey theory
1175	no	open	yes	view	N/A	set theory, chromatic number
1176	no	not disprovable	yes	add	N/A	set theory, ramsey theory
1177	no	open	yes	view	N/A	set theory, chromatic number, hypergraphs
1178	no	open	yes	view	N/A	graph theory, hypergraphs
1179	no	proved	yes	add	N/A	additive combinatorics, probability
1180	no	proved	yes	add	N/A	number theory
1181	no	open	no	view	A053669, A053670, A053671, A053672, A053673, A053674, possible	number theory
1182	no	open	yes	view	possible	graph theory, ramsey theory
1183	no	open	yes	view	possible	combinatorics, ramsey theory
1184	no	open	no	view	possible	number theory, primes
1185	no	solved	yes	add	N/A	additive combinatorics, arithmetic progressions
1186	no	open	yes	view	A121385, possible	additive combinatorics, arithmetic progressions
1187	no	solved	yes	add	N/A	number theory, primes, additive combinatorics, arithmetic progressions
1188	no	open	yes	view	possible	number theory, covering systems
1189	no	open	yes	view	possible	number theory, covering systems
1190	no	solved (Lean)	yes	add	possible	number theory, covering systems
1191	$1000	open	yes	view	possible	additive combinatorics, sidon sets
1192	no	open	yes	view	possible	additive combinatorics, additive basis
1193	no	solved (Lean)	yes	add	N/A	additive combinatorics
1194	no	open	yes	view	possible	additive combinatorics, additive basis, sidon sets
1195	no	solved	yes	add	possible	number theory, analysis
1196	no	proved (Lean)	yes	add	possible	number theory, primitive sets
1197	no	disproved (Lean)	yes	add	N/A	analysis
1198	no	disproved	yes	add	N/A	additive combinatorics, ramsey theory
1199	no	open	yes	view	possible	additive combinatorics, ramsey theory
1200	no	open	no	view	possible	number theory, primes
1201	no	open	yes	view	possible	number theory, primes
1202	no	solved	yes	add	possible	number theory, primes
1203	no	open	yes	view	possible	number theory
1204	no	open	yes	view	A008407, A023193, A135311, possible	number theory
1205	no	solved	yes	add	possible	number theory
1206	no	open	yes	view	possible	number theory, sidon sets
1207	no	open	yes	view	possible	geometry, distances
1208	no	open	no	view	A193838, A271490, possible	geometry, distances
1209	no	open	yes	view	possible	number theory
1210	no	open	yes	view	possible	number theory
1211	no	solved	yes	add	possible	number theory, ramsey theory
1212	no	open	yes	view	possible	number theory, primes
1213	no	proved	yes	add	possible	additive combinatorics
1214	no	proved	yes	add	N/A	number theory
1215	no	disproved	no	add	N/A	analysis
1216	no	disproved	no	add	A122027, A122026	graph theory, ramsey theory
1217	no	proved	yes	add	N/A	number theory, divisors, primitive sets
1218	no	open	no	view	N/A	ramsey theory, set theory
1219	no	proved	yes	add	N/A	ramsey theory, set theory
1220	no	open	no	view	N/A	ramsey theory, set theory
1221	no	open	yes	view	N/A	analysis, distribution	ambiguous statement