Хабр Курсы для всех
РЕКЛАМА
Большая витрина: от крупнейших школ до частных авторов. Сравнивайте по цене, длительности, формату и выбирайте самый подходящий курс!
Поток Научпоп доступен 24/7 благодаря поддержке друзей Хабра
Комментарии 11
«Осень» в заголовке намекает на сезонную протечку фляги?
Пост очень большой и содержит очень много умных слов. Не читал, но полистал картинки. Картинки тоже очень умные. Риман, видимо, тоже был умным чуваком.
Было бы круто узнать, можно ли чисто гипотетически сегодня найти приклад этой шебуршне. Было бы круто узнать это в паре человеческих слов типа "не, них_я". А то все так хейтят теорию чисел, шо якобы это всё ни о чем.
Там разве нельзя доказать, а потом - фгакс - и всё-всё взломать?
А если серьёзнее - опровержение этой гипотезы очень сильно подпортит очень многие стройновыстроенные математические конструкции. Доказательство же больше нужно для самоуспокоения - математики и так исходят из того что гипотеза верна.
«опровергнуть и всё взломать» не получится: находить простые и раскладывать чужое большое число на множители разные задачи )
Я скромнее, но претендую на самостоятельность)): построенный тут счётчик и алгоритм поиска не требуют предположения о верности RH. Они работают с точным покрытием составных чисел и оставшимися простыми.
RH нужна: её общую оценку отклонений мы этим не заменим. Можно решать свои вычислительные задачи, не дожидаясь её доказательства, что и получилось.
А я так надеялся на картинки). На вскидку - математическое ПО и вычислительные исследования. В банках и промышленной криптографии тоже есть подходящие задачи, но нынешнюю программу туда пока нельзя переносить без доработки. Тут дорабатывать и дорабатывать. Я по-быстрому в процессе написания статьи тестировал сравнение решётами - выбранной задаче получился выигрыш. Идей много, мне главное не потерять и интерес, как 20 лет назад. Вот ещё, например, подбор публичных простых параметров для математического и криптографического ПО. Там можно поставить конкретную задачу и измерить пользу, не вмешиваясь в генерацию секретов.
«все так хейтят теорию чисел, шо якобы это всё ни о чем» - раньше был частично согласен, результат для меня лично не стоил усилий. Кушать надо, а упарываться расчётами и проверками при помощи кода ради любопытсва я не мог. Сейчас я случайно вспомнил про это своё увлечение, поприкалывался, что осенью)) И за неделю в перерывах от работы - вот это вот всё воспроизвёл при помощи ИИ-шной алгебры. Сечас это не сложно, были бы идеи, и из этого прикладной результат сочетания человека и ИИ – закрыл гештальт (хоть я про него и забыл уже))). Надеюсь, для кого-то это станет примером, и он воплотит идеи полезнее для … прикладного
Раз вы с Astra делали, то почему бы не использовать Lean и машинночитемые доказательства? Если с этого начать, получить машинноверифицируемое доказательство и опубликовать его, то я уверен найдётся много желающих провести ревью.
похоже на попытку сπ*дить доказательство:)
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Осень. Срочно дайте телефон Перельмана — я доказал гипотезу Римана