chart
5 stars · 0 verified bridges · 16 wrecks · no live leases
catalog
5 frontiers
frontier
Erdős problems frontier
vfr_37aec80d874a0239open1,256 findings17 links1,234 sources
frontier
Additive combinatorics: Sidon sets and N(h,k) bounds
vfr_496956067dc5ad79open22 findings0 links22 sources
frontier
AI-for-science benchmark state
vfr_efc649fd772a1ff1open12 findings0 links1 sources
frontier
Quantum codes: stabilizer [[n,k,d]] certificates
vfr_001f148c07eebecbopen5 findings0 links5 sources
frontier
Formal-conjectures Lean proofs (kernel-verified)
vfr_97d7d25957384f80open2 findings0 links2 sources