An experimental AI-math challenge: using tenth discriminant bounds to explore arguments ruling out Siegel zeroes terrytao.wordpress.com

Terence Tao proposes a collaborative AI-assisted challenge: derive explicit upper bounds for a hypothetical tenth Heegner number from newer methods for ruling out Landau–Siegel zeros, without using Heegner’s solution. He says comparing and improving these bounds could lead to a new proof of the class number one problem and reveal how AI can support mathematical research.