|
|
От: |
Nuzhny
|
https://github.com/Nuzhny007 |
| Дата: | 19.05.21 10:24 | ||
| Оценка: | |||
На 2004 год Янником Саутером и Патриком Демишелем численными методами было проверено, что более 1013 (более десяти триллионов) первых нетривиальных нулей дзета-функции Римана удовлетворяют этой гипотезе, что является хорошим аргументом в пользу истинности гипотезы, но не гарантирует её. Однако, вычислительная проверка сколь угодно большого числа нетривиальных нулей нисколько не приближает к реальному доказательству. Например, долгое время гипотеза Мертенса также подавала большие надежды на истинность, проходя всевозможные вычислительные проверки, но позже она оказалась опровергнута. Это яркий пример математического доказательства, противоречащего большому количеству вычислительных доказательств в пользу гипотезы.