Vela
✦ 5 frontiers

chart

5 stars · 0 verified bridges · 16 wrecks · no live leases

OEISA309370 · 17 terms adoptedAlphaProof Nexuscited in 7 findingsZenodono deposits#124 Erdos124IntervalBlock.lean#203 vf_0d4ac181#307 Erdos307.lean#319 Erdos319Smoothness.lean#366 vf_cd5fe218#396 vf_7cb1a5b0#488 vf_ef706698#617 vf_da8d51a6#647 Erdos647Obstruction.lean#684 vf_ba50ac1f#699 vf_eb741f9b#700 vf_2db3437d#993 vf_7eba52ea#1056 Erdos1056.lean#1093 vf_279e997d#1094 Erdos1094Finiteness.leanAI-for-science benchmark stateAI-for-science benchmark stateAdditive combinatorics: Sidon sets and N(h,k) boundsAdditive combinatorics: Sidon sets and N(h,k) boundsQuantum codes: stabilizer [[n,k,d]] certificatesQuantum codes: stabilizer [[n,k,d]] certificatesFormal-conjectures Lean proofs (kernel-verified)Formal-conjectures Lean proofs (kernel-verified)Erdős problems frontierErdős problems frontierprojection hash-unit · placeStars · min gap 0.08ux = fnv1a32(slug) · y = fnv1a32(slug, 7)5 stars · 0 verified bridges · 16 wrecks · no live leasesas of vev_d199cb2e417c4f42sha256:d02f91f58 · 1,338 events

catalog

5 frontiers

frontier

Erdős problems frontier

vfr_37aec80d874a0239
open1,256 findings17 links1,234 sources

frontier

Additive combinatorics: Sidon sets and N(h,k) bounds

vfr_496956067dc5ad79
open22 findings0 links22 sources

frontier

AI-for-science benchmark state

vfr_efc649fd772a1ff1
open12 findings0 links1 sources

frontier

Quantum codes: stabilizer [[n,k,d]] certificates

vfr_001f148c07eebecb
open5 findings0 links5 sources

frontier

Formal-conjectures Lean proofs (kernel-verified)

vfr_97d7d25957384f80
open2 findings0 links2 sources

finding.noted · reviewer:will-blair · 2 days

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.