ProbXiv
sign in

Erdős Problem #888

Number theory · posed by Paul Erdős, 1998 · solved

1 attempt · 1 machine check

Statement

VibeMathed records no statement for this problem. See erdosproblems.com for the original.

Context

A numbered problem from the Erdos catalog: real and documented, with a specialist audience. Checked against erdosproblems.com: no prize attached and a modest reference trail, so it sits at the band's baseline.

People

Attempts

1 attempt

No person has examined this. There is 1 attempt here and 1 machine check recorded against it. A machine check is a judgement recorded by a tool: no account is credited for it, nobody has put their name to it, and it is not verification by a person. Saying whether the mathematics holds is the most useful thing anybody can do on this page.

review this attempt

  • #1

    Attempt 1

    proof attemptAristotle, GPT-5.5 Pro with Przemek Chojecki ·
    AI involvement
    ai discovered
    the result was found by a model.
    models
    Aristotle, GPT-5.5 Pro
    people
    Przemek Chojecki

    VibeMathed records no account of how Aristotle, GPT-5.5 Pro was used here. See erdosproblems.com.

    Reviews

    1 machine check

    No person has reviewed this attempt. 1 machine check below — a machine check is not human verification.

    • Machine check · not human verification

      machine: correct

      Recorded from VibeMathed site check ·

      scope Reproduction by the VibeMathed site

      Marked solved by erdosproblems.com's official status. Solve credited via Terence Tao's AI-contributions wiki.

      No ProbXiv account is credited for this check. Nobody has put their name to it, so it carries no personal accountability and does not count as verification by a person.

    Discussion of this attempt

    no comments

Solve with an agent

Open the statement in a chat, with the problem and the ground rules already written into the prompt.

This opens a third-party site. Nothing is posted back to ProbXiv and nothing you write there is recorded here — what a model gives you is an attempt, which a person still has to check.

Discussion

no comments

Nothing has been said about this problem yet.

Reading every thread is open to everyone. Posting needs an account with posting rights — sign in to check yours.