Кофейный теоретик

Вернулся из Китая. Что могу сказать: кормят вкусно и недорого (дуриан — вещь!), Великая Китайская стена — красиво и, кстати, вполне спортивно: наборы высоты там вполне себе. Ну и жарко. Конференция по неассоциативным алгебрам была хороша (ради неё всё и затевалось). Хороший итог: в голову пришли всякие содержательные мысли. Из плохого, помимо одурительной жары: толпы вахтёров и очереди. В Запретный город, к примеру, я не попал, потому как сломался через 2 часа стояния на жаре с видом на продолжение очереди. Ну и в целом, честно говоря, «не моё это». Ну и немного фоточек attached. Впереди -- Адыгея.

К давешнему опросу. У нас случилось чудо: 300 спартанцев храбрых человек прибежало и за 10 минут проголосовало "как надо". Получился идеальная картинка "аномального голосования", хоть в лекцию по электоралной статистике на теорвере вставляй. Получается два незапланированных вывода. Первый: выборы настолько важны, что даже не очень большом (хоть и влиятельном 😊) паблике необходимо подкручивать голоса. Второй: если фальсификации имеют структуру вброса, то есть вы уверены, что бюллетень отданный за кандидата X останется таковым при подсчёте, то голосование имеет смысл. Впрочем мне было больше интересно другое: как в заведомо критически настроенной аудитории (то есть среди вас дорогие подписчики) распределены симпатии между яблоком, кпрф и новыми людьми. Оказывается, что яблоко имеет большую поддержку, чем я ожидал. Интересно. Буду ли я голосовать, и если да то за кого — вопрос для меня открытый. Впрочем, я с 2011 года участвовал как наблюдатель в десятке "электоральных процедур", да и вообще за политикой слежу. Про Яблоко я могу гадостей наговорить поболее многих, но если уровень поддержки у них будет такой же, весьма вероятно, что зажав нос я проголосую за них. По крайней мере подумаю об этом 😊 Штош, берегите себя. Думаю что к электоральной теме мы еще вернёмся 😊

Вернулся туда, где был: на Алатау (Казахстан). Из-за поломанной руки и перебоев в наших пенатах с горючим некоторые летние планы — пришлось подвергнуть корректировке. И в результате у меня тут выпала условно свободная неделя под поход. Погулял по ущелью Горельник и его окрестностям, а также сходил на Бутаковский водопад. Организм осознал, что спокойного восстановления конечности не будет, и, хоть и попытался устроить бунт в формате перегрева и лёгкого теплового удара в первый день, но всё же вёл себя прилично. Ну, а в последние два дня посетил местные бары (кстати, один из них, French, попал в топ-50 по миру). Свёл знакомство с одним из барменов, который, как оказалось, окончил соседнюю 192-ю школу. Когда Овчинников стал директором Л2Ш, туда ушло много преподавателей, которые и у меня вели занятия. С некоторыми из них, кстати, до сих пор поддерживаю тёплые отношения. Ну, а с Ниязом мы повспоминали дорогих преподавателей и общий позитивный школьный бэкграунд. Сошлись на том, что в школе нам повезло с учителями: они не только обучили наукам, но и дали хорошую жизненную базу в ценностном плане. То, чего школьникам часто не хватает: почему-то разговоры о важном эту проблему не решают. Штош! Лето продолжается: следующая географическая остановка — Китай. А вы как лето проводите?

Гипотеза якобиана, я так понимаю, всё. Пока я шарился по горам в твиттере (о, чудные времена) опубликовали контрпример (см. тут), который может перепроверить всякий желающий. Надобно сказать 2 вещи. 1. По всей видимости ИИ, будучи оснащенным грамотным белковым оператором (как в данном случае, и в случае недавно решенной гипотезы Эрдеша) в состоянии строить очень сложные контрпримеры, которые не доступны обычному человеку. 2. Заметного продвижения в том, чтобы ИИ научился прям доказывать нетривиальные утверждения я не вижу (пока). Но вероятно скоро увижу 🙂 Появление компьютеров и доступных вычислительных мощностей сделало бессмысленными целые пласты математики, которые были посвящены вычислениям. Сначала решать алгебраическое уравнение в квадратура стало бессмысленно, проще найти решение с любой точностью "силовыми методами". Сейчас решить дифур проще "силовыми методами", чем искать его явное решение (которого скорее всего нет). Это не обеднило математику, скорее наоборот. Теперь, надо думать, с появлением ИИ в прошлое отойдут и многие другие разделы куски математики связанные с теорией графов, комбинаторикой и прочей комбинаторной геометрией. Ну, если честно, туда и дорога. Для математики en mass ничего не меняется. Очень редко бывают содержательные вопросы, в которых на самом деле надо или опровергнуть или доказать некое явное утверждение. Куда чаще в математике вопросы ставятся в формулировке "как связано A и Б" или "можно ли дать описание факта С в терминах D" и так далее. Короче, когда у тебя (меня) есть конкретное утверждение, его обычно доказать легко и без ИИ. А вот сформулировать то самое утверждение — требует не только знания, но и чувства красоты и чувства "полезности" которого ИИ (при всем моем к нему уважении) покамест лишен. Да, в ближайшее время ИИ начнет по заданным параметрам (грубо говоря аксиоматике) выдавать тонны верных утверждений. Но они будут в основном бессмысленны. Загляните в любой посредственный журнал: они уже сотню лет забиты подобными верными и бесполезными утверждениями "об одном свойстве одного решения одного уравнения". Ну теперь такую работу "плохого математика" сможет делать ИИ. Плохо ли это? Не знаю, время покажет. #AI Upd: поправили меня, остался случай n=2. Ну вот и славно:-)

План лекций осеннего семестра I курса ВШМ Собеседования с поступающими на Физтех — в полном разгаре, и сейчас самое время абитуриентам принимать решение о выборе места учебы. Если вам интересно, что будет ждать студентов ВШМ на новой шестилетней программе…

План лекций осеннего семестра I курса ВШМ Собеседования с поступающими на Физтех — в полном разгаре, и сейчас самое время абитуриентам принимать решение о выборе места учебы. Если вам интересно, что будет ждать студентов ВШМ на новой шестилетней программе базового высшего образования в «пилотном проекте» — мы подготовили подробный понедельный план лекций следующего года. В осеннем семестре у студентов ВШМ будет четыре математических курса. «Математический анализ 1» будет читать Станислав Валерьевич Шапошников (лекции в НМУ), «Алгебру 1» — Андроник Арамович Арутюнов, «Геометрию» — Андрей Владимирович Ершов, «Введение в современную математику» — Андрей Дмитриевич Рябичев. При составлении программ мы старались избежать лишних повторов и выстроить курсы так, чтобы они дополняли друг друга — как это получилось, вы можете проследить в таблице-календаре семестра. Помимо этого, будущим ВШМятам рекомендуется посещать курсы алгебры и геометрии осеннего семестра в НМУ. «Введение в современную математику» — поддерживающий курс: он охватывает материал, знакомый сильным выпускникам математических школ, но не входящий в стандартную школьную программу. Сильным студентам мы готовы засчитать его автоматически — по их желанию (подкрепленному результатом маленького теста). Помимо лекционных курсов, для младшекурсников будет работать ориентационный семинар «Современная математика» (мы писали о нем раньше), рекомендованный для первого курса и обязательный для второго. На нем будут выступать математики, работающие в разных областях нашей науки, и рассказывать о том, как она устроена сегодня.