Erdős problem 1196 · problems.science

Bounds the weighted sum $\sum 1/(a \log a)$ taken over primitive sets of integers (sets where no element divides another).

Workspace

Open this exact Problem, source revision, and authority Repository in Workbench. This handoff does not clone, switch, upload, or execute anything.

Canvas

public preview

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

AI standalone
Erdős AI contributions wiki · 13 Apr, 2026
Machine
GPT-5.4 Pro
Open the source record
AI collaborating with humans
Erdős AI contributions wiki · 16 Apr, 2026
Machine
GPT-5.4 Thinking
People
Nat Sothanaphan
Open the source record
Formalization
Erdős AI contributions wiki · 16 Apr, 2026
Machine
Gauss
Open the source record
argument
VibeMathed
Machine
GPT-5.4 Pro
People
Boris Alexeev, Kevin Barreto, Yanyang Li, Jared Duker Lichtman, Liam Price, Jibran Iqbal Shah, Quanyu Tang, Terence Tao
Reported outcome
resolved
Open the source record