frontiers / frontier
Erdős problems frontier
- id
- vfr_37aec80d874a0239
- license
- CC-BY-4.0
- findings
- 1,256
- accepted core
- 6
- contested
- 0
- links
- 17
- sources
- 1,234
- evidence
- 1,256
- avg conf
- 0.98
e1271/1271 · statement.attested · reviewer:will-blair · 2026-06-10 · null→null
Trails
identities
reviewer:erdos-db-trust1231reviewer:will-blair39reviewer:vela-curation-bot1
events
120 of 1,271
statement.attestedreviewer:will-blairstatement-faithfulness attestation2026-06-10statement.attestedreviewer:will-blairstatement-faithfulness attestation2026-06-10statement.attestedreviewer:will-blairstatement-faithfulness attestation2026-06-10statement.attestedreviewer:will-blairstatement-faithfulness attestation2026-06-10statement.attestedreviewer:will-blairstatement-faithfulness attestation2026-06-10statement.attestedreviewer:will-blairstatement-faithfulness attestation2026-06-10statement.attestedreviewer:will-blairstatement-faithfulness attestation2026-06-10finding.notedreviewer:will-blairExternal corroboration of frontier difficulty: AlphaProof Nexus (DeepMind, arXiv 2605.22763, May 2026) attempted Erdős #1094 (listed in erdos_problems_attempted.txt of google-deepmind/alphaproof-nexus-results@0647711a7118) and did not solve it (9 of 242 attempted Erdős problems solved). Their Lean formalization of the statement lives in google-deepmind/formal-conjectures. Treat as evidence the open obligations here are genuine, not low-hanging.2026-06-10finding.notedreviewer:will-blairExternal corroboration of frontier difficulty: AlphaProof Nexus (DeepMind, arXiv 2605.22763, May 2026) attempted Erdős #1093 (listed in erdos_problems_attempted.txt of google-deepmind/alphaproof-nexus-results@0647711a7118) and did not solve it (9 of 242 attempted Erdős problems solved). Their Lean formalization of the statement lives in google-deepmind/formal-conjectures. Treat as evidence the open obligations here are genuine, not low-hanging.2026-06-10finding.notedreviewer:will-blairExternal corroboration of frontier difficulty: AlphaProof Nexus (DeepMind, arXiv 2605.22763, May 2026) attempted Erdős #1056 (listed in erdos_problems_attempted.txt of google-deepmind/alphaproof-nexus-results@0647711a7118) and did not solve it (9 of 242 attempted Erdős problems solved). Their Lean formalization of the statement lives in google-deepmind/formal-conjectures. Treat as evidence the open obligations here are genuine, not low-hanging.2026-06-10finding.notedreviewer:will-blairExternal corroboration of frontier difficulty: AlphaProof Nexus (DeepMind, arXiv 2605.22763, May 2026) attempted Erdős #647 (listed in erdos_problems_attempted.txt of google-deepmind/alphaproof-nexus-results@0647711a7118) and did not solve it (9 of 242 attempted Erdős problems solved). Their Lean formalization of the statement lives in google-deepmind/formal-conjectures. Treat as evidence the open obligations here are genuine, not low-hanging.2026-06-10finding.notedreviewer:will-blairExternal corroboration of frontier difficulty: AlphaProof Nexus (DeepMind, arXiv 2605.22763, May 2026) attempted Erdős #366 (listed in erdos_problems_attempted.txt of google-deepmind/alphaproof-nexus-results@0647711a7118) and did not solve it (9 of 242 attempted Erdős problems solved). Their Lean formalization of the statement lives in google-deepmind/formal-conjectures. Treat as evidence the open obligations here are genuine, not low-hanging.2026-06-10finding.notedreviewer:will-blairExternal corroboration of frontier difficulty: AlphaProof Nexus (DeepMind, arXiv 2605.22763, May 2026) attempted Erdős #307 (listed in erdos_problems_attempted.txt of google-deepmind/alphaproof-nexus-results@0647711a7118) and did not solve it (9 of 242 attempted Erdős problems solved). Their Lean formalization of the statement lives in google-deepmind/formal-conjectures. Treat as evidence the open obligations here are genuine, not low-hanging.2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10artifact.assertedreviewer:will-blairImport artifact va_9bc926d75e4e3881 from artifact packet cap_61973ee16b553d572026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:will-blairManual finding added to frontier state2026-06-10finding.assertedreviewer:erdos-db-trustCandidate claim vc_b37b3e10fade266e imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_5042e9964ad0fd12 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_d3a53d980596a051 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_9a744c7bc1866dd5 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_0392deb33be7b13d imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_3387ac9df3122fdb imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_69a100a19e0a6f10 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_e086ee6e8e1d102c imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_09ce285a96d15a68 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_d927d6908bc6257b imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_02cee565046c7e64 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_fea0552aed513c7e imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_efe2f33715c346c6 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_a98c8e595dd20250 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_e08f1c04a20d199a imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_ec88a7713a66e612 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_4abf325592694fa2 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustManual finding added to frontier state2026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_c972639a9dd55a7a imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_888ec436e8a369e3 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_18ab22bfdf5f22c9 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_713025ff738ce2bb imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_945fc4898649822e imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_faad96a92a418aa6 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_52416cef0af92914 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_395469a88cc8b9bd imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_56cb9a02f6933ed9 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_92f4f989ecb889f7 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_64e9e3a505e94b0c imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_0afcdd36dfff6478 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_edce33a8e9eb1188 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_b066ed69be70317e imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_cab2fc3e8646b45c imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_7fb85feadeefd8d0 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_d6734d983a5e0ed5 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_7b48433eaee7135a imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_58ded8f552235c54 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_71c1057caca906ed imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_bbc301297fc8ece9 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_55486663626ab285 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_bc881db6fe5a00f6 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_e094e38934f9d89a imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_bf22d4ed377049d1 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_ac326f329acff55e imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_020559741fc49e59 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_930ff005ffea9a67 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_668983ae33130950 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_59d793f238b97d9c imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_ce25d2e73f656598 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_c03743191254907c imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_9a5eb5b73383969b imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_16a7e31f732972c7 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_081bf566b55adb91 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_474a62b1fcfa3ffb imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_6c2598d3e1ad9f63 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_6b7d4b02d883f89c imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_ecb83eee00d9a2b4 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_7954a1f1292124a4 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_a4ec681c07299417 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_d56987cf25199cd4 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_9cb2b5909cbc4c91 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_3da1a9c93f2fff13 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_894bfe319d3806af imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_7412835f04686864 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_b6adb2357a98ecb4 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_54c7f8d649fa4abc imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_69d224e904b1e1f8 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_ea18deed01ca06db imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_b6732a057c456dbb imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_26aff510a842d507 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_235826513ac43c38 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_c82556faedfa502e imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_ba3f3016a6a5268b imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_dea9b1ce7cbba327 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_17479c75a8129597 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_859705d5902fcf10 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_fec5350e5f25d14b imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_f4d6defc70020a0c imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_0ed4edf2cc138132 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_18fa88c323ed6857 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_da0ab3cf8f07b9c1 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_6cb726a5d68f1134 imported from artifact packet cap_61973ee16b553d572026-05-30finding.assertedreviewer:erdos-db-trustCandidate claim vc_61c5edb30d3b411c imported from artifact packet cap_61973ee16b553d572026-05-30