Vela
✦ 5 frontiers

Record catalogue

5 frontiers.

A frontier is the record of one bounded question: findings, typed links, sources, reviews, a proof boundary.

findings 1,297 · links 17 · sources 1,264

open the frontier map
topicall03B35-proof-assistants105-combinatorics105B10-sidon-sets111-number-theory168T-artificial-intelligence181P70-quantum-coding1additive-combinatorics1ai-for-science1lean1stabilizer-codes1
statusallbacklog5
adoptedallnot yet4adopted1

5 of 5 frontiers

frontier

Erdős problems frontier

vfr_37aec80d874a0239
open1,256 findings17 links1,234 sources+24 accepted this wk

active 2dused by 0 · replayed by 2

frontier

AI-for-science benchmark state

vfr_efc649fd772a1ff1
open12 findings0 links1 sources+12 accepted this wk

active 2dused by 0 · replayed by 1 · second seat open

frontier

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

vfr_496956067dc5ad79
open22 findings0 links22 sources

active 9dused by 1 · replayed by 1 · second seat open

frontier

Formal-conjectures Lean proofs (kernel-verified)

vfr_97d7d25957384f80
open2 findings0 links2 sources

active 9dused by 0 · replayed by 0

frontier

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

vfr_001f148c07eebecb
open5 findings0 links5 sources

active 10dused by 0 · replayed by 1 · second seat open

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.