All pull requests

Pull requests

• feat(GreensOpenProblems/27): add the near-quadratic lower bound as a variant

  green-problems
  #6970·ashm1tr opened Oct 8, 2026Contributor·

  ·
  1

• fix(GreensOpenProblems/27): green_27.lower is solved by Cao–Yuan

  green-problems
  #6968·ashm1tr opened Oct 8, 2026Contributor·

  ·
  1

• fix(ErdosProblems/955): state positive lower density in empty_preimage

  erdos-problems
  #6967·anugrah55 opened Oct 8, 2026·

  ·
  1

• Atiyah–Sutcliffe Conjecture 1 is false: mark conjecture_one solved, add conjecture_one_false

  arxiv
  #6966·azakhtyamov opened Oct 8, 2026·

  ·
  1

  1

• feat(ErdosProblems/766): add Erdős Problem 766

  erdos-problems
  #6964·veljjanoski opened Oct 8, 2026Contributor·

  ·
  1

• feat(ErdosProblems/668): add Erdős Problem 668

  erdos-problems
  #6963·veljjanoski opened Oct 8, 2026Contributor·

  ·
  1

• feat(ErdosProblems/461): add Erdős Problem 461

  erdos-problems
  #6962·veljjanoski opened Oct 8, 2026Contributor·

  ·
  1

• feat(ErdosProblems): formalize problem 436 including growth rates

  erdos-problems
  #6961·AItoBit opened Oct 8, 2026Contributor·

  ·
  1

• Formalize pointwise convergence for commuting transformations and mark it as solved

  arxiv
  #6960·KitaKen1 opened Oct 8, 2026Contributor·

  ·
  1

• feat(ErdosProblems): formalize problem 432

  erdos-problems
  #6959·AItoBit opened Oct 8, 2026Contributor·

  ·
  1

• feat(ErdosProblems): formalize problem 425

  erdos-problems
  #6958·AItoBit opened Oct 8, 2026Contributor·

  ·
  1

• feat(ErdosProblems): link formal proofs for ten number-theory variants (10, 16, 261, 263, 283, 316, 392, 867, 1074)

  erdos-problems
  #6957·anatoliiohorodnyk opened Oct 8, 2026Contributor·

  ·

• feat: link formal proofs for Gerstenhaber, inverse Galois (abelian, cyclic), Kaplansky u ≠ 3 and three more

  optimization-constantsotherpaperwikipediawritten-on-the-wall-ii
  #6956·anatoliiohorodnyk opened Oct 8, 2026Contributor·

  ·

• feat(OEIS): link formal proofs for A60841, A63880, A103662, A112970 and A237271

  oeis
  #6955·anatoliiohorodnyk opened Oct 8, 2026Contributor·

  ·

• feat(GreensOpenProblems): link formal proofs for Green 32, 40 and 66

  green-problems
  #6954·anatoliiohorodnyk opened Oct 8, 2026Contributor·

  ·

• feat: link formal proofs for the Ramsey numbers R(3,3), R(3,4), R(3,5), R(4,4) and a non-abelian Leinster group

  wikipedia
  #6953·anatoliiohorodnyk opened Oct 8, 2026Contributor·

  ·

• fix(ErdosProblems/295): define k without the proof of exists_k

  erdos-problems
  #6952·anatoliiohorodnyk opened Oct 8, 2026Contributor·

  ·

• fix(GreensOpenProblems/22, ErdosProblems/503, 1180): state three bounds without junk values of sInf/sSup

  erdos-problemsgreen-problems
  #6951·anatoliiohorodnyk opened Oct 8, 2026Contributor·

  ·

• fix(ErdosProblems/30): state the Erdős–Turán bound as an upper bound

  erdos-problems
  #6949·anatoliiohorodnyk opened Oct 8, 2026Contributor·

  ·

• docs(ErdosProblems/513): correct the docstring of erdos_513.variants.lower_bound

  erdos-problems
  #6948·anatoliiohorodnyk opened Oct 8, 2026Contributor·

  ·
  1

• feat(ErdosProblems/864): add Erdős Problem 864

  erdos-problems
  #6947·veljjanoski opened Oct 8, 2026Contributor·

  ·
  1

• feat(ErdosProblems/852): add Erdős Problem 852

  erdos-problems
  #6946·veljjanoski opened Oct 8, 2026Contributor·

  ·
  1

• feat(ErdosProblems/743): add Erdős Problem 743

  erdos-problems
  #6945·veljjanoski opened Oct 8, 2026Contributor·

  ·
  1

• feat(ErdosProblems/436): add Erdős Problem 436

  erdos-problems
  #6944·veljjanoski opened Oct 8, 2026Contributor·

  ·
  1

• fix(ErdosProblems): repoint seven formal_proof links that no longer resolve

  erdos-problems
  #6943·zblore opened Oct 8, 2026Contributor·

  ·