Vela

Let be minimal such that every graph on vertices with at least edges, each edge contained in at least one triangle, must have an edge contained in at least triangles. Let . Is it true thatas ? Is it true thatas ?

Worked, still open.

graph theory · open · possible · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239
vela reproduce examples/erdos-problems

evidence

unverified AI candidates (2)

gpt-erdos · GPT-5.2 Pro + Deep Research · unverified

Let [ f(n,r):=\max{|E(G)|:\ |V(G)|=n,\ \text{every edge of }G\text{ lies in a triangle, and every edge lies in }\le r-1\text{ triangles}}. ] Then by definition (e(n,r)=f(n,r)+1).

candidate solution ↗

llm-hunter · gpt pro 5.2 · unverified

1 LLM attack(s) recorded (gpt pro 5.2); unverified.

candidate solution ↗

status

open

notary

vela reproduce examples/erdos-problems
  • packet.json · sha256 9c0fe90729b22b14d3d7ed897b6b58de7277fb16dd1ff998d36b7771bc07f2bf

finding.noted · reviewer:will-blair · 1 day

renders the record as of vev_d199cb2e · 1,338 events · hub

Search Vela

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.