Яндекс предлагает поучаствовать во всероссийской контрольной по математике «Что и требовалось доказать» (ЧТД). Обычно этим выражением заканчивают доказательство теорем, и можно сказать, что контрольная Яндекса — это попытка ещё раз доказать теорему о необходимости математики в повседневной жизни.
