матеМатика и шаХматы

Кажется, что скоро мат станет шахом.
компьютер вмешивается. шахматисты уже спортсмены, а не творцы.
а математики? тоже спортс-мены? только за мелкий прайс. или что-то большее???

то, что теоремы будут доказываться быстрей, это ясно, однако
не станет ли это бизнесом? не получится ли так, что если ранее матьматкой
(как и шахматами) занимались вполне приличные люди, из хороших семей,
веселые, тонкие, можно сказать художественные натуры, философы в некотором
роде.. то скоро будет как в шахматах, = придет пора уродов: ну можно взглянуть
ну топ-гроссов, они ведь уроды.. после Фишера, Фишер еще живой,  немного того,
но живой (вечно живой, ага).. а потом корчной-карпов-каспаров-крамник-ананд-карлсон..
это ведь уроды, в худшем смысле, нравственно художественные инвалиды... коммерсанты.
и выглядят как уроды.
математика отстает еще, но наверстает.  теорема фритца 24 с глубиной 20 перестановок.
и не будет счастья. только комфорт.
и не будет радости. только удовлетворение.
и не будет жизни. только расчет.
и поэзии не будет
и слов не будет.   в статьях.  только формулы.
и читателей не будет. только машины.