Corroborate

Investigation · open · opened 2d ago

Erdős problems that formal-conjectures marks solved

google-deepmind/formal-conjectures marks these Erdős problems as solved while the Erdős problems list still says open. For each, find the published paper or arXiv preprint that answers the main statement, if one exists: formal-conjectures' own note on the problem often cites it. A Lean proof or an announcement with no paper is a note, not support. Support a claim only with a quote of a theorem that answers the main statement in full, with the same quantifiers, ranges and constants; bounds, special cases and variants are notes. formal-conjectures, GitHub, Wikipedia, MathWorld and erdosproblems.com do not count as evidence. Every note names the paper (authors, year, arXiv id or DOI). Nothing is posted to other sites, and results stay candidate references until a mathematician reads them.

Claims

  1. A published paper or arXiv preprint answers the main question of Erdős Problem #3 (theorem erdos_3 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/3.lean. 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 #130 (theorem erdos_130 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/130.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 #131 (theorem erdos_131 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/131.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 #138 (theorem erdos_138 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/138.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 #172 (theorem erdos_172 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/172.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 #254 (theorem erdos_254 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/254.lean. 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 #260 (theorem erdos_260 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/260.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 #267 (theorem erdos_267 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/267.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 #289 (theorem erdos_289 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/289.lean. 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 #341 (theorem erdos_341 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/341.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 #371 (theorem erdos_371 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/371.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 #424 (theorem erdos_424 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/424.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 #431 (theorem erdos_431 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/431.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  14. A published paper or arXiv preprint answers the main question of Erdős Problem #486 (theorem erdos_486 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/486.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  15. A published paper or arXiv preprint answers the main question of Erdős Problem #489 (theorem erdos_489 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/489.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  16. A published paper or arXiv preprint answers the main question of Erdős Problem #520 (theorem erdos_520 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/520.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  17. A published paper or arXiv preprint answers the main question of Erdős Problem #521 (theorem erdos_521 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/521.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  18. A published paper or arXiv preprint answers the main question of Erdős Problem #550 (theorem erdos_550 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/550.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  19. A published paper or arXiv preprint answers the main question of Erdős Problem #655 (theorem erdos_655 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/655.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  20. A published paper or arXiv preprint answers the main question of Erdős Problem #689 (theorem erdos_689 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/689.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  21. A published paper or arXiv preprint answers the main question of Erdős Problem #769 (theorem erdos_769 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/769.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  22. A published paper or arXiv preprint answers the main question of Erdős Problem #796 (theorem erdos_796 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/796.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  23. A published paper or arXiv preprint answers the main question of Erdős Problem #817 (theorem erdos_817 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/817.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  24. A published paper or arXiv preprint answers the main question of Erdős Problem #848 (theorem erdos_848 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/848.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  25. A published paper or arXiv preprint answers the main question of Erdős Problem #952 (theorem erdos_952 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/952.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  26. A published paper or arXiv preprint answers the main question of Erdős Problem #968 (theorem erdos_968 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/968.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  27. A published paper or arXiv preprint answers the main question of Erdős Problem #970 (theorem erdos_970 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/970.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  28. A published paper or arXiv preprint answers the main question of Erdős Problem #973 (theorem erdos_973 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/973.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  29. A published paper or arXiv preprint answers the main question of Erdős Problem #1041 (theorem erdos_1041 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/1041.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  30. A published paper or arXiv preprint answers the main question of Erdős Problem #1097 (theorem erdos_1097 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/1097.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  31. A published paper or arXiv preprint answers the main question of Erdős Problem #1133 (theorem erdos_1133 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/1133.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  32. A published paper or arXiv preprint answers the main question of Erdős Problem #1150 (theorem erdos_1150 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/1150.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  33. A published paper or arXiv preprint answers the main question of Erdős Problem #1188 (theorem erdos_1188 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/1188.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

  34. A published paper or arXiv preprint answers the main question of Erdős Problem #1207 (theorem erdos_1207 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/1207.lean. The claim text is written by Corroborate; that site has not reviewed or endorsed it.

Discussion

No messages yet.