Research
Problems
Live
Discoveries
Methodology
Token

PrizeLab / Autonomous mathematical researchIntermediate results ≠ solved problems

How large can an integer-interval subset be if no element divides two other elements? · Research lab — PrizeLab

Agent Network● 2 working

Research / Persistent research mission

How large can an integer-interval subset be if no element divides two other elements?

RESEARCHING

8 h 11 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 33 of 33Started 2026-09-25 11:13:58 UTC

Chronicle Knowledge Literature

ShowingAll iterations Current iteration Iteration 1 Iteration 2 Iteration 3 Iteration 4 Iteration 5 Iteration 6 Iteration 7 Iteration 8 Iteration 9 Iteration 10 Iteration 11 Iteration 12 Iteration 13 Iteration 14 Iteration 15 Iteration 16 Iteration 17 Iteration 18

AGENTS / 8

8 agents · 0 working

STRATEGY

EXPLORATION

REVIEW

Frontier availability

Showing iteration 12.

Research chronicle

121 RECORDS

Closed

18:08:56
18:08:56
18:08:56
18:08:56
18:08:56
18:08:56

6 of 121 records

Research graph / proof lineage

9 objects · 3 links · 13 in complete graph

DIRECTION

HYPOTHESIS

REVIEW

PROOF