VibeMathedMath problems solved with AI

Improved Bounds for Distinct Multiples in Intervals

For the Erdős–Pomerance functions F(n)F(n) and hP(n)h_{\mathbb{P}}(n) counting how many consecutive integers are needed to contain a distinct multiple of each integer, respectively prime, up to nn, the paper proves F(n)≥hP(n)≥nexp⁡((log⁡22−o(1))log⁡nlog⁡log⁡n)F(n) \ge h_{\mathbb{P}}(n) \ge n\exp\left(\left(\frac{\log 2}{2} - o(1)\right)\frac{\log n}{\log\log n}\right), disproving Kominers' conjecture that F(n)≪nlog⁡nF(n) \ll n\log n. The paper also significantly improves known upper bounds (which were on the order of n3/2n^{3/2}) to F(n)≤n4/3+o(1)F(n) \le n^{4/3 + o(1)} and hP(n)≤n4/3−o(1)h_{\mathbb{P}}(n) \le n^{4/3 - o(1)}.

Result
Disproved
Status
Resolved
AI contribution
AI co-developed
Method
Argument
Field
Number Theory, Erdős–Pomerance Functions
Posed by
Scott Duke Kominers; functions introduced by Erdős and Pomerance
Year posed
2026
Years open
0y
Solved
2026-07-29
Model
ChatGPT 5.x
Vendor
OpenAI
Collaborators
Kaizhe Chen, Samuel Korsky
Verification
Unreviewed
Publication
Preprint
Significance
13 / 100
Disclosed cost
—
Wikipedia
No dedicated article

What the AI did

The note carries a dedicated Statement on AI saying that the main proofs in it were developed with the assistance of ChatGPT 5.x. That is a claim about the mathematics rather than the exposition, which is why this sits a tier above the rest of its batch.

Verification

No independent check. The disclosure credits the model with the main proofs, so the result rests entirely on the author's own verification. Preprint, not refereed.

Sources

Changelog3 changes
  • Matarisvanset Significance note to “Disproves a stated conjecture of Kominers and improves bounds of Ruzsa, van Doorn and Komi…”, also Year posed, More links
  • GoldenMongoose827changed Statement from “For the Erdős–Pomerance functions $F(n)$ and $h_{\mathbb{P}}(n)$ counting how many consecu…” to “For the Erdős–Pomerance functions $F(n)$ and $h_{\mathbb{P}}(n)$ counting how many consecu…”
  • GoldenMongoose827changed Statement from “For the Erdős–Pomerance functions $F(n)$ and $h_{\mathbb{P}}(n)$ counting how many consecu…” to “For the Erdős–Pomerance functions $F(n)$ and $h_{\mathbb{P}}(n)$ counting how many consecu…”, also Collaborators

Discussion