Problem detail · source-aware

Bounded prime gaps: $H_1 \le 236$

candidateconfidence 50%

VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Precise statement

Write $H_1 = \liminf_{n\to\infty}(p_{n+1}-p_n)$. Announced on 1 September 2026: $H_1 \le 236$, building on Stadlmann's $240$ of the previous day.

The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.

What AI did

unspecified AI agents

Kintali's own words on X: "I showed that H1 <= 236 with the help of AI, building on Julia Stadlmann's work." He describes the method as the GPY approach with the Maynard-Tao sieve, and says he then stopped his AI agents and moved to another problem. That is the whole of the public disclosure: no model is named, the division of labour is not described, and there is no preprint.

Provider: unknown · Prompt public: unknown · Independence: unknown

Verification boundary

unreviewed

The thinnest source of the three 2026 bounded-gaps entries, and recorded as Candidate for that reason. An announcement on X with no preprint, no named model and no argument in public. It is recorded because a bound is a bound and this one held the record for two days between Stadlmann's 240 and Axiom Math's 212; it is not recorded as settled. If a preprint appears, this entry should be revisited.

Correctness: unknown · statement fidelity: unaudited · peer review: none

Timeline

  1. Shiva Kintali on X

    $H_1 \le 236$, between Stadlmann's $240$ of 31 August and Axiom Math's $212$ of 3 September. Superseded within two days, which Kintali noted himself.

Known method families

argument (source-reported)

Source-reported tools: argument.

Independent: unknown · difference confidence: 0

What remains uncertain

VibeMath has not independently audited the mathematical statement, proof, or novelty claim.

  • The source status is candidate and must not be represented as solved.
  • VibeMath has not independently verified the mathematical claim.
  • AI-attempt independence and training-data exposure are unknown unless explicitly documented.
  • VibeMath has not independently audited the mathematical statement, proof, or novelty claim.