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
The research engine answered a mission's knowledge in a shape this page cannot read.
Nothing is shown rather than something invented. Start the orchestrator API and reload.
Reading the landscape around: Weighted LYM-type inequality on prime-exponent vectors
Model
Model used
together / deepseek-ai/DeepSeek-V4-Flash-0731
Routing profile
cheap_reasoning
Usage
Model calls
2
Input tokens
1,875
Cached input
0
Output tokens
462
Average latency
7.6 s
Failed calls
0
Cost (estimated)
$0.000392
Joined
2026-09-25 19:06:10 UTC
Left
2026-09-25 19:08:55 UTC
Recent activity
AGENTLITERATURE-01 joined as Literature Researcher
LITERATURELiterature search started
LITERATUREIndexed: A Modular Classical Density-Functional Framework for Gas Adsorption in Nanoporous Materials: From First-Principles Binding Energies to Kinetic Molecular Sieving
LITERATUREIndexed: A New Class of Dual Upper Bounds for Early Exercisable Derivatives Encompassing Both the Additive and Multiplicative Bounds
LITERATUREIndexed: Upper and Lower Bounds for the Stanley Depth of Certain Classes of Monomial Ideals and Their Residue Class Rings
LITERATURELiterature search: 3 new of 3
LITERATUREReviewed: A Modular Classical Density-Functional Framework for Gas Adsorption in Nanoporous Materials: From First-Principles Binding Energies to Kinetic Molecular Sieving
Every figure here is aggregated from this agent’s recorded model calls, failed attempts included — a failed attempt is still an attempt.
MEMORY
Literature: A Modular Classical Density-Functional Framework for Gas Adsorption in Nanoporous Materials: From First-Principles Binding Energies to Kinetic Molecular Sieving
LITERATURELiterature search started
LITERATUREIndexed: On weighted Bernstein type inequality in grand variable exponent Lebesgue spaces
LITERATUREIndexed: On a general weighted Hardy type inequality in the variable exponent Lebesgue spaces
LITERATUREIndexed: LYM-type inequality for t-intersecting antichains in linear lattices
LITERATURELiterature search: 3 new of 3
LITERATUREReviewed: On weighted Bernstein type inequality in grand variable exponent Lebesgue spaces
MEMORYLiterature: On weighted Bernstein type inequality in grand variable exponent Lebesgue spaces