Skip to content

Home
Problems
Frontiers
Updates

Overview
Problem ledger
Assertions
Proposed changes
Commits
Reproduce

Add contribution

/Problems

Problems · Vela Mathematics Program

Narrowed tosquares ×Clear all

Declared status

open0 / 2
disproved0 / 1
solved1 / 1

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

Formalization

not formalized3
formalized1

Subject tag

number theory576
graph theory275
ramsey theory114
geometry110
additive combinatorics102
analysis79
chromatic number61
primes61

›33 more subjects

Contributing source

source:erdos-problems4
source:erdos-ai-contributions-wiki1
source:formal-conjectures1
source:gpt-erdos1
source:vibemathed1

Problem ledger

4 problemsGraph view

declared disprovederdos:121

Erdős problem 121

number theorysquaresA028391 · A013928 · A372306 · A373319 · A372306 · A373178 · A360659 · A373114 · A143301

declared openerdos:222

Erdős problem 222

number theorysquaresA001481 · A256435

declared openerdos:773

Erdős problem 773

number theorysidon setssquaresA390813

declared solved · formalizederdos:888

(fun n => ↑(Nat.findGreatest (Erdos888.p n) n)) =Θ[Filter.atTop] fun n => ↑n * Real.log (Real.log ↑n) / Real.log ↑n

number theorysquaresA3875845 sources

Search problems.science

Find a Problem, Result, source, or page