String Theory Inspires a Brilliant, Baffling New Math Proof
Причём математики
Правда, само доказательство (многочлены 4-й степени с 5ю переменными не поддаются рациональной параметризации) такое сложное, и так долго в этой области ничего не происходило, что пока мировая математическая тусовка не очень ему и верит.
Идея для math-стартапа: перевОдите это (и другие подобные от топовых математиков) доказательство в формальный вид на теорем-прувере вроде Lean или Coq, и получаете реальную мировую известность. Пока сами математики это совсем не умеют.
Если на то, чтобы стартап набрал обороты, уходит от трех до пяти лет, то, вероятно, не стоит начинать проект, который нужен миру "прямо сейчас" (наподобие всяческих нейромусорных темок).
Задача состоит в том, чтобы выбрать то, что понадобится миру тогда. И самое сложное -- терпеливо и настойчиво придерживаться этого, несмотря на то, что это не у всех на повестке дня (пока).
Лучшее время для посадки дерева было двадцать лет назад. Следующее лучшее время -- завтра.