{"schema":"vela.math-source-registry-read.v1","release_root":"sha256:c9d14c459c518937e758918b5897dc3b22f1a55f07739afe99502f5b046c907a","source_registry":{"schema":"vela.math-source-registry-release.v1","declaration_root":"sha256:2d479eb38f6986e93ac05b63237d22557b215e7a98c4a92aa45cc73a6e6987e7","observation_bundle_root":"sha256:9d736ba222fb8bcf3aeb3d4401afd52b2c6d54ff13c8153ebd4cafe19f1da14f","source_adapter_artifact":{"schema":"vela.projection-source-adapter-artifact-reference.v2","set_root":"sha256:4d8c54025ff0e35db2e71d8b331760846722ce9f4d74ab1fd05f62478041111e","artifact_root":"sha256:f2bb64e99199f250c5a50c2655d45e7ecbbe5ec80d213cb40ae1f9aebe64d778","retrieval":{"type":"github_release_asset","repository":"vela-science/vela-web","release_tag":"source-adapter-set-4d8c54025ff0e35db2e71d8b331760846722ce9f4d74ab1fd05f62478041111e","filename":"vela-projection-source-adapters-4d8c54025ff0e35db2e71d8b331760846722ce9f4d74ab1fd05f62478041111e.json","authentication":"required"}},"source_count":15,"observation_count":15,"native_record_count":6598,"release_source_count":15,"repository_binding_count":4},"sources":[{"declaration":{"source_id":"source:erdos-problems","native_namespace":"erdosproblems","publisher_or_maintainer":"The Erdős Problems project; Thomas Bloom","locators":[{"locator_id":"homepage","kind":"homepage","url":"https://www.erdosproblems.com/"},{"locator_id":"repository","kind":"git","url":"https://github.com/teorth/erdosproblems"},{"locator_id":"problem-data","kind":"artifact","url":"https://raw.githubusercontent.com/teorth/erdosproblems/main/data/problems.yaml"}],"attributed_claims":[{"role":"publisher","name":"The Erdős Problems project","basis_locator_id":"homepage"},{"role":"maintainer","name":"Thomas Bloom","basis_locator_id":"homepage"}],"source_kind":"problem_collection","rights":{"status":"not_established","license_expression":null,"access":"public","redistribution":"reference_only","basis":"No source license is asserted by this declaration; the Atlas retains identity, roots, and attributed derived coverage only."},"snapshot_policy":{"mode":"content_root_only","retention":"none","reason":"The observed problems.yaml commit and content root are bound at acquisition; no second archive is created and no bytes are retained."},"adapter":{"adapter_id":"problems-data/erdos-problems","version":"3.0.0","mode":"exact_git_checkout","acquisition_contract":"vela.source-adapter-bundle.v2","observation_contract":"vela.math-source-observation.v1","adapter_root":"sha256:b8b455e64ab01a6674991b344045a96dd4c1ed057eedfd7125ac6760274fd063"},"coverage":{"repository_slugs":["math"],"included":["Problem numbers, prize, subject tags and OEIS references as the pinned registry declares them","Upstream informal and formal status, and upstream's own derived combination of the two"],"omissions":[{"code":"no_source_truth_import","description":"Upstream labels remain attributed source facts and do not create Vela Standing."},{"code":"no_unobserved_pages","description":"Website content outside the pinned registry is not represented as covered."},{"code":"statement_prose_not_observed","description":"Verbatim problem statements are served by erdosproblems.com, which this source does not observe; records carry a locator to the problem page and no statement text."}]},"declaration_root":"sha256:8b5d6251edcad0fb0e8e63b7a22b5136d019ef943d4ea99c939c64ab4b1d2220"},"declaration_row_root":"sha256:8b5d6251edcad0fb0e8e63b7a22b5136d019ef943d4ea99c939c64ab4b1d2220","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:erdos-problems","observation_id":"observation:erdos-problems:66770ddf3f22ce76","declaration_root":"sha256:8b5d6251edcad0fb0e8e63b7a22b5136d019ef943d4ea99c939c64ab4b1d2220","acquisition_root":"sha256:66770ddf3f22ce76de220528db9609e8cf74b24365ff02a010808d4135c6474d","observed_at":"2026-08-19T14:43:50-04:00","native_revision":{"kind":"git","value":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","content_root":"sha256:7c5a293d0e685f19ebfbfbdbe96016fc1b4df1d0088644afc52e935d9e1a54b6","tree":"1c0d66a19f4bd7981341d6e6e565785518eeb6a4"},"snapshot_root":null,"snapshot_state":"content_root_only","projected_record_count":1217,"projected_records_root":"sha256:df11758de3f6a02cfe88b6872bd5358027d7b9029a6a55b373be3f0da6025f95","coverage":{"status":"complete","included":["Every single-numbered entry in the exact Erdős problem registry the projection acquisition config pins."],"native_record_count":1217,"projected_record_count":1217},"omissions":[{"code":"statement_prose_not_observed","description":"Verbatim problem statements are served by erdosproblems.com, which this source does not observe; records carry a locator to the problem page and no statement text."},{"code":"website_presentation_excluded","description":"Website presentation and mutable discussion outside the pinned registry are not represented as covered."},{"code":"source_labels_remain_attributed","description":"Upstream status, formalization, prize and subject tags remain attributed source facts. None of them is a Vela Standing, and none creates Verification."}],"observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067"},"native_record_count":1217,"repository_binding_count":0}],"native_records":[{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A276661\"]","tags":"[\"number theory\",\"additive combinatorics\"]","prize":"$500","comments":null,"status_state":"open","problem_number":1,"formalized_state":"yes","status_last_update":"2025-08-31","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-08-31","informal_status_last_update":"2025-08-31"},"metadata_root":"sha256:5183abf4ae206b6f85e704ff89f5261847f00181df4d5898e139d29d0e9a6805","content_root":"sha256:0df62dfbffc9f0ef82feec5abcff03324d402788d0db96509f88c849cba82d47","availability":"reference_only","row_root":"sha256:fedf1224a7e295d3ae4e16883ce521c326b6a3ef3c190fc74c6a975e7868294d"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:10","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 10","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/10"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A387053\"]","tags":"[\"number theory\",\"additive basis\",\"primes\"]","prize":"no","comments":null,"status_state":"open","problem_number":10,"formalized_state":"yes","status_last_update":"2025-08-31","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-08-31","informal_status_last_update":"2025-08-31"},"metadata_root":"sha256:143d5539b2637c27bb84b1907190c9a23db4f6d024e5e2aab079e02b6514f872","content_root":"sha256:5681ffc60063febeeb9b9f008662a5f200a9100e36ae473839679e391b5a6486","availability":"reference_only","row_root":"sha256:4c8bae17e9fbfd218e8d8984c13eef766fb20ef9c27436cc4ee68beaf87f7312"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:100","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 100","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/100"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"geometry\",\"distances\"]","prize":"no","comments":null,"status_state":"open","problem_number":100,"formalized_state":"yes","status_last_update":"2025-08-31","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2026-01-25","informal_status_last_update":"2025-08-31"},"metadata_root":"sha256:da91e8ff41d0a49517eae5549f1d997d6df4214dc33ed29b8d6de16800fb9e93","content_root":"sha256:4df79023361357dc01e14d88308d8f9b9421403c1f240415ac682cf02a00b32e","availability":"reference_only","row_root":"sha256:8548fa1be075cff17a89bec3bf555fbf0c81d8ca6ef50b058b6d9a569e665004"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1000","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1000","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1000"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"number theory\",\"diophantine approximation\"]","prize":"no","comments":null,"status_state":"proved (Lean)","problem_number":1000,"formalized_state":"yes","status_last_update":"2025-12-27","formal_status_state":"Lean","informal_status_state":"proved","formalized_last_update":"2026-08-04","formal_status_last_update":"2025-12-27","informal_status_last_update":"2025-12-27"},"metadata_root":"sha256:206d89891e8f94e9424aef137581dcd61fd244e66cd3924cbcbedb0d40959f7b","content_root":"sha256:74b94bde42b1c18ff7732dc7bbbff3de043dd84a988e92fc40d0581f0cbc10e2","availability":"reference_only","row_root":"sha256:5c0187de4ea245dade00ab0cedc0c4c31917dcf193d2ce9c61859ca78067711c"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1001","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1001","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1001"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"number theory\",\"diophantine approximation\"]","prize":"no","comments":null,"status_state":"solved","problem_number":1001,"formalized_state":"no","status_last_update":"2025-09-07","formal_status_state":"unformalized","informal_status_state":"solved","formalized_last_update":"2025-09-07","informal_status_last_update":"2025-09-07"},"metadata_root":"sha256:3b78be0a8657b7a4b22721a3bdddd78835f65364504fd749d4117b7b8405121d","content_root":"sha256:97d95565db20b8f063cb1198d695a1acd28a06b88cc71d79f1b7206fad6a056c","availability":"reference_only","row_root":"sha256:0e7c5285b60d0937507dfcadfebef553b95fc3fea83be61517f6525f47bfeb55"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1002","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1002","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1002"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"analysis\",\"diophantine approximation\"]","prize":"no","comments":null,"status_state":"open","problem_number":1002,"formalized_state":"yes","status_last_update":"2025-09-07","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2026-04-28","informal_status_last_update":"2025-09-07"},"metadata_root":"sha256:0f14d73b2162e3670783c31cb0df8cf7ea1fe260c8d371922578375b637a7b09","content_root":"sha256:5c5d84b5e39d4b6052192d97df1b7eb7a6b7b2951ca89c2669e1dacf29d31722","availability":"reference_only","row_root":"sha256:c1198521061b856d3cf238cb5250f6aa57101ccf64e4eb746e8784f2ce0b55ba"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1003","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1003","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1003"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A001274\"]","tags":"[\"number theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1003,"formalized_state":"yes","status_last_update":"2025-09-08","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-10-06","informal_status_last_update":"2025-09-08"},"metadata_root":"sha256:b41a44827ad461f9bf986b20fd4c4affae6a2603c2af9c16d164998eb3426440","content_root":"sha256:474d0e6d75c6c25f6d7b0cacff8afcd0edad1cb17a9f4879d3b315fdda71c679","availability":"reference_only","row_root":"sha256:d034aaef0e6643f0198c74a823a53d771b9df7406e767231a5da4337627450f6"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1004","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1004","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1004"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"number theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1004,"formalized_state":"yes","status_last_update":"2025-09-07","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-12-10","informal_status_last_update":"2025-09-07"},"metadata_root":"sha256:3d7ff90cf831dd97dd914d93b7dd226d4c9758fbc2fbded547cbc3fe77f181b2","content_root":"sha256:e67fe2bffc5520f7caa75eeb5106200e273ec122ee61416dc3d6ee522fdec590","availability":"reference_only","row_root":"sha256:11375e85a1a76153d3d7bc5c924d59e94fd4774227634f1136d9881a0a02ff5f"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1005","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1005","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1005"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A386893\"]","tags":"[\"number theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1005,"formalized_state":"no","status_last_update":"2025-09-09","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-09","informal_status_last_update":"2025-09-09"},"metadata_root":"sha256:4d1d5150d018b903d8f5d4ee7c409e10b08df5dcf52290b7391e1b0ecd68752d","content_root":"sha256:0ef6f39a15d2a7d15e1b799808d2c1d577cfe1bce4c9edad272c728a83df54f6","availability":"reference_only","row_root":"sha256:9c9adf0be69b633dbd4e0d334447a8081c11f4bb84e0b5c03822f38b0e4f69e7"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1006","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1006","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1006"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"graph theory\",\"cycles\"]","prize":"no","comments":null,"status_state":"disproved","problem_number":1006,"formalized_state":"no","status_last_update":"2025-09-28","formal_status_state":"unformalized","informal_status_state":"disproved","formalized_last_update":"2025-09-09","informal_status_last_update":"2025-09-28"},"metadata_root":"sha256:47233bbb4b771b415f8b0d6d60a43ddf2174039e2ddf757663cfd3140bc67d01","content_root":"sha256:9c3cf9f3236c050d4ca9f34c7022a15c6656fe088de59e646054e8c085210724","availability":"reference_only","row_root":"sha256:be58b39db623d3a77a4aeb009583fa13a018c153ab947cbdf23c17494da9b5ba"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1007","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1007","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1007"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"solved (Lean)","problem_number":1007,"formalized_state":"yes","status_last_update":"2026-01-19","formal_status_state":"Lean","informal_status_state":"solved","formalized_last_update":"2026-08-05","formal_status_last_update":"2026-01-19","informal_status_last_update":"2026-01-19"},"metadata_root":"sha256:1ea2a2cfd5e475648b794c189ab19cf53ab18a9fd07ad82a879b0bd0abd80bf9","content_root":"sha256:1c5aa43a5ed13f0bbae28c456c40a93ce169bc883de043e0643fca03c0d3e3e4","availability":"reference_only","row_root":"sha256:070ef390ed5cd6c7ef7b384a0834bf7fa62761a071712b5d72a6251bf2399d9c"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1008","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1008","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1008"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"proved (Lean)","problem_number":1008,"formalized_state":"yes","status_last_update":"2026-01-17","formal_status_state":"Lean","informal_status_state":"proved","formalized_last_update":"2026-08-05","formal_status_last_update":"2026-01-17","informal_status_last_update":"2026-01-17"},"metadata_root":"sha256:05e22119deefe229fb30a06761056cfa21b0c47e4a2019ddd78340ac92e2bb1b","content_root":"sha256:d4b076b8f5f375f482d5f2ca44796680d1dd1c402176e29413ab3b373f6c2834","availability":"reference_only","row_root":"sha256:252f06b856bb51509dfd720fbefe11d5591b461f3fc72822f96c2173b8c9fc0a"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1009","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1009","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1009"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"proved","problem_number":1009,"formalized_state":"no","status_last_update":"2025-10-31","formal_status_state":"unformalized","informal_status_state":"proved","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-10-31"},"metadata_root":"sha256:4984e92839415cdd9b6557b5dfdf0490d31b677bd0da6f5c8b0eb2e31f422f82","content_root":"sha256:490bf8e65b062095d2d122c74bd3e376e45ce01ae115223071934cdbf1c47f7b","availability":"reference_only","row_root":"sha256:a45beaee5b6a0dde1696b73756bed71814f15f6ecef9934ce57bbe09ad6aae50"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:101","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 101","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/101"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A006065\",\"possible\"]","tags":"[\"geometry\"]","prize":"$100","comments":null,"status_state":"open","problem_number":101,"formalized_state":"yes","status_last_update":"2025-08-31","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2026-04-16","informal_status_last_update":"2025-08-31"},"metadata_root":"sha256:66ae2cd07bca1c554f0f7338f79b1a425dbde3649ae6867ebc8cbd9710822c14","content_root":"sha256:8c236634f3c976f389d928699a9073eee6baad352717518dacf1601c1626683b","availability":"reference_only","row_root":"sha256:21a8bd2590c73294fc46461496e5be38832310811c223efeeab0263306bd19e0"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1010","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1010","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1010"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"proved","problem_number":1010,"formalized_state":"no","status_last_update":"2025-09-10","formal_status_state":"unformalized","informal_status_state":"proved","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-10"},"metadata_root":"sha256:149bf59c1b84e6a4d31cfb120b4afec9d9ec6bf71d772834d33c15bc3296935d","content_root":"sha256:67b55c46621a1f166d18fef0cfe1ddfb79455d575760120696ee22d46ce8e729","availability":"reference_only","row_root":"sha256:1f00ef0712f24c572c5b695e851c2c0164942d961b8540c260f4938b918c65d6"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1011","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1011","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1011"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1011,"formalized_state":"no","status_last_update":"2025-09-10","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-10"},"metadata_root":"sha256:221f1e952759477889d784444dddc7fd732a7bd676eda312947946c8dd8c7fa7","content_root":"sha256:7ef84a7c5442d1ca4fdaf6029e7d50254d3049b1aee0423489af97cbf0e478e9","availability":"reference_only","row_root":"sha256:e4cb00ba5add1330e177c272097f668bd5e052948f5ee62df7a83bd14051e723"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1012","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1012","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1012"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"solved","problem_number":1012,"formalized_state":"no","status_last_update":"2025-10-31","formal_status_state":"unformalized","informal_status_state":"solved","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-10-31"},"metadata_root":"sha256:d5c1bf9594f21228e1be96dde0775bc7ef9a9d213376fd7f6166d18eeee8b643","content_root":"sha256:f9120b36d20e24559d1278fc693a4ef85ec85ea4fc76f0ed46669adc0ff43adc","availability":"reference_only","row_root":"sha256:9b074437f4ac61ba61588b72d6d08ec8fa42732ae96a36b0ea3b826a4eb343c3"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1013","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1013","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1013"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A292528\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1013,"formalized_state":"no","status_last_update":"2025-09-10","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-10"},"metadata_root":"sha256:fe25b818aacb2cf4ae96103342855327b4933361789ddb81828e0646df0c66d4","content_root":"sha256:7208469a68bf5ba4117267f971c71d2d5ae6ddf0d873c0309a05222852c86288","availability":"reference_only","row_root":"sha256:4226c1ba2ddfb29101ad634177162c0b7f8f4fedf45a81091af83547f8c36d00"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1014","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1014","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1014"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"proved (Lean)","problem_number":1014,"formalized_state":"yes","status_last_update":"2026-04-24","formal_status_state":"Lean","informal_status_state":"proved","formalized_last_update":"2026-08-05","formal_status_last_update":"2026-04-24","informal_status_last_update":"2026-04-24"},"metadata_root":"sha256:c018e679120132c7865fde468199bedc037956f8d000b0540ed06a721c7a2990","content_root":"sha256:08116306a9a9b96edb97ab98ee49a05c56373f397c786d47b2fce9e8e384417d","availability":"reference_only","row_root":"sha256:d66d741571e4b5c080a0586569f5933edb50f23f7ab5e1a993341cb7a20c7f42"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1015","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1015","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1015"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"graph theory\",\"ramsey theory\"]","prize":"no","comments":null,"status_state":"solved","problem_number":1015,"formalized_state":"no","status_last_update":"2025-09-10","formal_status_state":"unformalized","informal_status_state":"solved","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-10"},"metadata_root":"sha256:77fd1de7cb8b854f6e288d8e0efd084c6796b613fb7a8bbb1e180a1624e0c6ae","content_root":"sha256:db97283f1310ae66734b0ec3624ccad67e7afa17a5cd8899d709b916966839c0","availability":"reference_only","row_root":"sha256:eb1fe50e0ddf95d8d6e91b331aa53a1c4cf6c104e5fa694a08a153f03d7c753c"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1016","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1016","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1016"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A105206\"]","tags":"[\"graph theory\",\"cycles\"]","prize":"no","comments":"pancyclic graphs","status_state":"open","problem_number":1016,"formalized_state":"no","status_last_update":"2025-09-10","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-10"},"metadata_root":"sha256:4861c654bc3958aa4f5d4599b9b1c833a52b5f722c1da67edb5ed232eea7d973","content_root":"sha256:76bb53179f2a3c6eb6df1e5415c3c17ad8927963bf5a8bfbcdb2c01361e207b0","availability":"reference_only","row_root":"sha256:003bdc582a8b5c7e76c71faedd894ff035d465993ffba234c1f1a0ae5d0bae90"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1017","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1017","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1017"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1017,"formalized_state":"no","status_last_update":"2025-09-12","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-12"},"metadata_root":"sha256:ca1074a7d18d98b9cfbb929be61b05b3ce5019e8d4b54cbb8ff3ea3d290bdcc7","content_root":"sha256:accc60927ede5896cb325d34272998c362f2196b313a1adfe9992b1be32f2d64","availability":"reference_only","row_root":"sha256:f9c8eb4f115fcaa2d2b22c0f81793ab4dd2ad73384ec361525f1428341a61487"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1018","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1018","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1018"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"graph theory\",\"planar graphs\"]","prize":"no","comments":null,"status_state":"solved","problem_number":1018,"formalized_state":"no","status_last_update":"2025-12-12","formal_status_state":"unformalized","informal_status_state":"solved","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-12-12"},"metadata_root":"sha256:6ac6cb693c530c43ce83fb7c4daf2df5464e8a76c6a4f2d219cf004c84ec8e3c","content_root":"sha256:29279ae0e369cc01814470ec8af03226ea1d87fbc226696d1d7429a17a776037","availability":"reference_only","row_root":"sha256:f2e28515c280ae0fe6b39edadff69bc5e4589c67f0167d99b8447a1ea3ca7b40"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1019","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1019","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1019"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"graph theory\",\"planar graphs\"]","prize":"no","comments":null,"status_state":"proved","problem_number":1019,"formalized_state":"no","status_last_update":"2025-11-21","formal_status_state":"unformalized","informal_status_state":"proved","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-11-21"},"metadata_root":"sha256:1a4dd46c6db66775c3fdd9b8b576b3ccbd6b3394bd36d067634801ae186f4abd","content_root":"sha256:19fba86dbf1662a066fcac5aca3977457216abe610fad2234298eb8c97a8d60e","availability":"reference_only","row_root":"sha256:7bc4e01b2e2c3d863140fa4e376d909d5a9d5d4fe5bd21b32d2fed91686fd7e6"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:102","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 102","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/102"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"geometry\"]","prize":"no","comments":null,"status_state":"open","problem_number":102,"formalized_state":"no","status_last_update":"2025-08-31","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-08-31","informal_status_last_update":"2025-08-31"},"metadata_root":"sha256:2fe2d9f289b63bf5fad1cb958ac968042b5ae1b6a6696169e2e19a0c6d171c54","content_root":"sha256:39d7cdd06c3158236a803bef492c70d4b5d5707ffa964473bb850e489950d6c5","availability":"reference_only","row_root":"sha256:fd46086b062dd7607303e0866fba5947379ae9dc1e29c0fd6854bf1df5b7ab74"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1020","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1020","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1020"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"graph theory\",\"hypergraphs\"]","prize":"no","comments":"Erdős matching conjecture","status_state":"falsifiable","problem_number":1020,"formalized_state":"no","status_last_update":"2025-09-12","formal_status_state":"unformalized","informal_status_state":"falsifiable","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-12"},"metadata_root":"sha256:7653b96b9044cb47291f0310a5eb40f67ee790d9203fdcca64ccdc93a1a356d6","content_root":"sha256:dc58e142d1960bed1c345435a0bcdda7ef893e18fe7ab0193c4c3713badd6206","availability":"reference_only","row_root":"sha256:93594f5fd877aec5e1e22df645aa8a7e4495a51b7d2c6c3c1a69f6a49efe3026"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1021","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1021","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1021"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"proved","problem_number":1021,"formalized_state":"no","status_last_update":"2026-01-20","formal_status_state":"unformalized","informal_status_state":"proved","formalized_last_update":"2025-09-10","informal_status_last_update":"2026-01-20"},"metadata_root":"sha256:51096a62ff78a4e31ddce5697a1a80603329de4d0417118069712520bf65a70c","content_root":"sha256:9acf9be1994a7daaadf4099ce03ad3548475295c07f199c9a7544ec84258bbad","availability":"reference_only","row_root":"sha256:d02ffb9cb421d662a85095a3573610048c7c3e44c0f00a66baef94bfd57d4a03"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1022","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1022","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1022"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"combinatorics\",\"hypergraphs\"]","prize":"no","comments":null,"status_state":"proved (Lean)","problem_number":1022,"formalized_state":"yes","status_last_update":"2026-01-23","formal_status_state":"Lean","informal_status_state":"proved","formalized_last_update":"2026-08-05","formal_status_last_update":"2026-01-23","informal_status_last_update":"2026-01-23"},"metadata_root":"sha256:c7335b468d238585188fb95ea191e48590e95a09e42eddb1ef87fcd4e7109f85","content_root":"sha256:6b2b7b162dfd89c1c373bdd45787e8e4456b4da2f066a79da950d0c9455a4c27","availability":"reference_only","row_root":"sha256:01df94e6800d6b9fb94be0460571bd4070f2b6e36aa918be9294b7928aa52e65"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1023","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1023","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1023"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A347025\",\"possible\"]","tags":"[\"combinatorics\"]","prize":"no","comments":null,"status_state":"solved (Lean)","problem_number":1023,"formalized_state":"yes","status_last_update":"2026-02-10","formal_status_state":"Lean","informal_status_state":"solved","formalized_last_update":"2026-08-05","formal_status_last_update":"2026-02-10","informal_status_last_update":"2026-02-10"},"metadata_root":"sha256:ff10c06bf1e06f0672f6a9d2c7d20cb51c5fabf5e1f873a3363e67bd54414183","content_root":"sha256:ffee7578cfa1ce51aecd22ceeee3dc253faecc706c283451be6459c30a9af10c","availability":"reference_only","row_root":"sha256:9d4e204d38def5805ee0a0b4644421ddb37afd1e18fc2e686510fc2799e203fc"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1024","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1024","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1024"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"graph theory\",\"hypergraphs\"]","prize":"no","comments":null,"status_state":"solved","problem_number":1024,"formalized_state":"no","status_last_update":"2025-09-12","formal_status_state":"unformalized","informal_status_state":"solved","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-12"},"metadata_root":"sha256:14082fb099ddf55c7838a7da0797bd11b62eea4963ac46857cb37a72aef46c9f","content_root":"sha256:babf8f7d5061719cd80d2bbc72c176983606cc7d005662f28f4f2821304598e0","availability":"reference_only","row_root":"sha256:8c7d260ab945372fde7d21a75f0bfc18c12224f23f7ea703235831d3188dab27"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1025","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1025","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1025"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"combinatorics\"]","prize":"no","comments":null,"status_state":"solved","problem_number":1025,"formalized_state":"no","status_last_update":"2025-09-12","formal_status_state":"unformalized","informal_status_state":"solved","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-12"},"metadata_root":"sha256:9437689a2f3590961c14dd848dfb41350fe870f5c1bb2a8ece9b3369a3ec76cb","content_root":"sha256:5bbf41c3c53e58293c0ec81cee4ece73147539a3f001e008880a61aef50bba9b","availability":"reference_only","row_root":"sha256:f2afa5988acb623562667c80c8972935e9f00fc261a9e115e20573303471fa10"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1026","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1026","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1026"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A391431\",\"A391490\"]","tags":"[\"combinatorics\"]","prize":"no","comments":null,"status_state":"solved (Lean)","problem_number":1026,"formalized_state":"yes","status_last_update":"2025-12-12","formal_status_state":"Lean","informal_status_state":"solved","formalized_last_update":"2026-08-05","formal_status_last_update":"2025-12-12","informal_status_last_update":"2025-12-12"},"metadata_root":"sha256:27253cf836bd391904b96b090f8d8a6ad03348cc3f85770beffe92c7e0725e7f","content_root":"sha256:e6c831352f628023d06a73576a26bc4a15070e69ce7d49cbd7998fc9ef562357","availability":"reference_only","row_root":"sha256:1b2c3029f1038a9887f63c9d6a579c2029ab19cb73bd70188031c13fe9821c29"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1027","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1027","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1027"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"combinatorics\"]","prize":"no","comments":null,"status_state":"proved","problem_number":1027,"formalized_state":"no","status_last_update":"2025-10-01","formal_status_state":"unformalized","informal_status_state":"proved","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-10-01"},"metadata_root":"sha256:dd572f3610022e14fecc70931cad10bd5e60bab8187614f387d5b2c1b6de722a","content_root":"sha256:bffcb343086f140f727c4a4adfc183324281650f30d5734fdc8374989fd0f52c","availability":"reference_only","row_root":"sha256:fbaee867157fc7ab9dd30cc33c91f4c77b71dc19448952823fc5b2cc34fd1056"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1028","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1028","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1028"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"graph theory\",\"discrepancy\"]","prize":"no","comments":null,"status_state":"solved (Lean)","problem_number":1028,"formalized_state":"yes","status_last_update":"2026-01-19","formal_status_state":"Lean","informal_status_state":"solved","formalized_last_update":"2026-08-05","formal_status_last_update":"2026-01-19","informal_status_last_update":"2026-01-19"},"metadata_root":"sha256:e598746dee88bb0665069585c2c228e07938d233be30da59c505f8506d1e2ee2","content_root":"sha256:7412dab12434056cdada5687d06fc5f184d16cedfaaadab3d5b68e3961e2a254","availability":"reference_only","row_root":"sha256:adf421d4629bf9310d1f5264c7dd6464f1f10131f22128405f6ad0acea8a1b35"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1029","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1029","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1029"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A059442\"]","tags":"[\"graph theory\",\"ramsey theory\"]","prize":"$100","comments":null,"status_state":"open","problem_number":1029,"formalized_state":"no","status_last_update":"2025-09-13","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-13"},"metadata_root":"sha256:92b18775f5a7aa0bbb5a2cc67c2a7e1cc0f55abcbdcdf1a2950748b9c60f4063","content_root":"sha256:b653a056f8776a496049fb305e0b04977d62e0b054ba962e787d9664b716cac2","availability":"reference_only","row_root":"sha256:eb71f2c189480ca04bb89d3c243d3f2185934016613208f416608bcc7bf4610a"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:103","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 103","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/103"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"geometry\",\"distances\"]","prize":"no","comments":null,"status_state":"open","problem_number":103,"formalized_state":"no","status_last_update":"2025-08-31","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-08-31","informal_status_last_update":"2025-08-31"},"metadata_root":"sha256:fbfa6b85ed59c3d42e66786220f775788a8d36156525459ae4cc2501b3e95768","content_root":"sha256:b5dba442f8622b01843c6d2b41b04cbe7a80bb845a7c4de2ffcb6a02a581b033","availability":"reference_only","row_root":"sha256:d059ef8b609708803ad73aead00c2fb62c878df72fe7196a775798ce48ef6591"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1030","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1030","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1030"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A000791\",\"A059442\"]","tags":"[\"graph theory\",\"ramsey theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1030,"formalized_state":"no","status_last_update":"2025-09-13","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-13"},"metadata_root":"sha256:f1a22f7281c8ca65612a0a94111f03f03fba7bae28a55f33b8fd082bf584369f","content_root":"sha256:7460a4f04b7c5fd8662a38e7caf1f1e63ac2c09540ee944c93ed804ab8c57ce1","availability":"reference_only","row_root":"sha256:82b0464a9cb8ab8942423d26b2a94ac35f3da5c84efb7d148fdbccec13790029"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1031","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1031","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1031"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"proved","problem_number":1031,"formalized_state":"no","status_last_update":"2025-09-13","formal_status_state":"unformalized","informal_status_state":"proved","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-13"},"metadata_root":"sha256:090026efd2191454768209267c2ee287684a773bb215ca99ff6b6a94297a6783","content_root":"sha256:c4d9825691dfff20bc650de0ad1ef052e109b4f17fb162a2cf6e58ccd253eb89","availability":"reference_only","row_root":"sha256:deefcf9332e8d4c17791b17439b3f6ec9dbd287898be3103bf653109d39a5ba7"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1032","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1032","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1032"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"graph theory\",\"chromatic number\"]","prize":"no","comments":null,"status_state":"open","problem_number":1032,"formalized_state":"no","status_last_update":"2025-09-13","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-13"},"metadata_root":"sha256:5ea9cb321251a28b8ca4f9488f638237350a0cfde9f1f8fe95bb4755b1a555cb","content_root":"sha256:058ca0f2c3d37bdacb841240585947d9aef404696b83a907df03526c8f32c8a8","availability":"reference_only","row_root":"sha256:aa30b3776211ada7d8a79ebfe33a79d356d5ec925769c3435697bb3cd0e8fc82"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1033","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1033","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1033"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1033,"formalized_state":"no","status_last_update":"2025-12-12","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-12-12"},"metadata_root":"sha256:876fe412a265899c6d2c2cf208e79acee7bdb8a46c08aaf51c908e6395ab131e","content_root":"sha256:2e07b86f6ae2835ec50b39cecb48faa30e72132e025ab8fc55da671e045eeb00","availability":"reference_only","row_root":"sha256:d5ba023c210b9d6065b57ccc2b5e985d0c74a307067793e8122b822ca2fb2d21"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1034","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1034","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1034"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"disproved (Lean)","problem_number":1034,"formalized_state":"yes","status_last_update":"2025-12-04","formal_status_state":"Lean","informal_status_state":"disproved","formalized_last_update":"2026-08-05","formal_status_last_update":"2025-12-04","informal_status_last_update":"2025-12-04"},"metadata_root":"sha256:38806f6dce8613a60032d4a721696a2e03de626cc042505c109893000a053c65","content_root":"sha256:a06cd0c655c0497861757ad7edfe6c108731a3773ac185ffdc3bf0f10436b095","availability":"reference_only","row_root":"sha256:5d2359c315bf801d873daa6f4272e604b862f7e44e147a676bc489dc37b3306f"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1035","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1035","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1035"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1035,"formalized_state":"no","status_last_update":"2025-12-26","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-12-26"},"metadata_root":"sha256:8d4764476ada96a4bc6b9c33f6b93f1c46e15529c03ecb812d76c2893f8a5a43","content_root":"sha256:f47c9c91ee65f37137862aaa2a3091eabb2ebd2a7bacbf288b22d3098c6fdcab","availability":"reference_only","row_root":"sha256:565cb48c4d4f827e7075649201f2320897b8ddd00ebe79d3bd85586704d41df4"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1036","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1036","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1036"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"proved (Lean)","problem_number":1036,"formalized_state":"yes","status_last_update":"2026-01-20","formal_status_state":"Lean","informal_status_state":"proved","formalized_last_update":"2026-08-05","formal_status_last_update":"2026-01-20","informal_status_last_update":"2026-01-20"},"metadata_root":"sha256:d522768cca6196771811425d2c5e0aa04a29fbd64f3cd2cb908ed491e8dbfa2a","content_root":"sha256:c3587bd2853f519cfb72124196b047cb516d56c33834a8c02ddbaeb664c5dfa3","availability":"reference_only","row_root":"sha256:10d051082370088d1874aed3a31ace5aa90c526ea4aa38049d07686dc084abcd"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1037","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1037","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1037"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"disproved (Lean)","problem_number":1037,"formalized_state":"yes","status_last_update":"2026-01-18","formal_status_state":"Lean","informal_status_state":"disproved","formalized_last_update":"2026-08-05","formal_status_last_update":"2026-01-18","informal_status_last_update":"2026-01-18"},"metadata_root":"sha256:47af6a7b79f912acdfb23ce842bdc81b4f4b8fc54c8b6d0777ce3db2b3541a9b","content_root":"sha256:a8893e06b27a84a93038e950667f176345aee42b44de41c3890eaa338c0a0fa4","availability":"reference_only","row_root":"sha256:40ee076e32e19113bc52bc0bf3fe4788617c218ce85672dc163eb475a4983c5c"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1038","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1038","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1038"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"analysis\"]","prize":"no","comments":null,"status_state":"open","problem_number":1038,"formalized_state":"yes","status_last_update":"2025-09-15","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-12-31","informal_status_last_update":"2025-09-15"},"metadata_root":"sha256:f2c0894ba5b66d859582ff4bf8c353ad61609068c9f22a95429d063202d1798d","content_root":"sha256:2da2de29e3eed4b07a01ec074fd3c7ffade35943519b608159a9088d160479bc","availability":"reference_only","row_root":"sha256:053ed58048da6533433ceb8955a6b8dfa906d848aa5b0e1c95496d55e438f784"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1039","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1039","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1039"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"analysis\"]","prize":"no","comments":null,"status_state":"open","problem_number":1039,"formalized_state":"no","status_last_update":"2025-09-15","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-15"},"metadata_root":"sha256:5d7df2958f74e132e4f2e7987ea2a4dbfd888d15f9084f10bcc39a91905e44f4","content_root":"sha256:82c8f0fae1da2096fde34cef3561bc84c832a9dce8542108bc878c5463fcf78a","availability":"reference_only","row_root":"sha256:9c299e95f64f9f481776d56e8933ec7c8130b3aa272bbb24dee00cfe51be8b49"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:104","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 104","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/104"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A003829\"]","tags":"[\"geometry\"]","prize":"$100","comments":null,"status_state":"open","problem_number":104,"formalized_state":"no","status_last_update":"2025-08-31","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-08-31","informal_status_last_update":"2025-08-31"},"metadata_root":"sha256:09f2f765684ab9659889375551b09a988d4df979fe6d21cbc56c53a64bbeef37","content_root":"sha256:5b17ffc170a4d02e479e211db200c45653989b91246cf7e0cebc64023dfc65f6","availability":"reference_only","row_root":"sha256:f7e8be499c9ab95f4f1453d88bcccbff0db93ef933e42a9e6e58f0322e53e372"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1040","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1040","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1040"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"analysis\"]","prize":"no","comments":null,"status_state":"open","problem_number":1040,"formalized_state":"no","status_last_update":"2025-09-15","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-15"},"metadata_root":"sha256:abac3b36911bbd5dcffe83a531d2882418fd928ede21c58d38b2dac1fcc43b59","content_root":"sha256:332c7f41adf616f262f0dc16d7c0ed6cd4df4ca38067be24e6027126b1fee55d","availability":"reference_only","row_root":"sha256:9d384ceeb552e96482a44145c46c79226cdb16e7a1ae6f3ce27dd1bf2fef40bc"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1041","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1041","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1041"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"analysis\"]","prize":"no","comments":null,"status_state":"falsifiable","problem_number":1041,"formalized_state":"yes","status_last_update":"2025-09-15","formal_status_state":"unformalized","informal_status_state":"falsifiable","formalized_last_update":"2025-11-26","informal_status_last_update":"2025-09-15"},"metadata_root":"sha256:720fa41c58c8f759360ce0baac21ea3b0a9b9473189a0a131e50c77b7f375691","content_root":"sha256:a59956ba498f67e8acf2da77f08a1335d56b6ae84c00c7598444c59df31d7840","availability":"reference_only","row_root":"sha256:fbcccb0c43eca0db863a2c00b8c36264d26c2f3e973fa2702345809511926fd4"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1042","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1042","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1042"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"analysis\"]","prize":"no","comments":null,"status_state":"proved","problem_number":1042,"formalized_state":"no","status_last_update":"2025-09-15","formal_status_state":"unformalized","informal_status_state":"proved","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-15"},"metadata_root":"sha256:cac45eab112610fe08f475145e191f2fdd20dc05420f0aa044945f50f34657fa","content_root":"sha256:67bb73d03e0e98092e79416ecca7765c416baac7a9f580988d7576028dc4ff5a","availability":"reference_only","row_root":"sha256:7bceb0aff4e84a312cc0a4614e5bd2e0e690589145dc1b462845fd2589f049a6"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1043","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1043","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1043"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"analysis\"]","prize":"no","comments":null,"status_state":"disproved (Lean)","problem_number":1043,"formalized_state":"yes","status_last_update":"2025-12-28","formal_status_state":"Lean","informal_status_state":"disproved","formalized_last_update":"2025-12-20","formal_status_last_update":"2025-12-28","informal_status_last_update":"2025-12-28"},"metadata_root":"sha256:c8bef0104b82403d58a6c2d7b66fb34f54651cf343baef2839ba8c07a6f149a3","content_root":"sha256:720b570926c18dcd39a95c2ab851d4fcc7aecec7bc821936a1ea72b7b19d7bd7","availability":"reference_only","row_root":"sha256:d0a3c9ad2c6e8f7efec82634179651a5e621af1fb50bac5b87e4e6c7f22e2d44"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1044","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1044","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1044"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"analysis\"]","prize":"no","comments":null,"status_state":"solved (Lean)","problem_number":1044,"formalized_state":"yes","status_last_update":"2026-04-28","formal_status_state":"Lean","informal_status_state":"solved","formalized_last_update":"2026-08-04","formal_status_last_update":"2026-04-28","informal_status_last_update":"2026-04-28"},"metadata_root":"sha256:dea7c2fe76e2227278ea85e7079b2ed6ee0c6147c0d8b5a54019b443940ea8a7","content_root":"sha256:183ba159d46cbeb61da3bfd9c4c6e4312d9037d91d0082308032145102889bda","availability":"reference_only","row_root":"sha256:8bb7f9550a77d19b193c464b79b9fd30e0c6d5a76074bb1861ea64a55e84ff99"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1045","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1045","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1045"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"analysis\"]","prize":"no","comments":null,"status_state":"open","problem_number":1045,"formalized_state":"no","status_last_update":"2026-03-14","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-10","informal_status_last_update":"2026-03-14"},"metadata_root":"sha256:96d2e075b8128ce128f77d46f1935ae09227e44b4a44466baedd0b38ab7257b9","content_root":"sha256:dff8d105798c863145f69609471c8f547e1c9e0dd8bfc15082ceb54dfdd11278","availability":"reference_only","row_root":"sha256:cc0755bdb310f52136da5cddb97fa08129d2723dafc463a95af32c43f7da95a4"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1046","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1046","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1046"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"analysis\"]","prize":"no","comments":null,"status_state":"disproved","problem_number":1046,"formalized_state":"no","status_last_update":"2025-09-15","formal_status_state":"unformalized","informal_status_state":"disproved","formalized_last_update":"2025-09-10","informal_status_last_update":"2025-09-15"},"metadata_root":"sha256:55952ef19957932f795a206bba9e8359137695b6aaf947159ac10e07379b1289","content_root":"sha256:41dc384ba96c5cdcb8814adb721a5b5e39ebbbf0617ee81b5b63e59ac8231085","availability":"reference_only","row_root":"sha256:3a7a5c9feff1c90fe1ef239dc6f6a945e2f5efdc14040a76a8d7da119b0b7b7c"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1047","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1047","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1047"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"analysis\"]","prize":"no","comments":null,"status_state":"disproved (Lean)","problem_number":1047,"formalized_state":"yes","status_last_update":"2026-01-21","formal_status_state":"Lean","informal_status_state":"disproved","formalized_last_update":"2026-08-04","formal_status_last_update":"2026-01-21","informal_status_last_update":"2026-01-21"},"metadata_root":"sha256:94889cf287b176d7d2ef7d5e085a5e3ff0e8ebb89c1a2c7ebac01403f4d04555","content_root":"sha256:923a6af92c1871ccf6ecd0cd38a5e8ca9763b909964431074b54d40f57e895b8","availability":"reference_only","row_root":"sha256:aa9c8138a58187066e452829741be4ce78864994e0f4207653e77d72e82476d2"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1048","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1048","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1048"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"analysis\"]","prize":"no","comments":null,"status_state":"disproved (Lean)","problem_number":1048,"formalized_state":"yes","status_last_update":"2026-01-27","formal_status_state":"Lean","informal_status_state":"disproved","formalized_last_update":"2026-08-04","formal_status_last_update":"2026-01-27","informal_status_last_update":"2026-01-27"},"metadata_root":"sha256:5362ea98a9a8dbbbf3c4e025565c1dd97fb3aac8e0fd83d7e397bc296e0956f4","content_root":"sha256:aba00cabdb61db65cbcf10bda15d8a0e20624bd1ccb9f047d4c0e06bad3a5f43","availability":"reference_only","row_root":"sha256:17d642ad1b4a270fc6067b390c5b3b3c597368da3eb47d1100654929580739e5"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1049","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1049","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1049"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"irrationality\"]","prize":"no","comments":null,"status_state":"open","problem_number":1049,"formalized_state":"yes","status_last_update":"2025-09-28","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2026-02-15","informal_status_last_update":"2025-09-28"},"metadata_root":"sha256:7f72d3e819387f49aad0bfb47924ccf5cd22c3cb253a42c45e48dbfc3ac5d4af","content_root":"sha256:f3fa0ab5ba77646bdc35a17d4d870475d5c5e8427ef84303d2704565e4c723c4","availability":"reference_only","row_root":"sha256:e1391cd202f5a83dd4d2d03a15e2db82e2c45310df2dbbcccf4bc58b6011dbbb"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:105","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 105","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/105"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"geometry\"]","prize":"$50","comments":null,"status_state":"disproved (Lean)","problem_number":105,"formalized_state":"yes","status_last_update":"2025-11-22","formal_status_state":"Lean","informal_status_state":"disproved","formalized_last_update":"2026-08-03","formal_status_last_update":"2025-11-22","informal_status_last_update":"2025-11-22"},"metadata_root":"sha256:30ce65963af28daf53e9d0a4e37a5c8b94612c3f33060dfc5972274c0a215b7e","content_root":"sha256:57168859334ccb71a32eed5799d56dc7bb24a7206b389f20cd8ed1883481b91f","availability":"reference_only","row_root":"sha256:c07d62fc2c1b6878a10db051f811d251ee08549004510ad6bb3e942cc54d67c0"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1050","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1050","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1050"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A331372\"]","tags":"[\"irrationality\"]","prize":"no","comments":null,"status_state":"proved","problem_number":1050,"formalized_state":"no","status_last_update":"2025-09-28","formal_status_state":"unformalized","informal_status_state":"proved","formalized_last_update":"2025-09-28","informal_status_last_update":"2025-09-28"},"metadata_root":"sha256:24057aa2b55fb134defd5e4cd173458e27170d5f915d657187d54048af0545cb","content_root":"sha256:7038cc2b9be76a32a1ee54a9466b09e63acd150632022c15076a4eedb800dcee","availability":"reference_only","row_root":"sha256:ba29fc465c96c0dd9304150af4d27dcf286b8cdae507a3953def1f6dcde7d486"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1051","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1051","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1051"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"irrationality\"]","prize":"no","comments":null,"status_state":"proved (Lean)","problem_number":1051,"formalized_state":"yes","status_last_update":"2026-01-29","formal_status_state":"Lean","informal_status_state":"proved","formalized_last_update":"2025-11-24","formal_status_last_update":"2026-01-29","informal_status_last_update":"2026-01-29"},"metadata_root":"sha256:54b8d7bdf7f0f27ea9ee7cae38a70241d975b79940058b1f91fd4eddf8c09164","content_root":"sha256:3c12ad29c9d4620d22c8face4db77c75923f438c59c81bbca5c8d4aba575219b","availability":"reference_only","row_root":"sha256:14d7770476e44ab5c9b1fa591a131f4cdea4230399a4f93038f991e714a6269b"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1052","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1052","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1052"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A002827\"]","tags":"[\"number theory\"]","prize":"$10","comments":"unitary perfect numbers","status_state":"open","problem_number":1052,"formalized_state":"yes","status_last_update":"2025-09-28","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-10-10","informal_status_last_update":"2025-09-28"},"metadata_root":"sha256:b85a69914538dfac5ebc81293fb86540e2686c27d486b185e6480a24ac639919","content_root":"sha256:2d345cfa09f526b286a26e50bfe806230fa1655c022607f0b7caeef983b0d138","availability":"reference_only","row_root":"sha256:f1784a117553b7298f8c0810156ac80fe897eaae57139ba53bc6ddb640d645ad"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1053","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1053","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1053"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A007539\"]","tags":"[\"number theory\"]","prize":"no","comments":"multiply perfect numbers","status_state":"open","problem_number":1053,"formalized_state":"no","status_last_update":"2025-09-28","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-28","informal_status_last_update":"2025-09-28"},"metadata_root":"sha256:6e89790e5d8251bf281657e5b0caa489b8c0858e2a6e4321e2f3561c3561c0e3","content_root":"sha256:05a381296e38888ca2fda345db5640eda46e6e224e03130ca0319f4d1d5628b3","availability":"reference_only","row_root":"sha256:8a6498a29856c04097a6e99c2b8c161890163457b1ade2172200ac1be97e8a64"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1054","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1054","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1054"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A167485\"]","tags":"[\"number theory\",\"divisors\"]","prize":"no","comments":null,"status_state":"open","problem_number":1054,"formalized_state":"yes","status_last_update":"2025-09-28","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-11-25","informal_status_last_update":"2025-09-28"},"metadata_root":"sha256:6e776d3748c9e09790a1cd49ff81196086033da82a6dc151165252b437d59a4f","content_root":"sha256:5900ce40a83424ac5a38789342cc5f3734999bc4e8130c811b1d8a49c214c933","availability":"reference_only","row_root":"sha256:b495ac299d1358879c048b1dfe72291932914d96bef1b4f55c844e555452259d"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1055","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1055","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1055"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A005113\"]","tags":"[\"number theory\",\"primes\"]","prize":"no","comments":null,"status_state":"open","problem_number":1055,"formalized_state":"yes","status_last_update":"2025-09-28","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-11-13","informal_status_last_update":"2025-09-28"},"metadata_root":"sha256:864ba3612d1584cee8c8458da640c298b63491e7a9568f1faabf76681ce01ca4","content_root":"sha256:775840840b2884ac782eea8834eac9ff9e2d4601b779ed908a67f1c45762b63f","availability":"reference_only","row_root":"sha256:91c2778e4b0a44ff7edc1c8a12db0c5ee16f069096f64662e95a84bceeb2afd4"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1056","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1056","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1056"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A060427\"]","tags":"[\"number theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1056,"formalized_state":"yes","status_last_update":"2025-09-28","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-10-24","informal_status_last_update":"2025-09-28"},"metadata_root":"sha256:ce26ba24a3f72ca0522a1cafdeae530dd0368506dc56632efd53c9c88db0434f","content_root":"sha256:b47b441261a9963cb1cdb490ea2cd6d8ade1ad3164540777ed8527bde9d90936","availability":"reference_only","row_root":"sha256:74fd412773e4089bce57d041d3799e0d8e4efcf7da4e9a641c48514eea93c4a6"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1057","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1057","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1057"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A006931\"]","tags":"[\"number theory\"]","prize":"no","comments":"Carmichael numbers","status_state":"open","problem_number":1057,"formalized_state":"yes","status_last_update":"2025-09-28","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2026-06-15","informal_status_last_update":"2025-09-28"},"metadata_root":"sha256:9adb73c9f9db7b8103ddd8dd9779964c383b4e5c0a00700bba33e9be2a031d9c","content_root":"sha256:f824e734e5640a20b985e790792fd10bdf46100b8633c297340135a9ff3f8c9b","availability":"reference_only","row_root":"sha256:1f1110cd454e7b05c57cf42e646e95df030dc66db155435adecc386285c16f76"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1058","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1058","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1058"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"number theory\"]","prize":"no","comments":null,"status_state":"proved","problem_number":1058,"formalized_state":"no","status_last_update":"2025-09-28","formal_status_state":"unformalized","informal_status_state":"proved","formalized_last_update":"2025-09-28","informal_status_last_update":"2025-09-28"},"metadata_root":"sha256:dec4650fee657ed39e0fa8fde1108f1fd112f0e59bc1c1f92cf83373b7cee9a3","content_root":"sha256:ca1674f0593b40c39516fdb4e1a603a181496901bc75ae56e1d3e2c8aa975821","availability":"reference_only","row_root":"sha256:0256e31d6f6237a8642a9c8652caf243f84a127a5a0f3317cc9452334f8845b7"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1059","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1059","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1059"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A064152\"]","tags":"[\"number theory\",\"primes\"]","prize":"no","comments":null,"status_state":"open","problem_number":1059,"formalized_state":"yes","status_last_update":"2025-09-28","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-11-02","informal_status_last_update":"2025-09-28"},"metadata_root":"sha256:096aa60b18239277841c24c71ce8b3ec719718a161a32d8741e853718b06b575","content_root":"sha256:3c29a9497ad20f2dae02ee402cfbe8bd0e01a46b36028877e0942f866f80aee5","availability":"reference_only","row_root":"sha256:282ead58d4d2b0438e7bea26dfb5dd92a1af15319696123e2a9d56f3f5f9d652"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:106","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 106","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/106"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"geometry\"]","prize":"no","comments":null,"status_state":"falsifiable","problem_number":106,"formalized_state":"no","status_last_update":"2025-08-31","formal_status_state":"unformalized","informal_status_state":"falsifiable","formalized_last_update":"2025-08-31","informal_status_last_update":"2025-08-31"},"metadata_root":"sha256:eb7403d54f71521180f89746e985dfd5612163b14ab2c9a605ebfda528a57edb","content_root":"sha256:73a7fc248fd6aa908b4c80e51d14d8899c38473f5794f0fc29718edfd78c1254","availability":"reference_only","row_root":"sha256:f29992c10e55801f1885b577ad06ec9c15325bf0666b4161a5d74a7eae321797"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1060","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1060","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1060"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A327153\"]","tags":"[\"number theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1060,"formalized_state":"yes","status_last_update":"2025-09-28","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-12-13","informal_status_last_update":"2025-09-28"},"metadata_root":"sha256:a7702158abcef45295d89ab6dfa546a0826144f4f1fa45c19dd7620ea2a7b426","content_root":"sha256:71e65b7b2b54ad9438b23aec2bf155c33b506c006c7addd843c58bf752d58b8b","availability":"reference_only","row_root":"sha256:a87cf05b55334a8dcb503c855cf1527890fc3d1ace5127159a6baac6bfaef144"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1061","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1061","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1061"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A110177\",\"possible\"]","tags":"[\"number theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1061,"formalized_state":"yes","status_last_update":"2025-09-28","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2026-01-12","informal_status_last_update":"2025-09-28"},"metadata_root":"sha256:67cfb9ba269fafb20d2b5f1c38b5b9c2f0a7ce6b8ea4336c0ac3f437fdf4c547","content_root":"sha256:e20d5812cf1ecb283798daed82a880eead475340142fdb647fd62c92ae16b5e0","availability":"reference_only","row_root":"sha256:d47bb98da6f2b80b761e69700ab0e66ea92681765f05259c10bfdc63295f443e"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1062","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1062","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1062"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A038372\"]","tags":"[\"number theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1062,"formalized_state":"yes","status_last_update":"2025-09-28","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2026-01-05","informal_status_last_update":"2025-09-28"},"metadata_root":"sha256:e3f30270e32ceb4f445eb7e9979f60a01d82de1f4e03cee1ff9c70e58180e22a","content_root":"sha256:15a7fbb43ce13410a6854cb14ddc2a2b2b0c134fb612d6c3c06941df87f73709","availability":"reference_only","row_root":"sha256:13aa1ed3754c58a7e0822c91e35e7661b47795d6d072a53918ed1d5e82622095"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1063","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1063","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1063"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A389360\"]","tags":"[\"number theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1063,"formalized_state":"yes","status_last_update":"2025-10-01","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2026-01-23","informal_status_last_update":"2025-10-01"},"metadata_root":"sha256:3691e68119c2d95d84c098f156d6cdf5298b13868e147e738884b53f27e5e34e","content_root":"sha256:e5d01c3a836458bac70e003e341eaf41e0eddedf3350ff007083348c2faa648b","availability":"reference_only","row_root":"sha256:40b7f54a3fb9f550922c6ec40788095b248d623602de3ff61b1c5ff5f39e5c48"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1064","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1064","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1064"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A051488\",\"A051487\"]","tags":"[\"number theory\"]","prize":"no","comments":null,"status_state":"proved","problem_number":1064,"formalized_state":"yes","status_last_update":"2025-12-12","formal_status_state":"unformalized","informal_status_state":"proved","formalized_last_update":"2025-12-10","informal_status_last_update":"2025-12-12"},"metadata_root":"sha256:b2c1d5739576391de258599dc84edc23e76e6e29d65d23b600eaf96327291064","content_root":"sha256:575cf1e8ef452ed629a3ce0176c4603f3ecc35828ea85e13cba6a2276f3fd77a","availability":"reference_only","row_root":"sha256:6074d8a2675200a02a4868931270bc6d4fd2b40de5f8f3f04dd53d65b1bc3e61"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1065","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1065","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1065"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A074781\",\"A339465\"]","tags":"[\"number theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1065,"formalized_state":"yes","status_last_update":"2025-10-01","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-10-15","informal_status_last_update":"2025-10-01"},"metadata_root":"sha256:89caa30a033d863ff12a5670881fa0daee69ae704266bc12b1df4e23404d76f8","content_root":"sha256:d4f1746b97de622eae4ef69898924804cda91340de0384c980fa5284139d57ff","availability":"reference_only","row_root":"sha256:e64973b78019d5d1440ed31f5cc58109c2129b8a4f314f4768b3890dbf50eb37"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1066","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1066","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1066"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"graph theory\",\"planar graphs\"]","prize":"no","comments":null,"status_state":"open","problem_number":1066,"formalized_state":"no","status_last_update":"2025-10-01","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-28","informal_status_last_update":"2025-10-01"},"metadata_root":"sha256:c66ea09f2eee3af14ade9c6ae5495b58e24eb384e2725452c2e04f52fb22212a","content_root":"sha256:edf93c24457d5c9377b73db74f760c279a98128f9e181e6a9577501e09d6ba8b","availability":"reference_only","row_root":"sha256:c81c93a6c0af4c1898e2d4da072398687cc0e38ec9a45e0ae90282e8dae88a56"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1067","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1067","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1067"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"graph theory\",\"set theory\"]","prize":"no","comments":null,"status_state":"disproved (Lean)","problem_number":1067,"formalized_state":"yes","status_last_update":"2026-02-02","formal_status_state":"Lean","informal_status_state":"disproved","formalized_last_update":"2026-01-14","formal_status_last_update":"2026-02-02","informal_status_last_update":"2026-02-02"},"metadata_root":"sha256:25502545ff9fa0fc86fe78194213c08e08013a8aece2140c1cb17ff2bbc1ac1e","content_root":"sha256:f125ae380898e0d2ed669d4b014ef6618d04a57eded09fca7125ab7374ec2281","availability":"reference_only","row_root":"sha256:2053545d7cccdc60083340030a620a503afb22961ee48de911c29c2b223eb9ff"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1068","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1068","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1068"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"graph theory\",\"set theory\",\"chromatic number\"]","prize":"no","comments":null,"status_state":"open","problem_number":1068,"formalized_state":"yes","status_last_update":"2025-10-01","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2026-01-09","informal_status_last_update":"2025-10-01"},"metadata_root":"sha256:cf9fd8e9f99d13982d827c93e2dea295a22e7d7fa74d1e752f2ef97a6c491a71","content_root":"sha256:14f5951e9d125a046624e867a658fa441b57ce8083e9d081e30007165ead9be0","availability":"reference_only","row_root":"sha256:8a089e033a629f2023b1c9d9e87523dce734390ea63c8531d2271331769576d4"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1069","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1069","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1069"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"geometry\"]","prize":"no","comments":null,"status_state":"solved","problem_number":1069,"formalized_state":"no","status_last_update":"2025-10-05","formal_status_state":"unformalized","informal_status_state":"solved","formalized_last_update":"2025-09-28","informal_status_last_update":"2025-10-05"},"metadata_root":"sha256:ac21130dcf1af95d7284fa990d3e4aeb844f0bde6e31fa5333253cafb95c77db","content_root":"sha256:2801d6f74e2c55742f54b63333fccdddadc5f21b96ae60e53c860ec6616eb5c6","availability":"reference_only","row_root":"sha256:3aaf4dc84d5979c4bdb34bf0c34839dd8a76553cf4b0da703b4faaeb055117eb"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:107","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 107","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/107"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A000051\"]","tags":"[\"geometry\",\"convex\"]","prize":"$500","comments":"'Happy Ending' problem","status_state":"falsifiable","problem_number":107,"formalized_state":"yes","status_last_update":"2025-08-31","formal_status_state":"unformalized","informal_status_state":"falsifiable","formalized_last_update":"2025-09-29","informal_status_last_update":"2025-08-31"},"metadata_root":"sha256:fb9c42d1b1d23c8edd8424ea36561ef64f84dcfb15900bbe2a8f11a688aee13d","content_root":"sha256:33394e1971870bea858b5c892fcc2815d2e2c11c0a15081b02fbd150d0748382","availability":"reference_only","row_root":"sha256:2b5a9ee4e7c9dabbdab9a56f26c99c00256dc70c0f9f9329f8b7d9671f059ac0"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1070","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1070","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1070"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"geometry\"]","prize":"no","comments":null,"status_state":"open","problem_number":1070,"formalized_state":"no","status_last_update":"2025-10-05","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-28","informal_status_last_update":"2025-10-05"},"metadata_root":"sha256:cd9be8d7812e35fdc5166257e30515c3a63cad9d8a24047408a59d7ecdfb19e5","content_root":"sha256:dd01763794ce7adac84bc6eeaad19748f871f4c840812e93dad8611c3910f576","availability":"reference_only","row_root":"sha256:61fa8612335ad55509e049abc16cc4c9e3e03ae53576464d2b8f14c5f51d05a4"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1071","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1071","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1071"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"geometry\"]","prize":"no","comments":null,"status_state":"proved (Lean)","problem_number":1071,"formalized_state":"yes","status_last_update":"2026-02-12","formal_status_state":"Lean","informal_status_state":"proved","formalized_last_update":"2026-01-11","formal_status_last_update":"2026-02-12","informal_status_last_update":"2026-02-12"},"metadata_root":"sha256:690870d9180685b9aa14ae9ad61f460e0b663fe9f26ba6143889064b2b2e9e4f","content_root":"sha256:46e03a155aae8f3f5d6dc194eb3f1c5a6f2fba789bb360523140ded115920d57","availability":"reference_only","row_root":"sha256:f52c352fe3c9e089cfb915c66c273b6d98ee8f099d574d7176fcd777a8dc460d"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1072","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1072","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1072"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A073944\",\"A072937\",\"A154554\"]","tags":"[\"number theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1072,"formalized_state":"yes","status_last_update":"2025-10-05","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-12-17","informal_status_last_update":"2025-10-05"},"metadata_root":"sha256:75387a24f9d21c0725f68add6c2b892035d6339a4c56636623490f89f2b97eb2","content_root":"sha256:375027c600e3139d6e9b7333e37d3299f2a6f0b23245bf127810719a2345c47a","availability":"reference_only","row_root":"sha256:62794a3c6adbf51557a162f646d61f2b9c6db5e04ef0027701fa16b42fc62f3b"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1073","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1073","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1073"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A256519\"]","tags":"[\"number theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1073,"formalized_state":"yes","status_last_update":"2025-10-05","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-11-13","informal_status_last_update":"2025-10-05"},"metadata_root":"sha256:700df88ff99c74422221b1ec7e7dfa8277d9c022fd43300977946c1a95ee2eb4","content_root":"sha256:cd3b4ec6e66cea39ed31686328988cefecc85138bf2ee05d717e7a8d119681cf","availability":"reference_only","row_root":"sha256:e5f20c94d67dfdbf3aed7ee9d9cb5545ac81155c2f1f83d44c1e362a135b30d1"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1074","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1074","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1074"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A063980\",\"A064164\"]","tags":"[\"number theory\"]","prize":"no","comments":null,"status_state":"open","problem_number":1074,"formalized_state":"yes","status_last_update":"2025-10-05","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-11-21","informal_status_last_update":"2025-10-05"},"metadata_root":"sha256:1c4a487522ca79f4e0877d83b45549edfa12e4ffbe130089321fb1848ea83549","content_root":"sha256:efed94dcc1d4bad95aa260e4bf02b74db1dc7bb2a8febb4c10b879719d64a482","availability":"reference_only","row_root":"sha256:128677e18eae119a1c2e45b0eafdff9f8cee81b87a72644d4558b91ba8bb5e96"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1075","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1075","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1075"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"hypergraphs\"]","prize":"no","comments":null,"status_state":"open","problem_number":1075,"formalized_state":"no","status_last_update":"2025-10-05","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-28","informal_status_last_update":"2025-10-05"},"metadata_root":"sha256:85dc811290ad68106260305003a56e660f27284d0906aafc31bd64d2c2e141c2","content_root":"sha256:94ca8de260c19f181bf6891f64b6b499bf68f0742acc63dd240386cdbacf21d3","availability":"reference_only","row_root":"sha256:fba1c7decda4395b6748ad50192da0841e25bd74d227b6e2a94d0ef2d18dec8c"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1076","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1076","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1076"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"hypergraphs\"]","prize":"no","comments":null,"status_state":"proved","problem_number":1076,"formalized_state":"no","status_last_update":"2025-12-12","formal_status_state":"unformalized","informal_status_state":"proved","formalized_last_update":"2025-09-28","informal_status_last_update":"2025-12-12"},"metadata_root":"sha256:57cc5a8a856f6c3aa2f712771086bac3294b03a2023029c74e6a0a91a916b0bf","content_root":"sha256:4ac0ebeae740f2eb12ec499a9232cb0026d0abef563457cbfc0ab493fee665f2","availability":"reference_only","row_root":"sha256:3a8f3714d0e99ac34d97f853c9f1fe5fbef0e9d17118a1ed8921bbc39339a439"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1077","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1077","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1077"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"disproved","problem_number":1077,"formalized_state":"yes","status_last_update":"2025-12-29","formal_status_state":"unformalized","informal_status_state":"disproved","formalized_last_update":"2025-10-17","informal_status_last_update":"2025-12-29"},"metadata_root":"sha256:eacc89f28d8e90ada6a84d6663b1bbd40329818a6154d08e34932120b10c1ed8","content_root":"sha256:82bf58407bc0b4db8dc7723d93bbd4841ebf3096b53aa1d27bffd58aafcc93d2","availability":"reference_only","row_root":"sha256:de16db06800e6048ca291242a329742d03cbec77eda39d06bbd9765f55c09755"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1078","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1078","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1078"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"proved","problem_number":1078,"formalized_state":"no","status_last_update":"2025-10-06","formal_status_state":"unformalized","informal_status_state":"proved","formalized_last_update":"2025-09-28","informal_status_last_update":"2025-10-06"},"metadata_root":"sha256:dcadde36b4ebe94eb6aaa7e2e2ba4d9af7de12959c7b75c7eedc5d36247d94dd","content_root":"sha256:c27ae12a164891fed1aa86ae960adfdad51603ba3626afc30aef218445027f54","availability":"reference_only","row_root":"sha256:eedbdaa0a60f090239fe0da9eb08e9c1ea74dbb4c449f872fa707e610c936a96"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1079","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1079","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1079"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"N/A\"]","tags":"[\"graph theory\",\"turan number\"]","prize":"no","comments":null,"status_state":"solved","problem_number":1079,"formalized_state":"no","status_last_update":"2025-10-14","formal_status_state":"unformalized","informal_status_state":"solved","formalized_last_update":"2025-09-28","informal_status_last_update":"2025-10-14"},"metadata_root":"sha256:ee021154097725f505ecffa74e1141037d497f3ec373f2307b07630c9ebb63c0","content_root":"sha256:8aca5c4b22a6e1983843bcb792fa148c0431d389587ecf5410b0069ee107cc28","availability":"reference_only","row_root":"sha256:0fb1f205aa2030d36d1c920bfca3ca892b81266f4e5ab8fd5b5cce56c2144d8a"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:108","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 108","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/108"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"graph theory\",\"chromatic number\",\"cycles\"]","prize":"no","comments":null,"status_state":"open","problem_number":108,"formalized_state":"yes","status_last_update":"2025-08-31","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-11-24","informal_status_last_update":"2025-08-31"},"metadata_root":"sha256:f0acefc82d1c2c0a0797eacf526d2b5a8d1e6b108e0ee980e307d8f5311b7eef","content_root":"sha256:dbf85068e0662df1e658d4890a7beeafc7e4013d79a89cd0fca2dee518e9ee99","availability":"reference_only","row_root":"sha256:fca03b31e54cbbffba877fa1d2a6e001e7af711b5c38aec047cb0cee3a9dcddb"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1080","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1080","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1080"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"graph theory\"]","prize":"no","comments":null,"status_state":"disproved (Lean)","problem_number":1080,"formalized_state":"yes","status_last_update":"2025-12-28","formal_status_state":"Lean","informal_status_state":"disproved","formalized_last_update":"2025-12-11","formal_status_last_update":"2025-12-28","informal_status_last_update":"2025-12-28"},"metadata_root":"sha256:142f01099b6e1e49bccd150f0993fb8afc3efbfc4c2a0748d89bf7420d6686e1","content_root":"sha256:0b9a6f8a823f356c570053a3d7b68310c20ce5f3dcd7245175275036e6ba772f","availability":"reference_only","row_root":"sha256:f8994a23974324e7862fd8f96bbe9710fc932da67d470c86bbe14c87e9a94a56"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1081","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1081","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1081"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A076871\",\"A076872\",\"possible\"]","tags":"[\"number theory\",\"powerful\"]","prize":"no","comments":null,"status_state":"disproved","problem_number":1081,"formalized_state":"no","status_last_update":"2025-10-14","formal_status_state":"unformalized","informal_status_state":"disproved","formalized_last_update":"2025-09-28","informal_status_last_update":"2025-10-14"},"metadata_root":"sha256:1f273c33da252384ff86d883e1ec804f5d0569949f2cddea35253cd1ad36ff36","content_root":"sha256:d5cb987368bafa0b39c9df0960064958b91054f8e87d83500ca5cfa07192bfe8","availability":"reference_only","row_root":"sha256:69bfeb6db9cda0df1b1470fb74b29eb30e23b641bb9a3caec6291a4b947a28c7"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1082","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1082","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1082"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"geometry\",\"distances\"]","prize":"no","comments":null,"status_state":"falsifiable","problem_number":1082,"formalized_state":"yes","status_last_update":"2025-10-17","formal_status_state":"unformalized","informal_status_state":"falsifiable","formalized_last_update":"2026-02-25","informal_status_last_update":"2025-10-17"},"metadata_root":"sha256:b770f83219d0bfc73763c5b6a511c9907c78649cbf8a4c0878928126a4858859","content_root":"sha256:a3aa9b9bdc338d1e3c841f7aff7c3e5f90ad33c0bf3c1aee204c061f78df868f","availability":"reference_only","row_root":"sha256:08c3c82940c4bd978ad0aa5d3628d966870ec3341da76d57a50b6348e396a2b7"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1083","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1083","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1083"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A186704\",\"possible\"]","tags":"[\"geometry\",\"distances\"]","prize":"no","comments":null,"status_state":"open","problem_number":1083,"formalized_state":"no","status_last_update":"2025-10-17","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-28","informal_status_last_update":"2025-10-17"},"metadata_root":"sha256:a616a1edecc1a990e1b481dd22ba4d7afe889ac199b6b56da872c6d34fb72c9a","content_root":"sha256:55d64b0208d9a6ac6c9899142962d267c26edc856a985ec3e64b50b9d2e4ad4c","availability":"reference_only","row_root":"sha256:0fcb92a3359b631e08533b63dc787040d91b6f0b2734f0c42658d5288805d1fe"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1084","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1084","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1084"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A045945\",\"possible\"]","tags":"[\"geometry\",\"distances\"]","prize":"no","comments":"contact number problem","status_state":"open","problem_number":1084,"formalized_state":"yes","status_last_update":"2025-10-17","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-12-30","informal_status_last_update":"2025-10-17"},"metadata_root":"sha256:8cd66f0ec9450c2f84f963a37a3d9a66120e5c0b4f55e8277425ca5caa2d2895","content_root":"sha256:3de18763bbb461e6710144cfcaaeed7c7c0a601c0cf86712d112347eb9dc2c8b","availability":"reference_only","row_root":"sha256:7fe249921f6a0404c9bcd599e833ebf6798029f6d783f350493d248d8ebcca01"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1085","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1085","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1085"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"A186705\",\"possible\"]","tags":"[\"geometry\",\"distances\"]","prize":"no","comments":null,"status_state":"open","problem_number":1085,"formalized_state":"yes","status_last_update":"2025-10-17","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-12-31","informal_status_last_update":"2025-10-17"},"metadata_root":"sha256:94a3997fe75c33f2aa135efac9052186f4742441fb60af400fc398df34ea7366","content_root":"sha256:17b36662bef975f64dde1d1f240069b003e5efc4676edbdcd174230bae9f3446","availability":"reference_only","row_root":"sha256:7d2a24b8d4388f4f6012d594c6bbf9b1be218eba88fa5fcca7b09354e5ebca9a"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1086","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1086","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1086"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"geometry\",\"distances\"]","prize":"no","comments":null,"status_state":"open","problem_number":1086,"formalized_state":"no","status_last_update":"2025-10-17","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-28","informal_status_last_update":"2025-10-17"},"metadata_root":"sha256:ed2d8de0a9be88282e7c3b904c1759b783c2e8c5a5d4c4e521392ce3d066cdfe","content_root":"sha256:658572fc272515c0bcb4b5f410ac892520808666731aefb109bb648190b619af","availability":"reference_only","row_root":"sha256:eba4fd1ac4c16c5ad37eac68aa0faac0c6ad1531c3c79cfd31846c222ddeb53c"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1087","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1087","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1087"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"geometry\",\"distances\"]","prize":"no","comments":null,"status_state":"open","problem_number":1087,"formalized_state":"no","status_last_update":"2025-10-17","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-28","informal_status_last_update":"2025-10-17"},"metadata_root":"sha256:4623b3dc1cf44eba68f410218c8f1eea118266a0b8bb9be0c11acecd30f10310","content_root":"sha256:cd03dec08b072f576f303ca2f78e2821b43b1bfda87f1557bd36177238f070d7","availability":"reference_only","row_root":"sha256:3140193c9e0eb30477258cbe1122b2481d136323a8f23e2796364eb37609a6be"},{"schema":"vela.math-native-record.v1","source_id":"source:erdos-problems","observation_root":"sha256:8c823d621b7e1256c8e47c60a5f1c54c016a5507e6f27b2bab537f6f5f232067","native_id":"erdos:1088","native_kind":"problem","native_revision":"5e22e39e81adac467dd36bfbe33ea59c49180bdf","title":"Erdős problem 1088","summary":null,"locators":[{"locator_id":"native-1","kind":"artifact","url":"https://www.erdosproblems.com/1088"},{"locator_id":"native-2","kind":"artifact","url":"https://github.com/teorth/erdosproblems/blob/5e22e39e81adac467dd36bfbe33ea59c49180bdf/data/problems.yaml"}],"metadata":{"oeis":"[\"possible\"]","tags":"[\"geometry\"]","prize":"no","comments":null,"status_state":"open","problem_number":1088,"formalized_state":"no","status_last_update":"2025-10-17","formal_status_state":"unformalized","informal_status_state":"open","formalized_last_update":"2025-09-28","informal_status_last_update":"2025-10-17"},"metadata_root":"sha256:edbef8c49d412e561c8cf7670cc91e0ba2177682399ecd19ca7a5620dfc76dae","content_root":"sha256:72b1048921268df00fb05c488d5312ec93647853d8f55f3de0a4ac028265e15b","availability":"reference_only","row_root":"sha256:a374503c7e2611fa26181cbe4ba1b3f17cfa586f12faff44eb1d7e86d9c30c6a"}],"repository_bindings":[],"next_cursor":"WyJuYXRpdmUiLCJzb3VyY2U6ZXJkb3MtcHJvYmxlbXMiLCJzaGEyNTY6OGM4MjNkNjIxYjdlMTI1NmM4ZTQ3YzYwYTVmMWM1NGMwMTZhNTUwN2U2ZjI3YjJiYWI1MzdmNmY1ZjIzMjA2NyIsInByb2JsZW0iLCJlcmRvczoxMDg4Il0","next_binding_cursor":null}