Skip to content
Toggle Sidebar
Home
Problems
Frontiers
Updates
Overview
Problem ledger
Assertions
Proposed changes
Commits
Reproduce
Add contribution
Toggle Sidebar
Vela Mathematics Program
/
Problems
Search or jump
⌘K
Problems · Vela Mathematics Program
Narrowed to
formalized ×
squares ×
Clear all
Formalization
not formalized
3
formalized
1
Subject tag
number theory
360
graph theory
76
additive combinatorics
52
geometry
50
primes
44
analysis
37
unit fractions
32
ramsey theory
31
›
29 more subjects
distances
27
chromatic number
22
additive basis
21
set theory
20
sidon sets
19
divisors
18
irrationality
18
binomial coefficients
16
factorials
16
combinatorics
15
covering systems
15
arithmetic progressions
14
hypergraphs
8
iterated functions
7
polynomials
7
convex
6
cycles
6
base representations
5
complete sequences
5
discrepancy
5
primitive sets
5
probability
4
turan number
4
diophantine approximation
3
intersecting family
3
powers
3
group theory
2
powerful
1
squares
1
Contributing source
source:erdos-ai-contributions-wiki
1
source:erdos-problems
1
source:formal-conjectures
1
source:gpt-erdos
1
source:vibemathed
1
Problem ledger
1 problem
Graph view
declared solved
· formalized
erdos:888
(fun n => ↑(Nat.findGreatest (Erdos888.p n) n)) =Θ[Filter.atTop] fun n => ↑n * Real.log (Real.log ↑n) / Real.log ↑n
number theory
squares
A387584
5 sources
Search problems.science
Find a Problem, Result, source, or page