Математика это всегда красиво 👆

2 марта 1947 г. родился Юрий Владимирович Матиясевич, российский математик, специалист в области математической логики, теории алгоритмов, теории чисел, дискретной математики. Внёс существенный вклад в теорию вычислимости, завершив решение десятой проблемы Гильберта. В этой проблеме требовалось найти единый метод для распознавания наличия решений в целых числах у произвольного диофантова уравнения. Он установил, что метода, требуемого Гильбертом, не существует. Это стало мощным средством для доказательства неразрешимости и других алгоритмических проблем. На этой базе может быть построено решение многих проблем криптографии и теории чисел.
Матиясевич сделал также множество замечательных открытий в теоретической информатике, теории графов, аналитической теории чисел. Но самый красивый результат он получил, используя технику, наработанную при решении 10-й проблемы. Оказалось, что существует многочлен с целыми коэффициентами, множество всех неотрицательных значений которого (при положительных целых значениях переменных) совпадает с множеством простых чисел! Количество переменных в многочлене Матиясевича — 10. Его степень — 15905.

Решето Матиясевича-Стечкина — интересный геометрический способ найти все простые числа. Для этого на обычной параболе y = x² мы отмечаем все точки с целыми координатами и проводим все хорды, соединяющие эти точки на правой и левой ветви. Такие хорды пересекают ось ординат в точках с целыми координатами. Оказывается, что все такие точки имеют координату, являющуюся составным числом, а точки, координаты которых — простые числа, никогда не попадут на такие хорды.
Это легко показать. Уравнение прямой, проходящей через точки А(–а; а²) и В(b; b²) имеет вид:
y = (b–а)x + ab.
Отсюда при x = 0 получаем y = ab.

🏃‍♂️ Сегодня во время бега что-то пошло не так…

Обычно стабильно наматываю свои 9 км, но в этот раз остановился на 7. Нет, не устал, не закончился плейлист, и даже кроссовки не развязались!

Просто… возникли обстоятельства, из-за которых пришлось сменить фокус с дистанции на кое-что более вдохновляющее. 😏

Говорят, бег – это про выносливость, но сегодня дело было не в этом… 😅

Почему я недобежал два километра? Всё увидите в видео в комментариях! 📹🔥

#Sport #Running #Women

Сегодня на пробежке увидел девушку (читать тут). Чем вы думаете это закончилось? Кто угадает Что Было Дальше, тому приз - девятъ километров по горкам вместе со мной и, кто знает, может быть и с ней! )

Татьяна, Аян и Юля, молчите пожалуйста, вы в конкурсе не участвуете, вы знаете чем всё закончилось )

#ЧБД

Не совсем понимаю что происходит сейчас между Трампом, Зеленским и ЕС, но вчера в Мюнхене на демонстрации было очень много немцев. Не ожидал.

#политика #война #Украина

🔥 Литературный конкурс 2025-2026: грядёт новая битва пера! 🔥

Готовьте перья и чернила, друзья! Скоро стартует новый литературный конкурс, и это будет по-настоящему горячо! Страсти, споры, вдохновение – всё, как мы любим. Пока точная дата неизвестна, но процесс запущен! В любом случае это будет в этом году.

📢 Приглашаем жюри! Если хотите оценивать тексты и писать рецензии – самое время присоединиться.

✍ А участником может стать любой! Хотите испытать себя, удивить читателей и получить ценные отзывы? Вперёд!

💡 Может кто помнит прошлые "океанские" литконкурсы? Кто ещё помнит те баталии? Это была настоящая школа пера, мысли и срача 🤣
📌 Вот один из них – загляните в атмосферу!

Особенно рекомендую обратить внимание на рецензии жюри – это отдельное искусство, которому можно учиться вечно!

✨ Тряхнём стариной? Следите за новостями – скоро подробности!

#литературныйконкурс #пишем #читаем #жюри #вдохновение #креатив

🏃‍♂️ Ответ на голосование ЧБД (Что Было Дальше) 🏃‍♀️

Сначала я обогнал девушку. Она ускорилась и обогнала меня. Я тоже ускорился и снова обогнал её. Она ещё прибавила, и я тоже. Так минут пять мы неслись рядом на бешеной скорости.

В итоге она остановилась.
А я — нет. Вернее, я попытался, но мои икры решили сыграть в «разрывные» (и без шуток, это больно).

Я сказал ей, что она классно бегает и дышит.
Она сказала, что я тоже ничего, но она уже передохнула и побежала дальше.
А я похромал к машине, осознавая всю мудрость женского подхода.

Мораль: женщины всегда правы. Даже когда не спорят.

🎉 Аян, Илья и Сергей выиграли приз! 🎉

#ЧБД

Перед тем как переходить на средние или большие вычислительные мощности, тренирую совсем небольшую языковую модель архитектуры BERT (всего 106M параметров) на англоязычной Википедии. Уже десятый запуск за сегодня, но завтра точно взлетит! Вообще, считаю, что маленькие нейросети — это секси! выжать из них можно очень много, мне так кажется, и не обязательно гнаться за количеством - важно качество 🍒

#LLM #Transormers #NLP #AI

вопрос к участникам канала: вам интересна вообще эта тема? 👆продолжать или если скажете нет, то нет. вы вообще все здесь админы

вот интересно вот это?

https://t.iss.one/simple_about_complex/14

Эти цифры показывают, что обучаются на текстах из Википедии нейронные модели более чем нормально 👆. Позже расскажу в чём тут прикол.