А вот, например, про биологов.
https://www.cell.com/cancer-cell/fulltext/S1535-6108(02)00133-2В ИТ-то несколько попроще - это инженерная, по большей части, практика, то есть в 99.99% случаев нужно просто взять набор готовых решений и выбрать из них наиболее подходящее к условиям решаемой задачи подмножество.
Доказательство факта оптимальности решения - мутная дисциплина, хотя бы потому, что в набор условий входит множество гуманитарных вещей (причём и в ФТ и в НФТ).
Но я что-то такое встречал в области проектирования микроэлектроники. Есть теория (моделирования) сложных систем. Есть теория оптимального управления (дисциплина в математике).
Всё сводится к тому, что для подхода к задаче систему нужно сначала научиться определённым образом описывать (чтобы, условно, потом решить чисто математическую задачу оптимизации).