Математики свели доказательство ИИ к идее на полстраницы
ИИ предложил доказательство, что нетривиальные нули дзета-функции лежат в полосе 1/12 < Re(s) < 11/12.
Питер Сарнак, Максим Радзивилл и Александр Данн продолжают проверять 49-страничную работу.
Радзивилл изложил основную идею доказательства примерно на половине страницы.
Аргумент соединяет известные методы, а проверка его деталей еще не завершена.
Почему важно
Если проверка завершится успешно, ИИ окажется способен находить скрытые связи между известными идеями на уровне значимых открытых задач.