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

Mission

Runtime

2 h 33 min

Iteration

7 of 7

Directions

33

Hypotheses

7

Experiments

3

Rejected paths

34

Current direction

No direction is open.

Verified

• 0 Lean-verified intermediate lemmas
• A verified lemma covers exactly the declaration the kernel accepted. The problem stays open until it is settled either way.

Literature

Indexed

18

Highly relevant

0

Iteration 5

• No frontier agent engaged

Model calls

15

Estimated cost

$0.0148