Robuta

https://conjectures.io/problems/classnumberproblem-class-number-problem Class Number Problem ยท Conjectures.io class number problemconjectures