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

Лагонаки be like. Красота же!

Второй день в Москве тружусь (не покладая рук, конечно) готовясь ко дню первокурсникиа 31-го августа, первой лекции первого сентября и дружеской лекции 1-го же сентября в школе "Интеллектуал". Ну а вернулся я из Адыгеи. Не с пьянки, или похода, как ошибочно можно подумать, а из командировки. Но и в командировке есть место подвигам и всякому веселью. Самым эпичным оказался совместный с НиколайАндреичем (у него на канале, кстати, и про более сурьёзные итоги есть — к нам аж телевидение приезжало!) выезд на плато Лагонаки с выгулом моноколес (см. следующий пост с видео). Другие выезды оказались задокумнтированы хуже 😊 А еще я раздлолбай и потерял на Лагонаки свой телефон, поэтому шикарное видео где профессор Коргин рассекает по вершине горы Абадзеш (и многие другие фото и видео) безвозвратно утрачены 😞 Ну тем больше причин вернуться и повторить. А еще надеюсь, что в следующий раз мы доедем до инструкторской щели и озера Псенодах. Из проблем: чуть не спалил себе контроллер на колесе (заезжая в 90-метровую крутую горку) и жутко перегрелся (ну это я умею). А в остальном было весело! Будем повторять 😊 Впереди — осень. Любимое время года.

Вернулся из Китая. Что могу сказать: кормят вкусно и недорого (дуриан — вещь!), Великая Китайская стена — красиво и, кстати, вполне спортивно: наборы высоты там вполне себе. Ну и жарко. Конференция по неассоциативным алгебрам была хороша (ради неё всё и затевалось). Хороший итог: в голову пришли всякие содержательные мысли. Из плохого, помимо одурительной жары: толпы вахтёров и очереди. В Запретный город, к примеру, я не попал, потому как сломался через 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» — Андроник Арамович Арутюнов, «Геометрию» — Андрей Владимирович Ершов, «Введение в современную математику» — Андрей Дмитриевич Рябичев. При составлении программ мы старались избежать лишних повторов и выстроить курсы так, чтобы они дополняли друг друга — как это получилось, вы можете проследить в таблице-календаре семестра. Помимо этого, будущим ВШМятам рекомендуется посещать курсы алгебры и геометрии осеннего семестра в НМУ. «Введение в современную математику» — поддерживающий курс: он охватывает материал, знакомый сильным выпускникам математических школ, но не входящий в стандартную школьную программу. Сильным студентам мы готовы засчитать его автоматически — по их желанию (подкрепленному результатом маленького теста). Помимо лекционных курсов, для младшекурсников будет работать ориентационный семинар «Современная математика» (мы писали о нем раньше), рекомендованный для первого курса и обязательный для второго. На нем будут выступать математики, работающие в разных областях нашей науки, и рассказывать о том, как она устроена сегодня.

⚡️международный рекорд по сборке мегаминкса побит! Один из подходов на видео, и на соседнем -- запутывание. Результат 9.6 секунд. До этого известный результат 8 минут :-) Поздравляю команду starkit и Илью Осокина. И немножко горжусь что причастен :-) на днях будут хорошие видео и официальная новость. Такие дела:-)

О некорректных задачах. В кои-то веки посмотрел ролик по элементарной геометрии от Бори Трушина. Думаю, кто это, подписчикам объяснять не надо. Составители (задача с ЕГЭ) облажались в классическом месте: дали посчитать некий угол (что делается просто), но забыли, что конструкция невозможна: описанную в условии конструкцию нельзя реализовать в евклидовой геометрии. Сразу уточню, что это именно баг, а не фича. Формат ЕГЭ не предполагает ответа типа «конструкция невозможна». Это, кстати, одна из проблем формата, ну да ладно. На этот счёт расскажу аналогичный случай, который был много лет назад в МГУ. На геологическом факультете вступительные экзамены составлял мехмат. И фиг знает почему, но много лет там было соревнование по стереометрии среди составителей. Весь вариант был «обычным», а в последней стереометрии народ «отрывался». К слову, для получения отлично решать её было не надо: это была 6-я задача, а отлично ставили за 5 или даже за 4 задачи. Ну, абитуриенты, собственно, её и не решали. В тот год (по легенде) задачу составлял Бахвалов. Накрутил там какую-то хитрую конструкцию со сферой, как-то там вписанной между чем-то и чем-то. Ну и вопрос был: найти объём сферы. Тут поясню, что сфера — граница шара, но не сам шар. Так что объём сферы, строго говоря, равен нулю (для любой сферы). Заметил эту лажу один из экзаменаторов во время самого экзамена. Приёмная комиссия срочно начала думать, что делать, если кто-нибудь, не читая всего остального условия, напишет, что объём — ноль. Решили: ставить отлично и брать на мехмат. Но никто из абитуриентов так и не решился. Байка это или нет, не знаю. Но боюсь, что абитуриент, который напишет в качестве решения задачи из ЕГЭ, что конструкция невозможна, получит чистый минус. Шоб не умничал. А я бы такого абитуриента с радостью зачислил к нам на ВШМ или любой другой матфак без всех остальных экзаменов. Потому что это, кажется, единственный вопрос на ЕГЭ, который действительно относится к математике.