секта

Сейчас уже редко бывает, чтобы когда самолет, возвращаясь в Израиль, коснулся земли, и прошел рев первого быстрого торможения, чтобы тогда почти все пассажиры захлопали в ладоши. Собственно вообще по-моему не бывает, в последние годы не замечал; но небольшая волна аплодисментов все же осталась. Ее начинает кто-то из небольшой упорной секты аплодисментщиков-зачинателей, подхватывают еще 5, 10, 20 пассажиров, которые обрадовались, что кто-то вспомнил, но она не набирает критической массы и секунд через 5 затухает.

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

Я в этой секте.

конкурс решения-2026

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

Организатор этого конкурса Паз Эйнат недавно разослал условия предварительного, четвертьфинального тура конкурса-2026. Это устроено так: если из двух задач четвертьфинала решаешь одну, проходишь в полуфинал, если в нем попадаешь в топ-50 или набираешь 50% возможных очков, проходишь в финал. На эти два этапа решения принимаются просто по мейлу, на честное слово (можно открыть шахматный движок, но зачем?). На финал приглашают приехать всех и играть лично.

Вот ссылка на условие четвертьфинала, для тех израильских читателей, кто может быть захочет поучаствовать - я очень рекомендую. А сюда выложу одну из 2 задач этого четвертьфинала, уж очень она мне понравилась. Белые ходят и ставят мат в два хода. Очень красивое решение!!!



(давайте постараемся хотя бы первые несколько часов скрывать варианты ответов под спойлером, если вы хотите их предложить; а если хотите сами решить, и тем более участвовать в конкурсе, не заглядывайте в комментарии)

очередной ллм-психоз

Сегодня в твиттере драма, чувак в прошлом из Deepmind (сегодня CEO стартапа) заявил, что он с помощью LLM решил две супер-знаменитые математические задачи, и представит формальное доказательство (т.е. 100%-ная достоверность) одной из них, об уравнениях Навье-Стокса, сегодня. Он заключил несколько пари на десятки тысяч долларов на эту тему.

Очередной пример LLM-психоза, который поражает и очень умных людей, если они очень хотят во что-то поверить. LLM подстраиваются под ваши желания, "признают свои ошибки" там, где это вам удобно, строят именно такой нарратив, который вы хотите от них получить. Они как "cold readers" - фокусники, которые рассказывают вам о вас самих, используя крохотные подсказки вашего body language, начиная и тут же меняя версии, если они не подходят, итд. Если вы не умеете беспощадно проверять LLM на каждом шагу, не доверяйте никаким их подтверждениям ваших умопостроений. Никогда. Очень прошу вас.

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