tiphareth: твиттер стрим лекции Атьи с доказательством гипотезы Римана

(Читать комментарии) - (Добавить комментарий)

	sadkov 2018-09-24 14:46 (ссылка)
	Влечет ли RH какие-то realworld последствия для криптографии или это чиста математическая дрочка, которую можно смело игнорировать? (Ответить) (Ветвь дискуссии)

	polytheme 2018-09-24 14:57 (ссылка)
	Влечет, Атью ужасно жалко, он, скорее всего, очень расстроится - и, возможно, совсем отправится в мир бабочек :( (Ответить) (Уровень выше) (Ветвь дискуссии)

	sadkov 2018-09-24 15:10 (ссылка)
	Почитал. Пишут что влечет скорее контр-пример, ибо если в одном месте может быть локальное скопление простых чисел, то алгоритмы криптографии придется адаптировать под такие места. (Ответить) (Уровень выше)

(Анонимно)
2018-09-24 15:17 (ссылка)

да ладно, там. У Атьи еще есть секретный ключ, который отпирает секретную дверь в секретный китайский винный погреб, если магическую "линейноквадратную" функцию зафейлят. Вообще Атья правильно мыслит, с этой своей функцией Тодда. Я думаю даже, что эту спорную идею они давно обсуждали в узком кругу, но под конец жизни Атья решил вынести на свет божий. То есть само док-во наверное говно (я особо не вдуплял), как и эта функция Тодда. Но сама идея квадратной-линейности, наверное фишка. будет новая квадратно-линейная алгебра вместо дифгеома и квадратичных форм. вполне в духе времени.

(Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2018-09-24 15:53 (ссылка)
	>линейноквадратную это из серии для изоморфизма векторов и линейных форм нужна метрика-квадратичная форма? ну тогда это гениальная азбучная истина (Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2018-09-24 16:14 (ссылка)
	identifying α with 1/Ж за это можно многое простить! (Ответить) (Уровень выше)

	сашико- сашико (Анонимно) 2018-09-24 17:44 (ссылка)
	Винберга не прочитал еще, а все туда же... (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: сашико- сашико (Анонимно) 2018-09-24 20:39 (ссылка)
	а что не азбучная? (Ответить) (Уровень выше)

	(Анонимно) 2018-09-24 19:23 (ссылка)
	Квадратно-гнездовую (Ответить) (Уровень выше)

	polytheme 2018-09-24 15:04 (ссылка)
	P.S. но ограничения с ней лучше, чем без нее, на скорость работы алгоритмов (например, Миллера-Рабина проверки простоты), вроде есть (лень сейчас проверять, но каких-то точно есть). (Ответить) (Уровень выше)

	(Анонимно) 2018-09-24 16:33 (ссылка)
	Это совершеннейший грааль, на который уже завязана масса работ ("в предположении, что гипотеза верна..."). (Ответить) (Уровень выше)

	ab7a 2018-09-24 21:44 (ссылка)
	Не влечет, потому что гипотеза и так верна, хоть и не доказана :-) (Ответить) (Уровень выше) (Ветвь дискуссии)

(Анонимно)
2018-09-24 21:56 (ссылка)

Но внутри доказательства могут ведь появиться какие-то полезные методы или математические конструкции, или открыться новые свойства известных объектов.
Само доказательство вполне может оказать влияние, только невозможно предсказать (не будучи глубоко в теме) какое именно влияние.

(Ответить) (Уровень выше)

	sadkov 2018-09-24 23:05 (ссылка)
	Она верна только на проверенных случаях, есть бесконечность непроверенных случаев. (Ответить) (Уровень выше) (Ветвь дискуссии)

	sadkov 2018-09-24 23:06 (ссылка)
	у финитистов бесконечности нет, но количество проверенных случаев у них все равно 0.000........01% (Ответить) (Уровень выше)

	ab7a 2018-09-24 23:10 (ссылка)
	Она либо верна, либо не верна. В теоретическом плане, от нее зависит эффективность многих алгоритмов в вычислительной теории чисел. (Ответить) (Уровень выше)

(Читать комментарии) -