Скелет решения: как нейросеть учится на математическом чертеже ✛ ✦
Воздух плавно обтекает крыло самолёта — кроме тонкого слоя у поверхности. Там скорость меняется резко, и уравнения становятся капризными: особые точки (сингулярности) сбивают с толку обычные численные методы (компьютерные расчёты). Даже нейросеть, пытаясь найти решение наугад, теряется в море вариантов. Нужен чертёж.
Этот чертёж даёт тропическая алгебра — математика, где плюс и умножение заменены минимумом и сложением. Как архитектор, она строит жёсткий скелет из разрешённых «этажей» — степеней переменной. Для уравнения обтекания пластины скелет оказался строгим: подходят только степени 2, 5, 8, 11… — лестница с шагом в три, где промежуточные ступени отсутствуют.
С этим чертежом нейросеть не блуждает, а точно подбирает числа. Она выдала коэффициент −0.000459 с пятью верными знаками — столько же, сколько предсказывает теория. Резкие скачки (ударные волны) она больше не сглаживает. Инженеры получают надёжный инструмент: расчёт обтекания крыла или течения в трубе теперь занимает минуты, а не дни.
Тропическую алгебру назвали в честь бразильского математика Имре Саймона, работавшего в тропиках. Наука здесь ни при чём — так пошутили коллеги.
В романе Азимова «Прелюдия к Основанию» учёный строит математический каркас для предсказания будущего. Здесь тропический скелет задаёт форму, а нейросеть заполняет её числами.