Mark's blog

Переживаю за выборы ИИ.

Мой любимый GPT 5.5 OpenAI закрывает 14 октября, и я не знаю, на что его заменить. 5.6 Sol просто говно, постоянно нарушает требования и не подходит для долгосрочной работы в моем харнессе. 6 Astra неплоха, но кусается по цене.

Надеюсь, до 14 октября OpenAI выпустит свой 6 Sol, который уже слили в твиттере, и он будет хорошим, иначе я переложу $200 в ещё одну подписку на Claude. Время пошло, Альтман.

Недавно при заказе еды в Glovo задела глаз плашка с обновленным ETA.

Оказывается, можно честно пользователю сказать, что мы продолбались и вот новое время, а не пытаться его газлайтить, просто заменяя время в приложении на новое, как делает Yandex Eats!

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

Я думаю такими темпами OpenAI ещё успеет независимо изобрести и представить свой Gram Wallet раньше Дурова.

Эта история не была бы такой интересной без ещё одного факта: математик Tristan Buckmaster (NYU), работающий вместе с Levent Alpöge (Anthropic) над смежной задачей, утверждает, что OpenAI скопировала их решение.

Они использовали в своей работе Claude и Codex, и ещё до анонса OpenAI получили сильный неопубликованный результат.

По официальной версии OpenAI, ни исследователи, ни агенты якобы не видели работу Buckmaster-Alpöge и не использовали логи их чатов. Правда, не отрицается возможность обучения модели на этих логах.

Buckmaster также утверждает, что в переговорах компания предлагала ему опубликовать свой анонс первым, но с исключением коллеги из Anthropic из соавторов. OpenAI публично это отрицает.

Подробнее позиции обеих сторон можно почитать тут.

OpenAI опубликовала доказательство решения одной из семи задач тысячелетия, за решение каждой из которых объявлено вознаграждение $1M

https://openai.com/index/navier-stokes-solution/

Считать задачу однозначно решённой пока рано, публикации всего день, и независимого консенсуса математиков, что проблема решена, пока нет.

В репозитории на GitHub опубликована формализация задачи и решение в Lean — инструменте для формальной верификации. Основных вариантов, куда могла закрасться ошибка, два.

1⃣ Во-первых, это корректность формализации условия задачи. Тут OpenAI взяла уже существующую формализацию для контрпримеров C и D из проекта Google DeepMind formal-conjectures. Впрочем, миссформализация здесь все ещё возможна, и именно ее отсутствие сейчас придется доказать кожаным.

2⃣ Во-вторых, это корректность самого процесса верификации. Например, совсем недавно в Lean нашли баг, позволяющий показать принять ложное доказательство, баг исправлен в версии 4.32.2. OpenAI использует версию 4.34.0-rc2. Также в конфигурации используется параметр "enable_nanoda": true, то есть пруф должен приниматься не только стандартным ядром Lean, но и nanoda, независимой реализацией этого ядра на Rust (кстати, тот самый баг затрагивал только классическую реализацию). То есть OpenAI следует золотым стандартам и использует связку Comparator + внешние чекеры, что в том числе защищает от наличия бага в одной из имплементаций ядра.

Сегодня важный национальный праздник. 250 лет назад, 4 июля 1776 года, в Филадельфии была принята Декларация независимости США, с чем я поздравляю своих американских подписчиков (такие есть?) и всех, кто пользуется американским интернетом, нейросетями, техникой или иным способом связан с этой величайшей в современной истории страной. Happy Independence Day! 🇺🇸🦅

Исторически юбилейные Дни независимости никогда не проходили спокойно. Это всегда попытка разных политических сил ответить на вопрос что такое Америка сейчас? Поэтому 250-летие любопытно разобрать не только как расписание салютов: кто говорит от имени всей страны и что при этом происходит с институтами.

Невольно проводится параллель с Никсоном. В 1970-м США были разорваны Вьетнамом: война шла годами, держалась на призыве и всё хуже объяснялась обществу. Никсон обещал «мир с честью», но расширил боевые действия на Камбоджу — и государство, говоря о порядке, само производило всё больше насилия, секретности и хаоса. Потом был скандал Watergate: люди, связанные с кампанией Никсона, вломились в штаб демократов, а администрация пыталась скрыть следы, давила на расследование и использовала госаппарат как политический инструмент. В итоге Никсон стал единственным президентом США, ушедшим в отставку, потому что система всё-таки оказалась сильнее него.

Через шесть лет 200-летие независимости Форд проводил уже после этих болезненных событий, но выбрал противоположную механику. Были большие символические события вроде Operation Sail, но общий фокус был не на президентском шоу, а на стране как множестве местных сообществ: городских парадах, пикниках, концертах, школьных и муниципальных праздниках. По сравнению с Никсоном у Форда была удивительно скромная мысль: страна существует не только как декорация для президентского бренда.

Сегодня Трамп = антиконституционность Никсона и масштаб Форда. Он берёт у Никсона схему «настоящая Америка — это те, кто со мной», а у Форда — юбилейный масштаб и право говорить от имени всей страны. Его America 250 устроена не как национальный праздник, а как личная сцена. Основные события программы устроены так же: Salute to America прямо анонсируется как программа, которую возглавит Трамп, а прямо перед «World’s Largest Fireworks Display» стоит его выступление.

Никсон был чудовищен, но он проиграл институтам. Трамп опаснее: после попытки отменить выборы 2020 года он не ушёл на политическую обочину, а вернулся как центр власти. В политику вернулась идея, что проигранные выборы можно не признавать, суды и прессу можно объявлять врагами, а государственный праздник — превращать в личный митинг. В текущем сроке мы видим еще более вопиющие решения как во внешней (нарушение базовых принципов международного права с Венесуэлой, нарушение Устава ООН и финансирование военных преступлений Израиля на миллиарды долларов из кармана американских налогоплательщиков), так и внутренней (террор ICE против мигрантов и даже граждан США, инсайдерская торговля его семьей) политике.

Похоже, на 250-летний юбилей Штатам не повезло с event-менеджером. Захавает ли это народ? Что ж, в Вашингтоне сейчас 17:00, так что скоро узнаем.

Откуда такая стрессоустойчивость? Все просто, ребята. Каждый день по 10 часов мне приходится разговаривать с женщиной Codex.

Вот ещё веселая история про мои приключения в Тбилиси.

В аэропорту ко мне безо всяких обещаний с моей стороны приклеивается таксист: идёт со мной до камеры хранения в другом терминале, ждёт, пока обменник отправит деньги на карту, предлагает экскурсию, отели и весь традиционный скамерский комплект.

ChatGPT подсказывает мне отель, и я, сдавшись, соглашаюсь поехать туда с этим таксистом, договорившись на берегу о стоимости 15-20 лари ($7.5) за всю поездку. Яндекс Go показывал цену в 22 лари, так что договоренность выглядела реалистично.

Через 40 минут приехали, и таксист достаёт мне свой "таксометр" — приложение на телефоне с ценой 450 лари ($170). Он, радостно улыбаясь, ждёт наличные и даже говорит, что сделает мне скидку и цена составит 400 лари ($150). Я ответил, что заплачу, сколько договаривались, и пошел к банкомату снимать деньги.

Таксист пошел вместе со мной, и после открытия экрана выбора суммы он сбоку ткнул кнопку на моем банкомате — выдача максимальной суммы, 400 лари (вот так совпадение). Помогло, что я успел отменить операцию, а банкомат не успел выдать деньги, иначе бы, скорее всего, он меня просто ограбил и уехал с деньгами.

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

Особенно весело было, когда он заговорил о том, как сейчас вызовет полицию и меня депортируют на войну в Украину.

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

Все это время люди проходили мимо, некоторые останавливались, говорили по-грузински с таксистом и требовали с меня оплату. Особенно забавно вышло с грузинской пенсионеркой, которая требовала от меня заплатить ему сумму, снизившуюся на этом моменте до 200 лари ($75). На мой вопрос, какая у нее пенсия, она сказала, что 500 лари ($190), но это не имеет значения...

Приезжает полиция — два человека, оба не говорят по-русски, только один говорит по-английски. Описали ситуацию. Позиция полиции: вот таксист тебе предлагает сделку, плати ему 100 лари ($38) и по домам, либо в участок писать заяву, но это 8 часов времени минимум на investigation и прочее. И вообще решай быстрее, у нас нет времени, нам дальше ехать надо, давай депай сотку.

Тратить 8 часов на investigation и прочее с учётом всего одного дня транзита в стране не хотелось. Предложил таксисту 50 лари ($19). Сказал, что у меня обменные билеты и я ради принципа посажу его в тюрьму, если он откажется. Это его не сильно впечатлило, но сильно впечатлило что-то, что добавили полицейские по-грузински, когда увидели, как он отказывается. После этого подписали какую-то мировую на грузинском, и я пошел к банкомату снимать деньги, пока полиция стояла рядом с таксистом.

По итогу снял и всучил ему 40 лари ($15). По его поведению я догадался, что можно продавить и что после подписанной бумажки и в присутствии полиции выделываться ради 10 лари он не будет.

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

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

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

Недавно во время перелёта из страны А в страну Б удалось транзитом на один день попасть в 🇬🇪 Грузию — решил взять билеты так, чтобы захватить ещё одну страну (НЕ В ЭТОМ СМЫСЛЕ).

Летел без каких-либо особых ожиданий и был шокирован красотой, которая мне открылась.

Горы с канаткой, тифлисские серные бани в районе Абанотубани (говорят, даже некий кент Александр Сергеевич Пушкин заценил их во время путешествий по Кавказу — я, кстати, тоже их заценил, отличное завершение дня), сохранённый в малейших деталях старый город, который сочетается с футуристичными постройками, типа моста Мира, зелёные парки. На любой улице можно свернуть в сторону и попасть в скрытое подпространство с кучей баров и световым оформлением.

Я думаю, Тбилиси однозначно самый гулябельный и один из самых красивых городов, которые я посещал.

Даже фотки скинуть не могу, это было бы преступлением против красоты города — камера Pixel 6 спустя 3 года уже очень плохо передаёт виды через ночную съёмку( Но немного все равно скину.