All pull requests

Pull requests

• Link A398776 to problem 427

  #520·manman4 opened Nov 4, 2026Contributor·

  ·

• Link A398758 to problem 456

  #519·manman4 opened Nov 3, 2026Contributor·

  ·

• Link A401118 to problem 536

  #518·manman4 opened Oct 31, 2026Contributor·

  ·

• Link problem 771 to OEIS A401619

  #517·manman4 opened Oct 31, 2026Contributor·

  ·

• Link problem 452 to OEIS A400378

  #516·manman4 opened Oct 30, 2026Contributor·

  ·

• Link A401545 to Erdős problem 414

  #515·manman4 opened Oct 29, 2026Contributor·

  ·

• Fix OEIS link for Erdős problem 121

  #514·manman4 opened Oct 29, 2026Contributor·

  ·

• Link A399050 to problem 677

  #513·manman4 opened Oct 28, 2026Contributor·

  ·

• Link OEIS A400464 to problem 425

  #510·manman4 opened Oct 27, 2026Contributor·

  ·

• Mark 137, 850 verifiable and 149, 151, 677, 701, 1160 falsifiable

  #508·mnn31 opened Oct 26, 2026Contributor·

  ·

• 3, 184 -> open (Lean)

  #507·mnn31 opened Oct 26, 2026Contributor·

  ·

• 14, 81, 96, 97, 143, 196: update status to match the problem pages

  #506·mnn31 opened Oct 26, 2026Contributor·

  ·

• 108, 131, 304, 857: update status to match the problem pages

  #505·mnn31 opened Oct 26, 2026Contributor·

  ·

• 601 -> not provable

  #504·mnn31 opened Oct 26, 2026Contributor·

  ·

• 1168 -> not disprovable

  #503·mnn31 opened Oct 26, 2026Contributor·

  ·

• 740 -> not provable

  #502·mnn31 opened Oct 26, 2026Contributor·

  ·

• 595 -> not disprovable

  #501·mnn31 opened Oct 26, 2026Contributor·

  ·

• 623 -> independent

  #500·mnn31 opened Oct 26, 2026Contributor·

  ·

• Add missing prize values for seven problems

  #498·mnn31 opened Oct 26, 2026Contributor·

  ·

• 918 -> not disprovable

  #497·mnn31 opened Oct 26, 2026Contributor·

  ·

• Link problem 893 to OEIS A401468

  #496·manman4 opened Oct 26, 2026Contributor·

  ·

• Link problem 795 to OEIS A401472

  #495·manman4 opened Oct 26, 2026Contributor·

  ·

• Link problem 437 to OEIS A401450

  #492·manman4 opened Oct 25, 2026Contributor·

  ·

• Link problem 413 to OEIS A400430

  #491·manman4 opened Oct 24, 2026Contributor·

  ·

• Problem 531: lower bounds F(4) >= 397 and F(5) >= 1514 (explicit checked witnesses)

  #490·nakata-app opened Oct 22, 2026·

  ·
  1