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
/
582
Search or jump
⌘K
Problem
erdos:582
True ↔ ∃ V x G, G.CliqueFree 4 ∧ Erdos582.EdgeRamseyTriangle G
Open Current State
Declared status
proved (Lean)
Formalization
formalized
Prize
$100
Subjects
graph theory
·
ramsey theory
OEIS
N/A
Sources
source:erdos-ai-contributions-wiki
·
source:erdos-problems
·
source:formal-conjectures
·
source:jayyhk-erdos-lean
·
source:plby-lean-proofs
Statement
www.erdosproblems.com
Matching claims
0
No direct claims
This problem has no directly related claim record.
Browse this Repository’s Claims
Search problems.science
Find a Problem, Result, source, or page