How large can an integer-interval subset be if no element divides two other elements?
RESEARCHING
9 h 14 min
Determine how large a subset of an integer interval can be when no element of the subset divides two other elements of it. Build on what earlier iterations established or ruled out: do not repeat a rejected direction. Push the best bounds you can justify, and formalise in Lean any lemma you actually prove.
Number theoryIteration 57 of 57Started 2026-09-25 11:13:58 UTC
Engine unreachable
Something went wrong
Nothing is shown rather than something invented. Start the orchestrator API and reload.
Showing iteration 18.
Research chronicle
0 RECORDS
Closed
nil
No events recorded yet.
The chronicle displays recorded events. Select All to view the complete record.
Engine unreachable
Something went wrong
Nothing is shown rather than something invented. Start the orchestrator API and reload.