Terence Tao launches AI-assisted challenge on Landau-Siegel zeros
Fields Medalist Terence Tao opened a public, AI-assisted challenge on October 20, 2026, asking participants to derive an explicit upper bound on a hypothetical "tenth discriminant" tied to the class number 1 problem. It follows OpenAI's October 6 release of 722 AI-generated math manuscripts, including a paper arguing Landau-Siegel zeros cannot exist.
- Tao's task seeks an explicit bound on a tenth discriminant, though −163 is the last Heegner number
- OpenAI published 722 manuscripts in 372 result families across 17 disciplines
- Only 162 of 722 manuscripts had Lean formalizations; about 23% after three were withdrawn
- Heath-Brown's 1983 theorem links eliminating Siegel zeros to the twin prime conjecture
Read next
AI