{"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:gpt-erdos","native_namespace":"gpt-erdos","publisher_or_maintainer":"Neel Somani","locators":[{"locator_id":"repository","kind":"git","url":"https://github.com/neelsomani/gpt-erdos"}],"attributed_claims":[{"role":"maintainer","name":"Neel Somani","basis_locator_id":"repository"}],"source_kind":"frozen_reference","rights":{"status":"not_established","license_expression":null,"access":"public","redistribution":"reference_only","basis":"The historical Repository retains an attributed frozen observation; this declaration does not infer redistribution rights for repository bytes."},"snapshot_policy":{"mode":"content_root_only","retention":"none","reason":"The Problems projection binds only the commit and content root named by its acquisition config."},"adapter":{"adapter_id":"problems-data/gpt-erdos","version":"1.0.0","mode":"retained_snapshot","acquisition_contract":"vela.source-adapter-bundle.v2","observation_contract":"vela.math-source-observation.v1","adapter_root":"sha256:26c240093b30c9b3e8be0872025fb317ebd1ef06c98b91e7184768bf0bba0fbb"},"coverage":{"repository_slugs":["math"],"included":["The exact candidate-classification snapshot retained by the Erdős Repository"],"omissions":[{"code":"later_repository_history_excluded","description":"Repository history after the retained commit is outside current declared coverage."}]},"declaration_root":"sha256:532bed4c48c9224778cf0312fe21cfeb7d90184dfb55171cd8e21a323ec66891"},"declaration_row_root":"sha256:532bed4c48c9224778cf0312fe21cfeb7d90184dfb55171cd8e21a323ec66891","observation":{"schema":"vela.math-source-observation.v1","source_id":"source:gpt-erdos","observation_id":"observation:gpt-erdos:f2593f5c2298443d","declaration_root":"sha256:532bed4c48c9224778cf0312fe21cfeb7d90184dfb55171cd8e21a323ec66891","acquisition_root":"sha256:f2593f5c2298443df12264873a2c6cd4873abb5f827eb23d95b355a991a42847","observed_at":"2026-08-19T14:43:50-04:00","native_revision":{"kind":"observation","value":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","content_root":"sha256:c0f626a4792d6b150b79268807ea2f9316f2b09be5475fb6ee1b14f630bc1136","tree":null},"snapshot_root":null,"snapshot_state":"content_root_only","projected_record_count":57,"projected_records_root":"sha256:210ce607924c78da349229a9967fa8b897e56ce5e889ae48132d37cfc137e2fd","coverage":{"status":"complete","included":["Every record in the exact retained gpt-erdos structured snapshot."],"native_record_count":57,"projected_record_count":57},"omissions":[{"code":"unretained_repository_content_excluded","description":"Only the exact retained structured classification snapshot is represented."},{"code":"classification_not_validation","description":"GPT-Erdős categories remain attributed classifications and do not create verification or Standing."}],"observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5"},"native_record_count":57,"repository_binding_count":0}],"native_records":[{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:1014","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 1014","summary":"Conditional on conjectures","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/1014"}],"metadata":{"category":"conditional_conjecture","category_label":"Conditional on conjectures","problem_number":1014},"metadata_root":"sha256:d1adcf46bcdb9ed83a0a783c84001f01d532b16c812540b64170efeb6568700e","content_root":"sha256:8aee6d2d5cdb225ffb537d5debe5483d06ae8133abbf8a2cb3e5282487b1330f","availability":"reference_only","row_root":"sha256:ab385b7be54ec696b1516227548c2372081b8badfb668c02cc831e8359ba0585"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:1021","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 1021","summary":"Solved as stated, hidden constraints","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/1021"}],"metadata":{"category":"hidden_constraints","category_label":"Solved as stated, hidden constraints","problem_number":1021},"metadata_root":"sha256:2f872ffca462895c920b46fda3489c64572b8b6101351d206a2bc8a1ab174e8e","content_root":"sha256:aa5571b905eb13716e19b3e14db0ea591b4689f5561df1cd7dae560dfb292775","availability":"reference_only","row_root":"sha256:1fa7397351a9ba55abd8d349cea1f9c4e7597f3a31cb0bdcbf90d4ad4628ff2f"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:1022","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 1022","summary":"Typos identified","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/1022"}],"metadata":{"category":"typo","category_label":"Typos identified","problem_number":1022},"metadata_root":"sha256:11214ed06a5ed571ed548e46d55e5ecdc8d8461bc54005d65c09d80d6d929baa","content_root":"sha256:c46f90c4feccb71fc446beb58a276de996c9085bf771aa4a46a3351cb75c1446","availability":"reference_only","row_root":"sha256:0e7ae56548e621cc2b8dc7c158c6ee4a6c2c9e2f2cdd7d190f6037d1287de2cc"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:1063","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 1063","summary":"Subtle errors","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/1063"}],"metadata":{"category":"subtle_error","category_label":"Subtle errors","problem_number":1063},"metadata_root":"sha256:b59c534e3a10b99d18bc682eb7287496f61679e2b9f11acebfb2c26a270f86a3","content_root":"sha256:48241570775c8dd7ee35b08bf21bc07bba9520e5fe309867d31aba18ee76666a","availability":"reference_only","row_root":"sha256:b0a7826ff6eb41b200d4026c02071b4acca62188a5c9cf0b4b933984eb8f2638"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:1084","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 1084","summary":"Partial literature extensions","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/1084"}],"metadata":{"category":"partial_literature","category_label":"Partial literature extensions","problem_number":1084},"metadata_root":"sha256:12997da6a1aa5c20d0dc481498f9d1769616bc1070976c103edf38a7e2721997","content_root":"sha256:4c2235b21d283eec2f414c907a1ec5d205fd1d3220542e8e7b1a6ef0ba8c45dc","availability":"reference_only","row_root":"sha256:119ce78c6640e3ae7cbf1bbbb70655f4c842252355f872fcd9735012fc1bb6fc"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:1092","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 1092","summary":"Solved as stated, hidden constraints","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/1092"}],"metadata":{"category":"hidden_constraints","category_label":"Solved as stated, hidden constraints","problem_number":1092},"metadata_root":"sha256:90b2c4507dad7acac5a176ee6da9d1d85b735f400cb85668678fa37dd7613a56","content_root":"sha256:aa5571b905eb13716e19b3e14db0ea591b4689f5561df1cd7dae560dfb292775","availability":"reference_only","row_root":"sha256:4358b1a5f3b9e118dc9327bc4c7976c6c27b7a41d02f404119d7178e51f9042d"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:1105","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 1105","summary":"Partial literature extensions","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/1105"}],"metadata":{"category":"partial_literature","category_label":"Partial literature extensions","problem_number":1105},"metadata_root":"sha256:102ec6a71943c2bd50ecfe63d7f20c23e53763cbea5ec7aca36b039b36f517fc","content_root":"sha256:4c2235b21d283eec2f414c907a1ec5d205fd1d3220542e8e7b1a6ef0ba8c45dc","availability":"reference_only","row_root":"sha256:a631e06361cb70b6d4c5aff22a2e9abc08527426ffc7da1b0781bf627b702e84"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:1129","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 1129","summary":"Exact literature solutions identified","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/1129"}],"metadata":{"category":"literature","category_label":"Exact literature solutions identified","problem_number":1129},"metadata_root":"sha256:ddb577a94c34c1d823fdc94ae29d30d1259245852d94612695a163d6e33bfe8c","content_root":"sha256:42ed1f773ad402209e0a788235299b1f8199542c55bb740306b21d716f2b26c2","availability":"reference_only","row_root":"sha256:ec349fba145102934a00f257d70e63aa03f05726227cc778d8997101bbb01e30"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:1130","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 1130","summary":"Exact literature solutions identified","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/1130"}],"metadata":{"category":"literature","category_label":"Exact literature solutions identified","problem_number":1130},"metadata_root":"sha256:2a0ea0d770d443bd68502a06d05c4476fa2a728ba89707ccc012d7bb03f4ee4c","content_root":"sha256:42ed1f773ad402209e0a788235299b1f8199542c55bb740306b21d716f2b26c2","availability":"reference_only","row_root":"sha256:e21952e17b6e7d2ae166ccff7470aba7058b9061ade1286d4e72d84ecb2fb750"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:142","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 142","summary":"Valid but non-improving proofs","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/142"}],"metadata":{"category":"non_improving","category_label":"Valid but non-improving proofs","problem_number":142},"metadata_root":"sha256:1a82f7925e51e0742918100cd6a9f2a59ade7f2c6e732c0f41cf9a539701df58","content_root":"sha256:27278d60b96865e860edc611ea82f6aaa3332ea6d42e8ae47b9ae0753a3407bc","availability":"reference_only","row_root":"sha256:dda131af1783a255526076e0fa75ddd2daf79aabd3b1549260dc37d35daf2a25"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:161","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 161","summary":"Typos identified","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/161"}],"metadata":{"category":"typo","category_label":"Typos identified","problem_number":161},"metadata_root":"sha256:148a3428537f665bf80b471dbe002d94ad474e165e22b4efac9af96a053a04a7","content_root":"sha256:c46f90c4feccb71fc446beb58a276de996c9085bf771aa4a46a3351cb75c1446","availability":"reference_only","row_root":"sha256:a39bb7d9e16e894ee5bf362836e026847c65354130329d2f45fef5b752e729bb"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:180","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 180","summary":"Valid but non-improving proofs","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/180"}],"metadata":{"category":"non_improving","category_label":"Valid but non-improving proofs","problem_number":180},"metadata_root":"sha256:6384c38a7c4588fa4973f808dc6f36372c161797fb511654fe34870769131a13","content_root":"sha256:27278d60b96865e860edc611ea82f6aaa3332ea6d42e8ae47b9ae0753a3407bc","availability":"reference_only","row_root":"sha256:1fb0f154a53f610e04ab085d29a34067b774d70ccdca0059a0af987aa33e0cba"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:274","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 274","summary":"Solved as stated, hidden constraints","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/274"}],"metadata":{"category":"hidden_constraints","category_label":"Solved as stated, hidden constraints","problem_number":274},"metadata_root":"sha256:f392c89107efe9566b9696a3404d2aad559fbc09cad1e54e01607b33f1111efa","content_root":"sha256:aa5571b905eb13716e19b3e14db0ea591b4689f5561df1cd7dae560dfb292775","availability":"reference_only","row_root":"sha256:947ee04515f8778fe990f60ea5794316bf2fdc7add93b102026685aefc0aed41"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:281","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 281","summary":"New proofs","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/281"}],"metadata":{"category":"new_proof","category_label":"New proofs","problem_number":281},"metadata_root":"sha256:95cb05009c45668863330204101ee579de35149dd483654972ca84ae595fad6d","content_root":"sha256:a8925d72a8ee4039ba5db62b6e90c6d1489b5b854eb1f123e204d19611747984","availability":"reference_only","row_root":"sha256:ece0518a6c5e9bfabc84bbc84e9b20db7bf96969f58409c840362480a13d42a2"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:302","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 302","summary":"Valid but non-improving proofs","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/302"}],"metadata":{"category":"non_improving","category_label":"Valid but non-improving proofs","problem_number":302},"metadata_root":"sha256:ecd1c780be37a641b9464f574c5701ac12b515c439e5a358b8299e9ca69c5d60","content_root":"sha256:27278d60b96865e860edc611ea82f6aaa3332ea6d42e8ae47b9ae0753a3407bc","availability":"reference_only","row_root":"sha256:954ebe67371bb8eaf13627000270c82de3b16b55a32da11f924006fcf15e3056"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:332","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 332","summary":"Valid but non-improving proofs","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/332"}],"metadata":{"category":"non_improving","category_label":"Valid but non-improving proofs","problem_number":332},"metadata_root":"sha256:04e63caa33d7c739703593982a0472f181aeaca1460f1325e88a2671c5c62893","content_root":"sha256:27278d60b96865e860edc611ea82f6aaa3332ea6d42e8ae47b9ae0753a3407bc","availability":"reference_only","row_root":"sha256:f1438e962d80f4e9e24c81a868fadd1e7dd83e3af389fabbcb5eae52a61da8f3"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:335","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 335","summary":"Subtle errors","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/335"}],"metadata":{"category":"subtle_error","category_label":"Subtle errors","problem_number":335},"metadata_root":"sha256:7489987e11298154ab9ff59b517cf4e314ba876b39c9a0f649132ea6204fd601","content_root":"sha256:48241570775c8dd7ee35b08bf21bc07bba9520e5fe309867d31aba18ee76666a","availability":"reference_only","row_root":"sha256:9d719eb6b8b1e076065323d875d5640bd63f4f3bac4e1b0855d89842a56f7429"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:369","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 369","summary":"Solved as stated, hidden constraints","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/369"}],"metadata":{"category":"hidden_constraints","category_label":"Solved as stated, hidden constraints","problem_number":369},"metadata_root":"sha256:b1b01117ffb4d627fdcead94752135d93decc6029ba65f7c6abced73f7b5c246","content_root":"sha256:aa5571b905eb13716e19b3e14db0ea591b4689f5561df1cd7dae560dfb292775","availability":"reference_only","row_root":"sha256:fd3e4be639c8b6fed31fbf8279d08b69426007cbedccbf9a2020dc17d6feee06"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:397","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 397","summary":"New proofs","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/397"}],"metadata":{"category":"new_proof","category_label":"New proofs","problem_number":397},"metadata_root":"sha256:0cbb743ece1c0969eb3dcbe4d5e5f32ade8286556e6a54447b1ec7d7b8cea934","content_root":"sha256:a8925d72a8ee4039ba5db62b6e90c6d1489b5b854eb1f123e204d19611747984","availability":"reference_only","row_root":"sha256:dd06f5d2334392e8dc69d222304a3369e818103876c0269e4dea1d93b4848940"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:514","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 514","summary":"Valid but non-improving proofs","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/514"}],"metadata":{"category":"non_improving","category_label":"Valid but non-improving proofs","problem_number":514},"metadata_root":"sha256:15fd5b269387baa1daf3f9aed7aa9503bb2113a964b7516de602cbb34222b976","content_root":"sha256:27278d60b96865e860edc611ea82f6aaa3332ea6d42e8ae47b9ae0753a3407bc","availability":"reference_only","row_root":"sha256:cc5bc4cd4b776a3c5076471abfb9cac7ed6ea12b5cc6491bb419d889c895e214"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:517","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 517","summary":"Subtle errors","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/517"}],"metadata":{"category":"subtle_error","category_label":"Subtle errors","problem_number":517},"metadata_root":"sha256:f2f4bc2c7da2bae55f7f3e0acf8fbe09dac5ac545b8191f1adc35bb719da078d","content_root":"sha256:48241570775c8dd7ee35b08bf21bc07bba9520e5fe309867d31aba18ee76666a","availability":"reference_only","row_root":"sha256:37229036cebb5609118c34e914ca1dd113025d71ba7ed482d9959135340eed6d"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:524","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 524","summary":"Solved as stated, hidden constraints","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/524"}],"metadata":{"category":"hidden_constraints","category_label":"Solved as stated, hidden constraints","problem_number":524},"metadata_root":"sha256:d19fe437c730a36df67c5f2648efe473c3ef69872706dfbed72b6e67d18e5a9c","content_root":"sha256:aa5571b905eb13716e19b3e14db0ea591b4689f5561df1cd7dae560dfb292775","availability":"reference_only","row_root":"sha256:f765680a41fc72c5bdec24a98e41aafa3390fe3b439fd869dcd934142f631de3"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:533","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 533","summary":"Subtle errors","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/533"}],"metadata":{"category":"subtle_error","category_label":"Subtle errors","problem_number":533},"metadata_root":"sha256:dc9f0f540846b98e48f60ccfce8794369b9df5495689fd51f7a2a08b5a53f2de","content_root":"sha256:48241570775c8dd7ee35b08bf21bc07bba9520e5fe309867d31aba18ee76666a","availability":"reference_only","row_root":"sha256:4d34b0fbad47b7c8ad2081fa9e08139295d44521c25d51d8ecbdd32a27b373d7"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:538","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 538","summary":"Subtle errors","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/538"}],"metadata":{"category":"subtle_error","category_label":"Subtle errors","problem_number":538},"metadata_root":"sha256:ea98f59ca63b3c495c15f1f69cf6d09e323e244cd8d33a424daf854688d39f19","content_root":"sha256:48241570775c8dd7ee35b08bf21bc07bba9520e5fe309867d31aba18ee76666a","availability":"reference_only","row_root":"sha256:e9cd44e02149ac32f293c7a41a1accd9e0dc3e67a6bffb139d8db05014a9a5f4"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:539","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 539","summary":"Conditional on conjectures","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/539"}],"metadata":{"category":"conditional_conjecture","category_label":"Conditional on conjectures","problem_number":539},"metadata_root":"sha256:85d4adae44471a542950ea1d208629d6d2ae21227e6295fba9996c07b1f32236","content_root":"sha256:8aee6d2d5cdb225ffb537d5debe5483d06ae8133abbf8a2cb3e5282487b1330f","availability":"reference_only","row_root":"sha256:6c0806cf380f214f7002a5fe732c5cb44638593669aced496026f19ca78d962b"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:550","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 550","summary":"Subtle errors","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/550"}],"metadata":{"category":"subtle_error","category_label":"Subtle errors","problem_number":550},"metadata_root":"sha256:41268c493c14db0c2f20feb840d2cc5a95e3d9d5f1f8dd4fb8ca7bc7d28521e0","content_root":"sha256:48241570775c8dd7ee35b08bf21bc07bba9520e5fe309867d31aba18ee76666a","availability":"reference_only","row_root":"sha256:e7a20f8ce87a19e49c756ed1fc7a01bf1a9972c32a54e89ffe964f6fb538c960"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:591","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 591","summary":"Exact literature solutions identified","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/591"}],"metadata":{"category":"literature","category_label":"Exact literature solutions identified","problem_number":591},"metadata_root":"sha256:1ab41bd35cdf0a82fa53c222dfd5b156c272c4d4ac5c3381e5a468f1ce4b1f80","content_root":"sha256:42ed1f773ad402209e0a788235299b1f8199542c55bb740306b21d716f2b26c2","availability":"reference_only","row_root":"sha256:1e49eced0f1b67fbaa128292fcd3bc4cf4444ac9e752e4004b587e5c7c3f1e1a"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:602","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 602","summary":"Subtle errors","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/602"}],"metadata":{"category":"subtle_error","category_label":"Subtle errors","problem_number":602},"metadata_root":"sha256:68092cc20fa93480fcbebc15d467cc367c00def3278e7e996978e2d66e02e4be","content_root":"sha256:48241570775c8dd7ee35b08bf21bc07bba9520e5fe309867d31aba18ee76666a","availability":"reference_only","row_root":"sha256:2ec6d850c8c17b99e59b3606b9b3d341a0df52e6d341448627ba8eb42b6d896c"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:647","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 647","summary":"Conditional on conjectures","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/647"}],"metadata":{"category":"conditional_conjecture","category_label":"Conditional on conjectures","problem_number":647},"metadata_root":"sha256:6e989b284858a8890fbc2393b101e5b4188246d356ba60f0aa573af4ef392d22","content_root":"sha256:8aee6d2d5cdb225ffb537d5debe5483d06ae8133abbf8a2cb3e5282487b1330f","availability":"reference_only","row_root":"sha256:e2d4c52584224e49abc306f694a58a83ecfa892aac50a4faa669a94e67dc3e95"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:652","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 652","summary":"New proofs","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/652"}],"metadata":{"category":"new_proof","category_label":"New proofs","problem_number":652},"metadata_root":"sha256:ade35188e5d7ac38f42c6dfa01993c3dd1754faf7f42a7805fbfb14a5b7c6892","content_root":"sha256:a8925d72a8ee4039ba5db62b6e90c6d1489b5b854eb1f123e204d19611747984","availability":"reference_only","row_root":"sha256:4d497ee22bf6b4c7dbf420580693523d0b1067dd98ab7f38ff43fd724652daab"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:655","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 655","summary":"Valid but non-improving proofs","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/655"}],"metadata":{"category":"non_improving","category_label":"Valid but non-improving proofs","problem_number":655},"metadata_root":"sha256:c80f08151264b857fb896017626a87bce9899f9048b877632177923c88725508","content_root":"sha256:27278d60b96865e860edc611ea82f6aaa3332ea6d42e8ae47b9ae0753a3407bc","availability":"reference_only","row_root":"sha256:43b7119f83a9ec589fe8058650ee0801998462a655fa7f8ebaa82308fe077c9c"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:662","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 662","summary":"Typos identified","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/662"}],"metadata":{"category":"typo","category_label":"Typos identified","problem_number":662},"metadata_root":"sha256:1e7b066f13b6c51379287a139857a55a94d1f6cf2c0cb81326cc2558b29ef28f","content_root":"sha256:c46f90c4feccb71fc446beb58a276de996c9085bf771aa4a46a3351cb75c1446","availability":"reference_only","row_root":"sha256:5788ec98e307ebdc685ce3893d7cc7ff3bd2bfaf4c0da0a9a1a6d0e89ce931fd"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:665","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 665","summary":"Solved as stated, hidden constraints","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/665"}],"metadata":{"category":"hidden_constraints","category_label":"Solved as stated, hidden constraints","problem_number":665},"metadata_root":"sha256:e7b41365b23dbfe0e9a5a43b27ad5430b7288828b39b4f4aee492ca1a4667ac6","content_root":"sha256:aa5571b905eb13716e19b3e14db0ea591b4689f5561df1cd7dae560dfb292775","availability":"reference_only","row_root":"sha256:1b56997037a4f35db5a8501bee8c5451b27b472ee915fd80896e2ff1abd361a8"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:686","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 686","summary":"Solved as stated, hidden constraints","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/686"}],"metadata":{"category":"hidden_constraints","category_label":"Solved as stated, hidden constraints","problem_number":686},"metadata_root":"sha256:8a85108a3cc2ae28ed758e11293289f071c567732a0f8aa6c7dc853ab415c09b","content_root":"sha256:aa5571b905eb13716e19b3e14db0ea591b4689f5561df1cd7dae560dfb292775","availability":"reference_only","row_root":"sha256:146e84873e7cbd3cd6e5a87faa77ad6eb456a2b7383636a3697994f24e68610f"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:690","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 690","summary":"Solved as stated, hidden constraints","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/690"}],"metadata":{"category":"hidden_constraints","category_label":"Solved as stated, hidden constraints","problem_number":690},"metadata_root":"sha256:8485d2f06ab183d2eeb7273fe519a71cdddce55b7cd69ab6f904cb33fe86e54f","content_root":"sha256:aa5571b905eb13716e19b3e14db0ea591b4689f5561df1cd7dae560dfb292775","availability":"reference_only","row_root":"sha256:770497e55a3b852dd211fd123a4628aa3d9b755173d487b074229eea174cf9d6"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:705","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 705","summary":"Subtle errors","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/705"}],"metadata":{"category":"subtle_error","category_label":"Subtle errors","problem_number":705},"metadata_root":"sha256:ac92bfe81d5f8d663ff0a41186a78f94197f46d0f055b37d5d7fc4cc97016781","content_root":"sha256:48241570775c8dd7ee35b08bf21bc07bba9520e5fe309867d31aba18ee76666a","availability":"reference_only","row_root":"sha256:57f1be7d1dde8585e127dd05911acba652a9fd74b7e608168e49d3419d16c46c"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:726","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 726","summary":"Valid but non-improving proofs","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/726"}],"metadata":{"category":"non_improving","category_label":"Valid but non-improving proofs","problem_number":726},"metadata_root":"sha256:906e61e9bc472c02807b6bd6ced8fc5c0a42f239a08995538c0ef634b1193700","content_root":"sha256:27278d60b96865e860edc611ea82f6aaa3332ea6d42e8ae47b9ae0753a3407bc","availability":"reference_only","row_root":"sha256:76cee278205a22427e35f8f9c9cef331ddbd66ded79840071bb94c3ddad3cc24"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:731","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 731","summary":"Subtle errors","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/731"}],"metadata":{"category":"subtle_error","category_label":"Subtle errors","problem_number":731},"metadata_root":"sha256:889326d35834ebdf404fbcc85ac0debc3440ef6c58699a3120035fb6407ab6a5","content_root":"sha256:48241570775c8dd7ee35b08bf21bc07bba9520e5fe309867d31aba18ee76666a","availability":"reference_only","row_root":"sha256:35c5240120019931942b0b534a8b268843451f2284a8cc6cbf559ca56abd63e7"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:734","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 734","summary":"Subtle errors","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/734"}],"metadata":{"category":"subtle_error","category_label":"Subtle errors","problem_number":734},"metadata_root":"sha256:ddf5b1a55a92554c04d310d47c59bbeb0c2ff147be188635a5c337910b91bb3b","content_root":"sha256:48241570775c8dd7ee35b08bf21bc07bba9520e5fe309867d31aba18ee76666a","availability":"reference_only","row_root":"sha256:1e1a5db0372e7c71c2dd77768f8b7f7d5e98fc2f098d048207882804a0517521"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:743","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 743","summary":"Conditional on conjectures","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/743"}],"metadata":{"category":"conditional_conjecture","category_label":"Conditional on conjectures","problem_number":743},"metadata_root":"sha256:f0a25456eca2cff7fa7d1b2c94377fac95b76de3f971b4bcf032373bc4da691d","content_root":"sha256:8aee6d2d5cdb225ffb537d5debe5483d06ae8133abbf8a2cb3e5282487b1330f","availability":"reference_only","row_root":"sha256:48c2333b330216c3af0ed6e8501817dcb927816279d9ba2b1a25c0aae78e1e73"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:78","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 78","summary":"Solved as stated, hidden constraints","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/78"}],"metadata":{"category":"hidden_constraints","category_label":"Solved as stated, hidden constraints","problem_number":78},"metadata_root":"sha256:c0bfa5d1d955cadc9228c33c3bd6ad46884bf7fc9acfc0ed25cc1a720a0f2311","content_root":"sha256:aa5571b905eb13716e19b3e14db0ea591b4689f5561df1cd7dae560dfb292775","availability":"reference_only","row_root":"sha256:78d25cdbcbfb2e8f92ad521e4126f0f68427445984532368f896effecd18321b"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:783","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 783","summary":"Subtle errors","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/783"}],"metadata":{"category":"subtle_error","category_label":"Subtle errors","problem_number":783},"metadata_root":"sha256:fe6dce409851bc106b3f18bd5b4b9b78b3233b0d1c7b858bf9c7407405e9cbb7","content_root":"sha256:48241570775c8dd7ee35b08bf21bc07bba9520e5fe309867d31aba18ee76666a","availability":"reference_only","row_root":"sha256:e724e1496d880ca40c36125bc02a7334700557b6716b1c5f153d60bce3f9e05b"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:788","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 788","summary":"Partial literature extensions","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/788"}],"metadata":{"category":"partial_literature","category_label":"Partial literature extensions","problem_number":788},"metadata_root":"sha256:3208fc1dfe05caeac4d5da38405a195d639756417dd0403b2a6726ca23474109","content_root":"sha256:4c2235b21d283eec2f414c907a1ec5d205fd1d3220542e8e7b1a6ef0ba8c45dc","availability":"reference_only","row_root":"sha256:a5cd36c7e8bb2e788b4175583c0da62da9f1e2a767620be6bed89dcb34c1b367"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:792","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 792","summary":"Valid but non-improving proofs","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/792"}],"metadata":{"category":"non_improving","category_label":"Valid but non-improving proofs","problem_number":792},"metadata_root":"sha256:d495a41b2d7b1be17cc6c71273476a89ccbb258ea32a02d2d98ce46d2c2e2ac2","content_root":"sha256:27278d60b96865e860edc611ea82f6aaa3332ea6d42e8ae47b9ae0753a3407bc","availability":"reference_only","row_root":"sha256:9d4bb3d0d2fd0ffd139b5c8277d68ef827b550b23c35a1afae02b8ca2be39ada"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:796","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 796","summary":"Valid but non-improving proofs","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/796"}],"metadata":{"category":"non_improving","category_label":"Valid but non-improving proofs","problem_number":796},"metadata_root":"sha256:854a1a45f9aea47051405b13e3ecc76be8c250f35065baf9d86d1904ba712923","content_root":"sha256:27278d60b96865e860edc611ea82f6aaa3332ea6d42e8ae47b9ae0753a3407bc","availability":"reference_only","row_root":"sha256:0044ad1dd7ee39ebcb2791228cecc730d70ecc3d2d5edd59353b360b22ab1e7b"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:847","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 847","summary":"Exact literature solutions identified","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/847"}],"metadata":{"category":"literature","category_label":"Exact literature solutions identified","problem_number":847},"metadata_root":"sha256:bf7fcf2605a648ccb8cb6dd2447f0ff7c25c20d53e1ccf581a066a26b0b363d4","content_root":"sha256:42ed1f773ad402209e0a788235299b1f8199542c55bb740306b21d716f2b26c2","availability":"reference_only","row_root":"sha256:49ac98c03536e8c859a4bf9f797ba947d2edc27c622039ce1e4f289dde90e096"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:850","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 850","summary":"Solved as stated, hidden constraints","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/850"}],"metadata":{"category":"hidden_constraints","category_label":"Solved as stated, hidden constraints","problem_number":850},"metadata_root":"sha256:9540a99e48e01b4d72d0d484a1457e6ba862e51b17230493178b0ce0af6ee6d2","content_root":"sha256:aa5571b905eb13716e19b3e14db0ea591b4689f5561df1cd7dae560dfb292775","availability":"reference_only","row_root":"sha256:0022843ffb41e1a7df0b655f42e64a32a3f071cb686ed2e979e97a9ebba4358f"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:858","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 858","summary":"Valid but non-improving proofs","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/858"}],"metadata":{"category":"non_improving","category_label":"Valid but non-improving proofs","problem_number":858},"metadata_root":"sha256:be8284d19ad483e4c7a2f6b0b4f73ea5b83c4d8617c7eef4dad5dfb309719012","content_root":"sha256:27278d60b96865e860edc611ea82f6aaa3332ea6d42e8ae47b9ae0753a3407bc","availability":"reference_only","row_root":"sha256:1f49eadcc3f1f30b905a42f31b9b4409d02fd3d0950cf986df1344b8711974ef"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:864","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 864","summary":"Subtle errors","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/864"}],"metadata":{"category":"subtle_error","category_label":"Subtle errors","problem_number":864},"metadata_root":"sha256:359cbff59168938a5ea1c7f091b083077e0713c12992fa256541981669d98438","content_root":"sha256:48241570775c8dd7ee35b08bf21bc07bba9520e5fe309867d31aba18ee76666a","availability":"reference_only","row_root":"sha256:a65475768d5bfb5541bae15c7657fbc6ed3e50d51868a2e0ae1843bf5a07d199"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:866","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 866","summary":"Solved as stated, hidden constraints","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/866"}],"metadata":{"category":"hidden_constraints","category_label":"Solved as stated, hidden constraints","problem_number":866},"metadata_root":"sha256:02d302a92145bd57e0ca66c2582921058163ff587b48c46c5f4f5357564e31ad","content_root":"sha256:aa5571b905eb13716e19b3e14db0ea591b4689f5561df1cd7dae560dfb292775","availability":"reference_only","row_root":"sha256:588a963128e2c1f647457c8b66a79d618f528a0149a1997166e6392ae2393cb4"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:888","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 888","summary":"Subtle errors","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/888"}],"metadata":{"category":"subtle_error","category_label":"Subtle errors","problem_number":888},"metadata_root":"sha256:f549b3d8be2544b7ef76e16ff7803873a1a8a95a909b4f6d6aaf02f2a3475b45","content_root":"sha256:48241570775c8dd7ee35b08bf21bc07bba9520e5fe309867d31aba18ee76666a","availability":"reference_only","row_root":"sha256:f1193427ebf638d83e4ca4c02e7acf37cb4a1ea3f9867ca3eb57e78baaafe8ee"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:893","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 893","summary":"Valid but non-improving proofs","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/893"}],"metadata":{"category":"non_improving","category_label":"Valid but non-improving proofs","problem_number":893},"metadata_root":"sha256:97549d7abd974d286d48c911eed0eedaef0b8ee8c85cc1722369add0c833a823","content_root":"sha256:27278d60b96865e860edc611ea82f6aaa3332ea6d42e8ae47b9ae0753a3407bc","availability":"reference_only","row_root":"sha256:6bb6410c6c675a6fcfa9e8912e84dc5d4e0fbb69d20ccb1c0588cc84b470b68e"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:906","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 906","summary":"Solved as stated, hidden constraints","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/906"}],"metadata":{"category":"hidden_constraints","category_label":"Solved as stated, hidden constraints","problem_number":906},"metadata_root":"sha256:a1fcbb3c52d50175a780b706956a1c172888c48bd62cb2f03f478f2f4c1d35e3","content_root":"sha256:aa5571b905eb13716e19b3e14db0ea591b4689f5561df1cd7dae560dfb292775","availability":"reference_only","row_root":"sha256:25df40992fcbdcc96b133456d037daef0d1b6eed9190d6054a24c90fddf90d13"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:91","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 91","summary":"Solved as stated, hidden constraints","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/91"}],"metadata":{"category":"hidden_constraints","category_label":"Solved as stated, hidden constraints","problem_number":91},"metadata_root":"sha256:1df1f518f2b9b7001a487c92dba76245902af523d6d0b0959853796589b5cad3","content_root":"sha256:aa5571b905eb13716e19b3e14db0ea591b4689f5561df1cd7dae560dfb292775","availability":"reference_only","row_root":"sha256:dfffb1e7e4c3f9901f9e3181b1aefc3a9604ca6298b64b8143758e0346dd3424"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:943","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 943","summary":"Solved as stated, hidden constraints","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/943"}],"metadata":{"category":"hidden_constraints","category_label":"Solved as stated, hidden constraints","problem_number":943},"metadata_root":"sha256:7d1b6f75ed5af0356adc3f65cb0eaef0736d0ed6f17d69e6d8f079c472c291bd","content_root":"sha256:aa5571b905eb13716e19b3e14db0ea591b4689f5561df1cd7dae560dfb292775","availability":"reference_only","row_root":"sha256:edffff2af30631d77b42551ae9d0d251bf48bf535e5b3e9e6f3de68c62c49143"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:954","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 954","summary":"Solved as stated, hidden constraints","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/954"}],"metadata":{"category":"hidden_constraints","category_label":"Solved as stated, hidden constraints","problem_number":954},"metadata_root":"sha256:4ffd4f09d4caa2179fe14ce62efcd2a96b17d8423f54849e4b4ade359392e8d7","content_root":"sha256:aa5571b905eb13716e19b3e14db0ea591b4689f5561df1cd7dae560dfb292775","availability":"reference_only","row_root":"sha256:45637e03b63eefe4088f86951c78f35566085de11597b9bc6629c943edac80f7"},{"schema":"vela.math-native-record.v1","source_id":"source:gpt-erdos","observation_root":"sha256:1862b06afd9e53e694ba5b3e04137ae0a30ec18a51662edd301aa05bf4590fd5","native_id":"gpt-erdos:969","native_kind":"attributed_classification","native_revision":"21b48ae6b97279e9fe6781e3744e1cdd835e2cc1","title":"GPT-Erdős classification for problem 969","summary":"Valid but non-improving proofs","locators":[{"locator_id":"native-1","kind":"artifact","url":"https://github.com/neelsomani/gpt-erdos"},{"locator_id":"native-2","kind":"artifact","url":"https://www.erdosproblems.com/969"}],"metadata":{"category":"non_improving","category_label":"Valid but non-improving proofs","problem_number":969},"metadata_root":"sha256:4883e958058af3020ead6d5997624116cc3a5bb4eac1c61da867f6c4fa472422","content_root":"sha256:27278d60b96865e860edc611ea82f6aaa3332ea6d42e8ae47b9ae0753a3407bc","availability":"reference_only","row_root":"sha256:e8709cddf14eeec433b2ad4e616f92b79071368df4055cdbd30e3ac063e4fb24"}],"repository_bindings":[],"next_cursor":null,"next_binding_cursor":null}