Issues

• Ramsey Number R(5,5) and other Ramsey Number Values

  ams-05: Combinatoricsgood first issuenew conjecturewikipedia
  google-deepmind/formal-conjectures#2364 · Filter by author franzhusch opened on Feb 19, 2026 · Wikipedia, Combinatorics
  3

• Van der Waerden numbers: exact values and bounds

  ams-05: Combinatoricsams-11: Number theorygood first issuenew conjecturewikipedia
  google-deepmind/formal-conjectures#2286 · Filter by author franzhusch opened on Feb 13, 2026 · Wikipedia, Combinatorics
  7

  

• Map Folding Growth Rate Conjecture

  ams-05: Combinatoricsams-40: Sequences + series + summabilitygood first issuenew conjecturewikipedia
  google-deepmind/formal-conjectures#2280 · Filter by author franzhusch opened on Feb 13, 2026 · Wikipedia, Combinatorics
  5

  

• Catalan-Dickson Conjecture: Aliquot Sequence Boundedness

  ams-11: Number theoryams-40: Sequences + series + summabilitygood first issuenew conjecturewikipedia
  google-deepmind/formal-conjectures#2212 · Filter by author franzhusch opened on Feb 8, 2026 · Wikipedia, Number Theory, General
  2

  

• Finiteness of Finitely Presented Periodic Groups

  ams-20 Group theory and generalizationsgood first issuenew conjecturewikipedia
  google-deepmind/formal-conjectures#2150 · Filter by author franzhusch opened on Feb 3, 2026 · Wikipedia, Group Theory
  1

  

• Erdős Problem 19: Chromatic number of edge-disjoint complete graphs; Erdős-Faber-Lovász Conjecture

  ams-05: Combinatoricserdos-problemsgood first issuenew conjecture
  google-deepmind/formal-conjectures#2127 · Filter by author franzhusch opened on Feb 2, 2026 · All open Erdős problems formalized
  2

  

• Erdős Problem 1144: Random Completely Multiplicative Function Summation

  ams-11: Number theoryams-60: Probability theoryerdos-problemsgood first issuenew conjecture
  google-deepmind/formal-conjectures#1977 · Filter by author franzhusch opened on Feb 1, 2026 · All open Erdős problems formalized
  2

  

• Erdős Problem 1117: Maximum Modulus Points Distribution

  ams-30: Functions of a complex variableams-32: Complex analysiserdos-problemsgood first issuenew conjecture
  google-deepmind/formal-conjectures#1967 · Filter by author franzhusch opened on Feb 1, 2026 · All open Erdős problems formalized
  1

• Green's Open Problems #65

  good first issuegreen-problemsnew conjecture
  google-deepmind/formal-conjectures#1685 · Filter by author rao107 opened on Jan 16, 2026 · Ben Green's open problems
  7

• Green's Open Problems #61

  good first issuegreen-problemsnew conjecture
  google-deepmind/formal-conjectures#1681 · Filter by author rao107 opened on Jan 16, 2026 · Ben Green's open problems

• Erdős Problem 784

  ams-11: Number theoryerdos-problemsgood first issuenew conjecture
  google-deepmind/formal-conjectures#943 · Filter by author mo271 opened on Oct 11, 2025
  3

• Green's Open Problems #6

  ams-11: Number theorygood first issuegreen-problemsnew conjecture
  google-deepmind/formal-conjectures#894 · Filter by author rao107 opened on Oct 8, 2025 · Ben Green's open problems
  6