Почему доказательство квазигипотезы Римана от OpenAI удивило самих математиков

[hurtavy]

Краткий пересказ: двух математиков удивило, что нейронка использовало их методы :)

[chebo]

Несложно доказать, что если s — отрицательное чётное число (−2, −4, −6, …), то ζ(s) = 0.

Как это??? ζ(-2) =1+4+9+16+…

[makaedgar]

В статье это описано неточно. Дзета функция Римана считается через этот ряд только при Re(s)>1, для -2 значение функции вычисляется по другой формуле (как аналитическое продолжение).

Важно то, что в силу теоремы о единственности аналитического продолжения этот ряд однозначно определяет функцию Римана на всей плоскости (кроме s = 1), хотя считать по нему можно только там, где он сходится

[chebo]

Спасибо.

[WaRLoC]

Блин))

[WaRLoC]

От 1 и ниже в минуса дзена функция не определяется как ряд Дирихле как тут указано = неполное определение. Там работает аналитическое продолжение