All pull requests

Pull requests

• 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 bound F(4) >= 397 (explicit checked witness)

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

  ·

• Link problem 327 to OEIS A398582

  #489·steps-re opened Oct 21, 2026·

  ·

• Link problem 647 to OEIS A400986

  #488·steps-re opened Oct 21, 2026·

  ·

• Link problem 817 to OEIS A399720

  #487·steps-re opened Oct 21, 2026·

  ·

• Link problem 461 to OEIS A401328

  #486·manman4 opened Oct 21, 2026Contributor·

  ·

• Problem 1220: not provable (Lean), non-provability in ZFC, Palomar-registered

  #485·jbaelaw opened Oct 20, 2026·

  ·

• Problem 1219: formal_status Lean (Shelah's theorem, full formalization)

  #484·jbaelaw opened Oct 20, 2026·

  ·

• Link problem 1110 to OEIS A401291

  #483·manman4 opened Oct 20, 2026Contributor·

  ·
  1

• ci: add timeouts to jobs sharing the commit-to-main queue

  #482·manman4 opened Oct 19, 2026Contributor·

  ·

• Link A401252 to problem 824

  #481·manman4 opened Oct 19, 2026Contributor·

  ·