Vela Mathematics Program: problems · problems.science

Narrowed toproved ×not formalized ×source:erdos-ai-contributions-wiki ×Clear all

Declared status

Status and formalization as the source record declares them, across two upstream serializations this product does not merge. Neither is a Vela standing. These 6 are source-native problems, not Claims: no Claim binds them and none carries a Verification.

Formalization

Subject tag

3 more subjects

Contributing source

Problem ledger

6 problemsGraph view

declared proved · $500erdos:21

Erdős problem 21

combinatoricsintersecting familyA3915992 sources

declared provederdos:380

Erdős problem 380

number theoryA070003 · A388654 · A387054 · A3891003 sources

declared provederdos:863

Erdős problem 863

number theorysidon setsadditive combinatoricsN/A3 sources

declared provederdos:986

Erdős problem 986

graph theoryramsey theoryA000791 · A0594423 sources

declared provederdos:1153

Erdős problem 1153

analysispolynomialsN/A3 sources

declared provederdos:1217

Erdős problem 1217

number theorydivisorsprimitive setsN/A3 sources