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


Гео и язык канала: Россия, Русский
Категория: Блоги


Математика, туризм, политота и профсоюзы
Чятек @forodirchTALKS
Обратная связь через личные сообщения каналу
Буст https://t.me/boost/forodirchNEWS

Связанные каналы  |  Похожие каналы

Гео и язык канала
Россия, Русский
Категория
Блоги
Статистика
Фильтр публикаций


Вернулся из Китая. Что могу сказать: кормят вкусно и недорого (дуриан — вещь!), Великая Китайская стена — красиво и, кстати, вполне спортивно: наборы высоты там вполне себе. Ну и жарко.

Конференция по неассоциативным алгебрам была хороша (ради неё всё и затевалось). Хороший итог: в голову пришли всякие содержательные мысли.

Из плохого, помимо одурительной жары: толпы вахтёров и очереди. В Запретный город, к примеру, я не попал, потому как сломался через 2 часа стояния на жаре с видом на продолжение очереди. Ну и в целом, честно говоря, «не моё это».

Ну и немного фоточек attached.

Впереди -- Адыгея.

1.6k 0 12 21 55

К давешнему опросу. У нас случилось чудо: 300 спартанцев храбрых человек прибежало и за 10 минут проголосовало "как надо". Получился идеальная картинка "аномального голосования", хоть в лекцию по электоралной статистике на теорвере вставляй.

Получается два незапланированных вывода. Первый: выборы настолько важны, что даже не очень большом (хоть и влиятельном 😊) паблике необходимо подкручивать голоса. Второй: если фальсификации имеют структуру вброса, то есть вы уверены, что бюллетень отданный за кандидата X останется таковым при подсчёте, то голосование имеет смысл.

Впрочем мне было больше интересно другое: как в заведомо критически настроенной аудитории (то есть среди вас дорогие подписчики) распределены симпатии между яблоком, кпрф и новыми людьми. Оказывается, что яблоко имеет большую поддержку, чем я ожидал. Интересно.

Буду ли я голосовать, и если да то за кого — вопрос для меня открытый.

Впрочем, я с 2011 года участвовал как наблюдатель в десятке "электоральных процедур", да и вообще за политикой слежу. Про Яблоко я могу гадостей наговорить поболее многих, но если уровень поддержки у них будет такой же, весьма вероятно, что зажав нос я проголосую за них. По крайней мере подумаю об этом 😊

Штош, берегите себя. Думаю что к электоральной теме мы еще вернёмся 😊

3.3k 0 115 97 97

Как будете голосовать на выборах в Госдуму?
Опрос
  •   Единая Россия
  •   КПРФ
  •   Яблоко
  •   Новые люди
  •   ЛДПР
  •   Справедливая Россия
  •   Испорчу бюллетень
  •   Не пойду
1351 голосов


Вернулся туда, где был: на Алатау (Казахстан). Из-за поломанной руки и перебоев в наших пенатах с горючим некоторые летние планы — пришлось подвергнуть корректировке. И в результате у меня тут выпала условно свободная неделя под поход. Погулял по ущелью Горельник и его окрестностям, а также сходил на Бутаковский водопад.

Организм осознал, что спокойного восстановления конечности не будет, и, хоть и попытался устроить бунт в формате перегрева и лёгкого теплового удара в первый день, но всё же вёл себя прилично.

Ну, а в последние два дня посетил местные бары (кстати, один из них, French, попал в топ-50 по миру). Свёл знакомство с одним из барменов, который, как оказалось, окончил соседнюю 192-ю школу. Когда Овчинников стал директором Л2Ш, туда ушло много преподавателей, которые и у меня вели занятия. С некоторыми из них, кстати, до сих пор поддерживаю тёплые отношения.

Ну, а с Ниязом мы повспоминали дорогих преподавателей и общий позитивный школьный бэкграунд. Сошлись на том, что в школе нам повезло с учителями: они не только обучили наукам, но и дали хорошую жизненную базу в ценностном плане. То, чего школьникам часто не хватает: почему-то разговоры о важном эту проблему не решают.

Штош! Лето продолжается: следующая географическая остановка — Китай.

А вы как лето проводите?




Гипотеза якобиана, я так понимаю, всё. Пока я шарился по горам в твиттере (о, чудные времена) опубликовали контрпример (см. тут), который может перепроверить всякий желающий. Надобно сказать 2 вещи.

1. По всей видимости ИИ, будучи оснащенным грамотным белковым оператором (как в данном случае, и в случае недавно решенной гипотезы Эрдеша) в состоянии строить очень сложные контрпримеры, которые не доступны обычному человеку.
2. Заметного продвижения в том, чтобы ИИ научился прям доказывать нетривиальные утверждения я не вижу (пока). Но вероятно скоро увижу 🙂

Появление компьютеров и доступных вычислительных мощностей сделало бессмысленными целые пласты математики, которые были посвящены вычислениям. Сначала решать алгебраическое уравнение в квадратура стало бессмысленно, проще найти решение с любой точностью "силовыми методами". Сейчас решить дифур проще "силовыми методами", чем искать его явное решение (которого скорее всего нет). Это не обеднило математику, скорее наоборот.

Теперь, надо думать, с появлением ИИ в прошлое отойдут и многие другие разделы куски математики связанные с теорией графов, комбинаторикой и прочей комбинаторной геометрией. Ну, если честно, туда и дорога.

Для математики en mass ничего не меняется. Очень редко бывают содержательные вопросы, в которых на самом деле надо или опровергнуть или доказать некое явное утверждение. Куда чаще в математике вопросы ставятся в формулировке "как связано A и Б" или "можно ли дать описание факта С в терминах D" и так далее. Короче, когда у тебя (меня) есть конкретное утверждение, его обычно доказать легко и без ИИ. А вот сформулировать то самое утверждение — требует не только знания, но и чувства красоты и чувства "полезности" которого ИИ (при всем моем к нему уважении) покамест лишен.

Да, в ближайшее время ИИ начнет по заданным параметрам (грубо говоря аксиоматике) выдавать тонны верных утверждений. Но они будут в основном бессмысленны. Загляните в любой посредственный журнал: они уже сотню лет забиты подобными верными и бесполезными утверждениями "об одном свойстве одного решения одного уравнения". Ну теперь такую работу "плохого математика" сможет делать ИИ. Плохо ли это? Не знаю, время покажет.

#AI

Upd: поправили меня, остался случай n=2. Ну вот и славно:-)


Вот и обещанный выше план лекций в ВШМ, причём не только по алгебре.

Сделали, кстати, уникальную вещь: понедельный (хоть и примерный) план лекций, и при составлении программы учли много вещей по части синхронизации.

Сдается мне, что мы единственный матфак в РФ, на котором заморочились до такой степени. Ну да ладно:-)


Репост из: ВШМ МФТИ
План лекций осеннего семестра I курса ВШМ

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

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

При составлении программ мы старались избежать лишних повторов и выстроить курсы так, чтобы они дополняли друг друга — как это получилось, вы можете проследить в таблице-календаре семестра. Помимо этого, будущим ВШМятам рекомендуется посещать курсы алгебры и геометрии осеннего семестра в НМУ.

«Введение в современную математику» — поддерживающий курс: он охватывает материал, знакомый сильным выпускникам математических школ, но не входящий в стандартную школьную программу. Сильным студентам мы готовы засчитать его автоматически — по их желанию (подкрепленному результатом маленького теста).

Помимо лекционных курсов, для младшекурсников будет работать ориентационный семинар «Современная математика» (мы писали о нем раньше), рекомендованный для первого курса и обязательный для второго. На нем будут выступать математики, работающие в разных областях нашей науки, и рассказывать о том, как она устроена сегодня.

3.1k 0 45 95 24


Показано 9 последних публикаций.