«Математика важна для всех областей человеческой деятельности и для любой науки, потому что она позволяет обобщить полученные наблюдения и вывести закономерность. Чем взрослее и совершеннее наука, тем выше роль математики в успехе. Сейчас, когда машинное обучение и, в частности, нейронные сети, применяются повсеместно, эта роль особенно заметна. Для создания системы автоматического перевода необязательно в совершенстве знать языки — более того, их можно вообще не знать. Для создания программы, которая обыгрывает человека в го, не нужно быть сильным игроком. В скором будущем беспилотные автомобили будут программировать люди, которые вообще никогда в жизни не садились за руль. И всё это благодаря математике. Когда программа обыгрывает человека, это не победа компьютера над человеком. Можно сказать, что это победа человека, который использует математику больше, над человеком, который использует её меньше или не использует вовсе», — говорит Александр Крайнов, руководитель службы компьютерного зрения Яндекса.

Первую контрольную «Что и требовалось доказать», которая состоялась в 2015 году, написали 12,6 тысячи человек, а в прошлом году участников было уже в два раза больше. Со второй контрольной справились примерно 60% участников: на тройку её решили 27,9%, на четвёрку — 18,9%, 13,4% получили пятёрку. Среди российских городов-миллионников лучший результат в 2016 году показал Нижний Новгород — там оказалось больше всего отличников.