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

Еще греки говорили, что во время олимпиады воевать не комильфо. Не портьте праздник! Но готовиться никто не запрещал...

Олимпиада в Пекине 2008 -- Грузия.
Зимняя олимпиада в Сочи 2014 -- Крын.
Зимняя олмпиада в Пекине 2022 -- Украина.
Зимняя олмпиада в Милане 2026 -- Иран.

P.S. Наверное, тайваньцам следует быть максимально готовыми до лета 2028. Даже при том, что по статистике зимние олимпиады в три раза хуже.

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

-1. Пару месяцев один проект занес меня в смежную область, где возник конкретный вопрос -- наверняка не сложный, но нестандартный. Такое могло все же быть в каком-то курсе по локальной теории полей классов (как упражнение), и для поиска я спросил грока и гпт (самые простые версии). Оба долго несли пургу, признавали ошибки, и опять повторяли пургу, а в конце я предложил свою догадку из серии "хотелось бы", и гпт признал ее верной, а грок не признал, но по неверным причинам. Короче, я решил, что толку от ИИ пока ноль.

Вопрос же был найти композит максимальных абелевых расширений всех трех квадратичных расширений Q_p (для нечетного простого). Мне бы хотелось получить, что группа галуа -- более менее совпадает с (проконечным пополнением) мультипликативной группы алгебры кватернионов над Q_p, но на самом деле это слишком некоммутативно, а (с точностью до групп порядка два и четыре) получается пополнение мультипликативной группы, но для коммутативной алгебры размерности четыре над Q_p -- композита этих трех квадратичных расширений (очевидный ответ, который я проглядел).

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

а) В тот день я вначале дал домашний экзамен по коммутативной алгебре (на две недели). Некоторые задачи там довольно стандартны, но все записаны мной с нуля, без терминологии, так чтобы студенты не могли найти их в литературе. Это был маленько перебор, некоторые бедолаги написали больше 20 страниц (там был комплекс Кошуля над полиномами -- докажите точность, используйте, чтобы посчитать какой-то Tor, постройте sheafification -- опять же определение пучка давалось в задаче как какое-то свойство, термин не использовался, а было и менее стандартное). Джемини решил все и легко.

б) Ок, как поисковик он уже доказал себя чуть более, чем полностью -- расшифровал, что дано в формулах, и нашел ссылки. Тогда я дал ему бонусные задачи на Галуа (все сформулированы мной, а не взяты откуда-то, некоторые совсем нестандартные, студенты решают очень плохо). Опять же, решил все (в одной напортачил, но доделал со второго раза). Включая задачку о том, сколько есть разных групп галуа из 81 элемента у полиномов степени 9 и 10.

в) Ладно, говорю, раз ты такой умный, давай займемся ресерчем. Выбрал свой проект, где определяется новый алгебраический инвариант, причем вообще не ожидали, что нечто такое может существовать. Нигде не записано, кроме моего компа -- там полстатьи, что-то записано, что-то в голове, что-то я ожидаю, но еще не доделал. Короче, найти ему это негде.

Определи-ка, говорю, инвариант (группу, модуль, что сможешь), который меряет вот это. Конечно, это он не может, предлагает какую-то мелочевку из литературы. Ладно, говорю, давай посмотрим на простую аналогию с пополнением, а тепрь мы хотим аналогично, но вот в этой ситуации. Тут еще, как мне кажется, становится важно, использовать хорошее лингивстическое объяснение, которе и человеческой интуиции помогает... Да говорит, точно, это отвечает таким-то точкам (нашел ссылки на статьи по области), но складывать можно только на одном радиусе. Ок, говорю, а градуированно? Да, точно, можно определить градуированный модуль! Кстати, в этот момент, он уже до моих статей докопался, и заодно сообщил мне, что экзамен, с которого мы начали, писал тот же автор... Ладно говорю, а еще один шажок -- если характеристика положительная, есть еще структуры? Да, говорит, Фробениус действует. Получаются модулж над скрученными фробениусом полиномами.

Дальше я его просил какие-то базисные свойства доказывать. Там, где я уже разобрался, и подвел его небольшими шагами, он справился. Там, где я еще сам не до конца, он мне ничего нового не нашел, и чем дальше, тем больше абстрактных слов и меньше конкретики. Но в том, где я разобрался, его пиком была предложенная схема доказательства, которую он разбил на три леммы - в точности, как у меня записано (самая нетривиальная доказана им чуток по-другому). Но самая потеха в том, что при этом он заявил, что ну это стандартный результат в литературе, ищи у ФК и у.. меня. У ФК, как я уже писал, ничего такого нет, а у меня только в черновике... Не смог все-таки от обычных ИИ глюков избавиться до конца.

г) Пока я бы определил уровень таким образом. Иногда по схватыванию материала и идей, если хорошо объясняешь, уже очень силен -- студент будет понимать намного хуже и дольше, скорее, как сильный коллега. Статьи находит по теме, по мере рязвития треда и учитывает. На маленьких шагах может доказать лемму, посчитать какой-то комплекс/группу (задачу из -1 он решил с подказкой), дать напрашивающееся определение, и т.д. И, конечно, записать это латехом. Много шагов сам сделать не может. И вообще надо очень хорошо понимать, куда его гонишь. Ну и чем дольше тред, тем больше пусть и маленьких шагов ты с ним сделал, тем хуже -- больше абстрактных слов, ничем необоснованных догадок и меньше конкретики. Видимо, ему не с чем больше сравнить, кроме этого треда, обобщенное знание перестает работать.

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

Черножопые крышу дают реально, а мусора просто деньги тянут. Чтоб на стрелку поехали, надо все сапоги им вылизать. Но грохнуть могут те и эти. А мусора, между прочем, особенно. Как они на меня сегодня наехали... В. Пелевин, "Generation П".

Ликуд, ну это такое... Несколько свежих примеров. С одной стороны, зашкварных, а с другой стороны, к этой тефлоновой партии никакой зашквар не прилипает, т.к. единственное зашкварное действие в головах ее избирателей -- проголосовать не за ликуд.

1. Приехавшего Модю обслужили по полной программе. Точнее, использовали на бибкины нужды, включая самые мелкие. Испортили визит в кнессет своими антиконституционными дрязгами с багацем, заставили ждать в кнессете полчаса перед ужином (бибка сказал, что задержится на три минуты), привели вместо борова обосракия ведьму на фотосессию с Модей, скинув ей 20 лет фотожопом, пририсовали бибке 20см, оставив Модю гномом рядом с ним и, главное, на ужине к ним неожиданно присоединлся... яирка выблядок. На слухи о том, что Моди, мягко говоря, очень недоволен тем, что вместо секретных бесед по делу, он служил пиарфоном молодому дегенерату, бибкина контора ответила, что напротив, Моди был очень рад.

Все это, наверняка, делалось только чтобы ебнутые ведьма с чадом убедились, что бибка делает все возможное, чтобы выблядка в новые цари пропихнуть, и не пилили его дома (а, тем более, не били). Другого объяснения всему этому хамству нет.

2. Кошерное мороженное. Герцлия всегда была светской. Побаловали и хватит. После серии актов вандализма мороженное, работавшее по субботам, закрылось. Один раз поймали исполнителей -- два арса, один -- сын видного ликудного функционера, и четырежды сидевшего мафионера. Очень влиятельного в Герцлии, с ним министр юстиции любит щелкаться. Чуваков отпустили, суда пока нет, хотя и камера все сняла, и все дела.

Запомните, ликуд в последние 20 лет, когда бибка окреп, -- партия уголовников и партия ползучего религиозного диктата. Какой бы херни бобруйцы не вешали с фотками из некошерного магазина. Если они удержат власть, то снимут последние противовесы, и недалек день, когда ликудные братки, при полном бездействии министров полиции и юстиции, придут и в этот магазин. И уж точно никакой бобруец не выползет его защищать. Просто будет рассказывать, что нет проблем на кипр за колбасой сгонять, и фотки оттуда вешать.

3. Ликудный павиан расист амсалем жжет. Оказывается, "не все ашкеназы -- расисты, но почти все расисты -- ашкеназы". А не то, что вам казалось по отношению этих павианов к новоприбывшим. Да и к русским в ликуде -- тоже. Заодно, павиан сказал, что бибка мало назначил френков министров (я не буду считать, но это нетрудно), и что "министр почты" им не подходит, надо что-то важное, типа минфина. Пусти павиана не в огород, а в кладовку, как говорится... Особо доставило про почту -- перед тем как ее полностью убить ликудное ворье назначило туда что-то типа 9 зам директоров. Покормиться с дохнущего животного, пока не поздно...

Кстати, для вас бобруйцы, примите валидол и читайте дальше -- еще, тов амсалем в первый раз честно нзавал своих "людьми арабской культуры с еврейскими ценностями". А бобруйцы русской культуры со свиными ценностями у них годятся только сортиры мыть. И, кстати, когда и если власть будет у амсалемов плотно, вопросом о том, почему хорошую зарплату в универе получает какой-то такой понаех, а не социально близкий, они тоже зададутся. Они ж не расисты. Это только вопрос культуры и ценностей.

P.S. Раввинатский беспредел. В дополнение новость не напрямую про ликуд, но при их гениальном правлении. Раввинат признал некошерным смотрозвонское молоко через полгода после завоза. При том, что оттуда и так всем отстегнули -- оно было одобрено домом батьки овадьи. Шас снял с завоза все... Но кому-то еще не занесли. Может, тем самым ашкеназам...

Говоря языком понятных аналогий, мы дожили до такой беспредельной ситуации, когда в бизнес приходит каждый бандюк и берет за крышу, не предоставляя взамен никакой охраны. А менты не только отсутствуют и ни разу не мешают, но еще требуют свою долю, после того, как братки забрали свою. В точности по эпиграфу. В такой ситуации бизнес долго не живет. И всем этим мы обязаны исключительно ликуду, его партнерам и лично трижды проклятому бибке.

Upd. Жена рыжевого будет председательствовать в оон. Наша ведьма, небось, и себе и муженьку все волосы повыдирает. Пора открывать тотализатор с вопросом, на каком форуме мы увидим ведьму председательшей в ближайшие полгода.