C++ велик, это само собой (для билингвов - C++ is a bicycle, ага). Но услышал я тут, что с помощью неопреоделенного поведения компилятор C++ может опровергнуть великую теорему Ферма (для справки, доказана уже как четверть века): https://habr.com/ru/post/229963/.

Статью можете не читать (пока), смотрите на код. Внимательный читатель тут же воскликнет: "Программисты - петухи! Бесконечный цикл с единственным условием выхода - когда теорема опровергнута, этот алгоритм попросту не учитывает возможности доказательства!".

Конечно, это пример для похихикать и написать громкий заголовок, к автору никаких претензий. Претензия к нам, программистам, для которых он сработал. А это уже не смешно.