Теренс Тао запустил ИИ-задачу по нулям Ландау — Зигеля

Филдсовский лауреат Теренс Тао 20 октября 2026 года открыл публичную ИИ-задачу: вычислить явную верхнюю границу для гипотетического «десятого дискриминанта» в задаче о числе классов. Это ответ на публикацию OpenAI от 6 октября — 722 рукописи, среди которых доказательство отсутствия нулей Ландау — Зигеля.

• Задача Тао требует явной оценки для десятого дискриминанта, хотя девятый (−163) — последний
• OpenAI выложила 722 рукописи в 372 семействах результатов по 17 дисциплинам
• Lean-формализации были у 162 из 722 работ, после отзыва трёх — около 23%
• По теореме Хиcа — Брауна 1983 года отсутствие нулей Зигеля связано с гипотезой о простых-близнецах