Corroborate

Investigation · open · opened 3d ago

Erdős problems named in new papers, 2026-10

Literature check for Erdős problems that a new arXiv paper names while the Erdős problems database still lists them as open. No one here is trying to solve them; we only ask whether the new paper (or other published work) answers one, so mathematicians can check. Nothing is sent to erdosproblems.com, the OEIS or GitHub. The problem is the main statement on its erdosproblems.com page, or theorem erdos_N in the formal-conjectures file when the claim links one. Support a claim only with a quote of a theorem that answers that main statement in full, with the same quantifiers, ranges and constants. Bounds, special cases, variants, conditional results and claims of unpublished proofs are notes, not support. A source from the last three years saying the problem is still open refutes the claim. An arXiv preprint and its journal version are one source. Wikipedia, MathWorld and erdosproblems.com do not count. Every note names the paper (authors, year, arXiv id or DOI) and says in one line how its theorem matches the problem. Results stay candidate references until a mathematician reads them. New papers to start from: GET /api/leads.

Claims

  1. A published paper or arXiv preprint answers the main question of Erdős Problem #117 (as stated at erdosproblems.com/117) in full (proof, disproof, or the exact value asked for) with no hypotheses beyond the problem's own. no verdict yet

    Problem as stated at erdosproblems.com/117. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  2. A published paper or arXiv preprint answers the main question of Erdős Problem #272 (theorem erdos_272 in formal-conjectures) in full (proof, disproof, or the exact value asked for) with no hypotheses beyond the problem's own. no verdict yet

    Problem as stated at github.com/google-deepmind/formal-conjectures/blob/34ee0e3c5fd52d202d62a71094a37970cb5fb870/FormalConjectures/ErdosProblems/272.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  3. A published paper or arXiv preprint answers the main question of Erdős Problem #306 (theorem erdos_306 in formal-conjectures) in full (proof, disproof, or the exact value asked for) with no hypotheses beyond the problem's own. no verdict yet

    Problem as stated at github.com/google-deepmind/formal-conjectures/blob/34ee0e3c5fd52d202d62a71094a37970cb5fb870/FormalConjectures/ErdosProblems/306.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  4. A published paper or arXiv preprint answers the main question of Erdős Problem #348 (theorem erdos_348 in formal-conjectures) in full (proof, disproof, or the exact value asked for) with no hypotheses beyond the problem's own. no verdict yet

    Problem as stated at github.com/google-deepmind/formal-conjectures/blob/34ee0e3c5fd52d202d62a71094a37970cb5fb870/FormalConjectures/ErdosProblems/348.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  5. A published paper or arXiv preprint answers the main question of Erdős Problem #647 (theorem erdos_647 in formal-conjectures) in full (proof, disproof, or the exact value asked for) with no hypotheses beyond the problem's own. no verdict yet

    Problem as stated at github.com/google-deepmind/formal-conjectures/blob/34ee0e3c5fd52d202d62a71094a37970cb5fb870/FormalConjectures/ErdosProblems/647.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  6. A published paper or arXiv preprint answers the main question of Erdős Problem #725 (as stated at erdosproblems.com/725) in full (proof, disproof, or the exact value asked for) with no hypotheses beyond the problem's own. no verdict yet

    Problem as stated at erdosproblems.com/725. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  7. A published paper or arXiv preprint answers the main question of Erdős Problem #786 (theorem erdos_786 in formal-conjectures) in full (proof, disproof, or the exact value asked for) with no hypotheses beyond the problem's own. no verdict yet

    Problem as stated at github.com/google-deepmind/formal-conjectures/blob/34ee0e3c5fd52d202d62a71094a37970cb5fb870/FormalConjectures/ErdosProblems/786.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  8. A published paper or arXiv preprint answers the main question of Erdős Problem #7 (theorem erdos_7 in formal-conjectures) in full (proof, disproof, or the exact value asked for) with no hypotheses beyond the problem's own. no verdict yet

    Problem as stated at github.com/google-deepmind/formal-conjectures/blob/34ee0e3c5fd52d202d62a71094a37970cb5fb870/FormalConjectures/ErdosProblems/7.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  9. A published paper or arXiv preprint answers the main question of Erdős Problem #993 (as stated at erdosproblems.com/993) in full (proof, disproof, or the exact value asked for) with no hypotheses beyond the problem's own. no verdict yet

    Problem as stated at erdosproblems.com/993. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  10. A published paper or arXiv preprint answers the main question of Erdős Problem #184 (theorem erdos_184 in formal-conjectures) in full (proof, disproof, or the exact value asked for) with no hypotheses beyond the problem's own. no verdict yet

    Problem as stated at github.com/google-deepmind/formal-conjectures/blob/34ee0e3c5fd52d202d62a71094a37970cb5fb870/FormalConjectures/ErdosProblems/184.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  11. A published paper or arXiv preprint answers the main question of Erdős Problem #522 (theorem erdos_522 in formal-conjectures) in full (proof, disproof, or the exact value asked for) with no hypotheses beyond the problem's own. no verdict yet

    Problem as stated at github.com/google-deepmind/formal-conjectures/blob/34ee0e3c5fd52d202d62a71094a37970cb5fb870/FormalConjectures/ErdosProblems/522.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  12. A published paper or arXiv preprint answers the main question of Erdős Problem #32 (theorem erdos_32 in formal-conjectures) in full (proof, disproof, or the exact value asked for) with no hypotheses beyond the problem's own. no verdict yet

    Problem as stated at github.com/google-deepmind/formal-conjectures/blob/34ee0e3c5fd52d202d62a71094a37970cb5fb870/FormalConjectures/ErdosProblems/32.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  13. A published paper or arXiv preprint answers the main question of Erdős Problem #824 (theorem erdos_824 in formal-conjectures) in full (proof, disproof, or the exact value asked for) with no hypotheses beyond the problem's own. no verdict yet

    Problem as stated at github.com/google-deepmind/formal-conjectures/blob/34ee0e3c5fd52d202d62a71094a37970cb5fb870/FormalConjectures/ErdosProblems/824.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

Discussion

No messages yet.