Issues

• formal_status lags formal-conjectures: 83 solved problems whose main theorems all carry formal_proof links

  teorth/erdosproblems#474 · Filter by author wozniczko-wq opened on Oct 13, 2026

• Verified M4 Computational Lower Bounds for Problem #30 and Problem #20

  teorth/erdosproblems#473 · Filter by author daveestaaqui opened on Oct 13, 2026

• Problems 85 and 552: two corrections for the problem pages

  teorth/erdosproblems#457 · Filter by author agnt-gg opened on Oct 7, 2026
  1

• OEIS: computed g_2, g_3, g_4 for #796 (no OEIS match for g_3 or g_4)

  teorth/erdosproblems#444 · Filter by author EconLearn opened on Sep 21, 2026

• HELP WANTED: Computing sequence for Erdős problem #293 (v(k): least denominator absent from all k-term unit-fraction decompositions of 1)

  teorth/erdosproblems#403 · Filter by author jonathanwxh-cell opened on Sep 6, 2026
  53

• Problem #510 (Chowla cosine): lambda(4) exactly determined — machine-derived proof offered as a Lean formalization target

  teorth/erdosproblems#392 · Filter by author carlostoledo1891 opened on Sep 1, 2026
  2

• data: problems.yaml carries no signal that a problem has a forum thread (894 of 1217 do)

  teorth/erdosproblems#370 · Filter by author papanokechi opened on Jul 30, 2026

• Four systematic false-match hazards when linking problems to the OEIS

  teorth/erdosproblems#356 · Filter by author papanokechi opened on Jul 29, 2026
  3

• OEIS: computed sequences for 7 problems flagged possible with no OEIS match (and a caveat on A386820 / problem 319)

  teorth/erdosproblems#354 · Filter by author papanokechi opened on Jul 29, 2026
  6

• [In progress] Computing sequence for Erdős problem #284

  help wanted
  teorth/erdosproblems#271 · Filter by author hannah-cheng opened on Apr 30, 2026
  2

• [Help Wanted] Problem #257: Lean Formalization of a Solution

  help wanted
  teorth/erdosproblems#217 · Filter by author danuaemx opened on Jan 16, 2026
  1

• "Beat the AI" on #1038

  help wanted
  teorth/erdosproblems#179 · Filter by author teorth opened on Dec 16, 2025
  3

• HELP WANTED: Computing sequence for Erdős problem #290

  help wanted
  teorth/erdosproblems#164 · Filter by author Woett opened on Nov 28, 2025
  5

• Some problems with a theoretical attack strategy

  teorth/erdosproblems#151 · Filter by author teorth opened on Nov 3, 2025
  3