Vela

erdős #512 · Littlewood's conjecture

← #511 · #513 (packet.json; erdosproblems.com)

Is it true that, if is a finite set of size , thenwhere ?

Worked, still open.

analysis · solved · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239
vela reproduce examples/erdos-problems

status

solved

notary

vela reproduce examples/erdos-problems
  • packet.json · sha256 138f41f77e1cf60b4e37032c5f4a6e389453489560511af5efb35667515c3327

statement.registered · agent:claude-proxy · 4 days

renders the record as of vev_e73c9b6c · 1,355 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.