TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #2136 746
Ого, прорыв в алгебраической геометрии, которая аж полвека пребывала в тупике:
String Theory Inspires a Brilliant, Baffling New Math Proof

Причём математики покрали согласились рассмотреть идеи у физиков, из теории струн :)

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

Идея для math-стартапа: перевОдите это (и другие подобные от топовых математиков) доказательство в формальный вид на теорем-прувере вроде Lean или Coq, и получаете реальную мировую известность. Пока сами математики это совсем не умеют.

Если на то, чтобы стартап набрал обороты, уходит от трех до пяти лет, то, вероятно, не стоит начинать проект, который нужен миру "прямо сейчас" (наподобие всяческих нейромусорных темок).

Задача состоит в том, чтобы выбрать то, что понадобится миру тогда. И самое сложное -- терпеливо и настойчиво придерживаться этого, несмотря на то, что это не у всех на повестке дня (пока).
Лучшее время для посадки дерева было двадцать лет назад. Следующее лучшее время -- завтра.
  • 🎉 33
  • 🤔 15
  • ❤‍🔥 8
  • 👍 3
More from @lambda_brain
  1. Oct 1, 2026Ребята спрашивают, ну ок, моё скромное мнение. у вас где-нибудь можно прочитать ваше мнени…
  2. Sep 30, 2026Ладно, вот вам база, почему так трудно переучиваться с императивного/объектного стиля коди…
  3. Sep 30, 2026Ну, с Днём Рунета! Многие годы Рунет был эталонным примером свободы, а сегодня превратился…
  4. Sep 28, 2026. Облако драгоценностей за неделю. Дипломный проект разросся уже так, что расширил его до…
  5. Sep 27, 2026GELU (Gaussian Error Linear Unit) -- базовая фича архитектуры трансформеров, да и вообще в…
  6. Sep 27, 2026Продолжение сериала "Совершенно не удивлён, и дальше будет только хуже" (с) На этой неделе…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →