💥 Решение проблемы тысячелетия?!

Семь задач, которые Институт Клэя назвал «проблемами тысячелетия» — самые трудные головоломки современной математики.
За каждую — $1,000,000 призовых.
Одна уже решена (и даже отвергнута награда 😅), шесть ещё ждут своего часа.

И вот — кажется, следующий час настал.

Мы только что созвонились с автором потенциального решения одной из оставшихся проблем. Он трудился над ней 15 лет, и, если всё подтвердится, это будет событие мега-масштаба.

🎥 Готовим эксклюзивный стрим: автор лично расскажет, как он подошёл к решению, какие методы использовал — я пока не буду спойлерить, готовим стрим.

А пока вопрос к вам, друзья:
👉 Как вы думаете, какая из шести оставшихся проблем тысячелетия могла пасть первой?

-Гипотеза Римана
-P vs NP
-Уравнения Навье–Стокса
-Гипотеза Ходжа
-Проблема Янга–Миллса
-Гипотеза Бёрча — Суиннертона-Дайера

Пишите свои ставки в комментах —
а шум, поверьте, поднимется уже через пару недель 🔥

Но надо проверить пруф. Ждём окончательную версию пруфа задачи тысячилетия и проверяем.

Подскажу немного, о решении какой проблемы тысячелетия пойдёт речь на следующем стриме, перефразируя великих Ильфа и Петрова:

— Предмет моей лекции, товарищи, — плодотворная вычислительная идея. Что такое, товарищи, P, и что такое, товарищи, NP?
P, товарищи, — это когда решение находят быстро.
NP, товарищи, — это когда быстро лишь проверяют, что нашли правильно.

А что такое, товарищи, идея?
Идея, товарищи, — это вера, что между этими двумя классами всё-таки есть разница… или же её нет.

Кстати, в мае мы делали лайвстрим “Complexity Theory meets Neuroscience”, где какой-то чувак, похожий на меня, давал неформальное введение в теорию сложности.

выложен архив журнала Квант. Я его на телефоне открыл, и, когда нечего делать, пролистываю номера подряд (начал с 1970 года). Прикольно смотреть, какие там материалы, как менялись и тд. Вдруг это мозгам полезнее чтения новостей))))

И вот такой вопрос — а вы Квант читали? А запомнили что-то оттуда (какие-то выдающиеся статьи)?

Как бы вообще понять значимость журнала (и статей из него), читают ли его, кто, как, зачем?

Меня, например, порадовало, что в первых выпусках материал про цепные дроби — то есть редакторы считали, что это важнее и интереснее, чем многое. Или статьи Колмогорова про функции, например.

🧮 Какой, по вашему мнению, самый сложный вопрос в математике?

Я не профессиональный математик, но из своего опыта в индустрии убедился:
✨ самые простые вещи часто оказываются самыми сложными.


👤 Игорь @alastoofree поставил вопрос в чате, и мне лично пришлось задуматься — вспомнить, что я когда-то знал из математики:

🗣️ «Приветствую, Дмитрий! Признателен за возможность пообщаться простому инженеру с математиками.

♾️ #Бесконечность — в жизни и в инженерии — абсолютно невозможное к пониманию, определению и объяснению понятие.
По сути, это основная проблема человека, из которой проистекают все остальные.

При этом математики активно используют этот концепт при построении своих теорий.

❓ А что произойдет с различными разделами, теориями и формальными системами в математике, если отказаться от Бесконечности и заменить её на что-то конечное?

Заранее признателен за ответ на мой «тупой» инженерный вопрос 🙂»_

🤔 Ребята, особенно математики и инженеры,
что бы вы могли ответить на вопрос Игоря?

🔹 Нерешённые задачи математики и их скрытые связи (часть 1/3)

Продолжаем тему глобальных вопросов математики.
Все мы знаем: существует огромное количество нерешённых задач, над которыми люди трудятся столетиями. В следующих постах я планирую сделать маленькое введение и показать, как сложные задачи из разных областей математики связаны между собой.

Начнём с Пифагоровой комнаты — легендарного места, где, по слухам, хранятся решения всех нерешённых задач математики 😎

📐 Что это такое?
Пифагорова комната — это такая комната, где:

все стороны (длина, ширина, высота), все диагонали (по стенам, полу, потолку и из одного угла в противоположный) …являются целыми числами.

❓ Существует ли такая комната, где все стороны и диагонали целые числа?

Ответ: неизвестно! Проблеме уже более 300 лет.

В следующих постах я разберу эту задачу детальнее и покажу, как она связывает разные области математики — от чистой теории до практических приложений.

⚡Продолжение 👇

🔹 Нерешённые задачи математики и их скрытые связи (часть 2/3)

Продолжаем путешествие по Пифагоровой комнате. Начало тут👆.

Чтобы такая комната существовала, стороны комнаты 𝑎,𝑏,𝑐
и диагонали d₁, d₂, d₃, (диагонали стен, пола, потолка)
D (пространственная диагональ из левого нижнего угла в правый верхний) должны удовлетворять системе уравнений:

a² + b² = d₁²
a² + c² = d₂²
b² + c² = d₃²
a² + b² + c² = D²

Это нелинейная диофантова система — мы ищем целые числа, а не вещественные решения. Простая на вид, но на самом деле она открывает дверь в один из самых глубоких разделов современной математики.

💡 Если выразить стороны через отношения, например
𝑥=𝑏/𝑎, 𝑦=𝑐/𝑎, и немного преобразовать систему, то можно прийти к эллиптической кривой — особому виду уравнения:

y² = x³ + A·x + B

Каждая рациональная точка на этой кривой соответствует возможной конфигурации Пифагоровой комнаты. Рациональная точка — это точка (x,y) на кривой, где и x, и y — рациональные числа (дроби вида p/q).Но таких точек может быть бесконечно много, конечное число или не быть вовсе — и именно это делает задачу невероятно сложной.

🌀 Что особенно интересно — на эллиптических кривых можно определить операцию сложения точек, превращая их в математическую группу. Эта же структура лежит в основе современной эллиптической криптографии, которая защищает интернет, банковские транзакции и блокчейн.

🔐 В следующем посте мы посмотрим, как древняя геометрическая идея Пифагора превращается в цифровую защиту XXI века — и почему за этим стоит одна из нерешённых проблем тысячелетия — гипотеза Бирча и Свиннертона-Дайера (BSD).

⚡Продолжение следует…

🔹 Нерешённые задачи математики и их скрытые связи (часть 3/3)
От Пифагора к криптографии и гипотезе тысячелетия

В прошлый раз 👆 мы увидели, что поиск целых решений для Пифагоровой комнаты
приводит нас к эллиптическим кривым — уравнениям вида:

y^2 = x^3 + A*x + B

Каждая рациональная точка (x, y) на такой кривой соответствует возможной конфигурации. Но самое удивительное — на множестве этих точек можно ввести операцию сложения, и тогда они образуют абелеву группу.

⚙️ Как работает сложение на кривой

Если взять две рациональные точки P и Q на кривой,
прямая, проходящая через них, пересечёт кривую в третьей точке R.
Зеркально отражая R относительно оси X, получаем новую точку P + Q.

Эта «геометрическая» операция обладает всеми свойствами сложения: ассоциативностью, нейтральным элементом (точка на бесконечности) и обратным элементом.

Так эллиптическая кривая превращается в алгебраический объект,
а её рациональные точки образуют группу E(Q), ключевую в современной арифметической геометрии.

🔐 От уравнений к криптографии

Ту же структуру используют в эллиптической криптографии (ECC).
Вместо целых чисел используют точки на кривой над конечным полем Z_p:

y^2 ≡ x^3 + A*x + B (mod p)

Сложение точек по тем же правилам создаёт огромную, трудно «обратимую» группу. Умножить точку на число легко, а вот найти множитель обратно — почти невозможно. Эта задача называется Discrete Logarithm Problem (DLP) на эллиптических кривых.
На ней основаны протоколы ECDSA, Diffie–Hellman, Curve25519 и многие другие.

Именно поэтому миллиарды транзакций в интернете ежедневно
опираются на те же формулы, что и наш древний Пифагор.

🌌 Гипотеза Бирча и Свиннертона–Дайера (BSD)

Но история не заканчивается криптографией.
За ней стоит одна из семи задач тысячелетия — гипотеза BSD.

Она утверждает, что структура группы рациональных точек E(Q)
тесно связана с аналитическими свойствами её L-функции:

L(E, s) = ∏_p (1 - a_p*p^(-s) + p^(1-2s))^(-1)

Грубо говоря:

- если кривая имеет конечное число рациональных точек, то L(E,1) ≠ 0;
- если точек бесконечно много, то L(E,1) = 0, и порядок нуля в этой точке равен рангу группы E(Q).

Это мост между арифметикой (целыми решениями) и анализом (комплексными функциями) — священный грааль современной теории чисел.

🧭 Cayley-графы и криптографическая геометрия

Если теперь изобразить все точки E(Z_p) как вершины,
а ребро соединяет P и Q, если Q = P + G для фиксированной точки G,
то мы получим Cayley-граф группы точек эллиптической кривой.

Этот граф обладает уникальными свойствами:

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

На таком графе «путешествие» от точки O до n*G
(умножение точки на число n) соответствует тому самому
дискретному логарифму, который делает криптографию надёжной.

🕊️ Финал

Из простых уравнений Пифагора рождается целый мир — от диофантовых систем и эллиптических кривых до глубочайших гипотез и цифровой безопасности XXI века.

Где древняя геометрия встречает теорию групп,
анализ, топологию и даже блокчейн.

Всё начинается с комнаты, где длины рёбер — целые числа.
Но за её стенами скрыта бесконечная математика.

⚡ Конец серии

Видео перед сном:

https://www.youtube.com/watch?v=pgROQl0Ol20

Оставлю для себя здесь, чтобы прочитать как будет время. Базовые вещи кажутся мне очень интересными 👇👇👇

MIT + Harvard + Google DeepMind показали, почему обычные трансформеры почти не умеют в многозначное умножение — и как это починить одной идеей

Команда обучила два маленьких Transformer-а считать 4-значное × 4-значное умножение.

Первый - с методом implicit chain-of-thought (ICoT): модель сначала видит все промежуточные шаги вычисления, а затем эти шаги постепенно убирают.
То есть модель вынуждают “думать внутри себя”, а не на видимых подсказках.

Результат: 100% точность на всех примерах.

Второй - обычное обучение: вход → ответ, без промежуточных шагов.
Результат: около 1% правильных ответов.

Почему так?

- Многозначное умножение требует длинных зависимостей
- Нужно запоминать и переносить “сумму + перенос” между разными позициями
- Модель должна хранить промежуточные частичные произведения и возвращаться к ним позже
- Рабочая модель формирует “бегущую сумму” и carry, как человек
- Внутри attention появляется структура наподобие небольшого бинарного дерева
- Представления цифр формируют особое пространство (пятилучевая призма + Fourier-код)

Обычное обучение захватывает “краевые” цифры и застревает — не может связать середину.
ICoT даёт правильный inductive bias: заставляет модель строить внутренний алгоритм, а не угадывать шаблон.

Главная идея: чтобы ИИ делал арифметику (и, возможно, логику), ему нужен скрытый расчётный процесс, а не просто больше данных.

Это шаг к пониманию того, как обучать модели *думать*, а не просто *запоминать*.