На определенном этапе в мозгу происходит какое-то переключение, tipping point между доказыванием теорем и написанием Гутнико-ботов. По сути, и там и там мы используем одни и те же методы. Но пока человек не увидит 5-10-15 примеров того, как эти методы могут быть полезны в жизни и какие реальные проблемы могут решать, он просто не понимает, где и как это использовать. Все, чот ему остается, - доказывать теоремы.

Ну, и поскольку доказывать их он прекращает, как только выпускается из универа, и за пару лет полностью забывает, то цена такого образования в сухом остатке - 30-60 учебных часов. Это то, что мы помним из КПИшных курсов лет через 5 после окончания.

Так что эти курсы для меня стали настоящим спасением. Помимо того, что они реально прокачивают меня как аналитика, они дают какую-то надежду на то, что у меня таки получится сдать GRE Computer Science и поучиться в каком-нибудь этом их стэнфорде взаправду.