Пушка | Передний край науки и технологий

Математик и инженер Анатолий Воробей (в ЖЖ avva) пишет: На случай, если вы не в курсе, что происходит с математикой, и хотите знать, вот несколько отрывков за последние дни. Пишет польский математик-тополог Анджей Козловски: "[...] недавно мы написали статью, в которой решили две давно стоявшие открытые задачи. Я дал её ChatGPT и попросил проверить математическую корректность... Он сказал примерно следующее: к сожалению, доказательство вашей второй теоремы неверно.... оказался прав. Приём, который он использовал, был весьма неочевидным. Так что одна из двух решённых нами задач снова стала открытой. Половину статьи пришлось выбросить. Но и это ещё не всё. Вчера соавтор прислал доказательство интересного примера, который хочет добавить в уже сокращённую статью. Я показал его ChatGPT. Ответ был таким: доказательство неверно — по таким-то и таким-то причинам. К счастью, сам результат верен, и вот как его доказать... У меня ощущение, что он уже более сильный алгебраический тополог, чем мы. За одним исключением: задачи ему приходится придумывать нам — собственных интересов и идей у него нет. Кроме того, находить пробелы в рассуждениях он, похоже, умеет куда лучше, чем их исправлять, — хотя последний пример показывает, что и это ему по силам. Меня самого всё это очень воодушевляет. Но, разумеется, рады этому далеко не все." Пишут прикладные математики Алекс Таунсенд и Энн Гринбаум: "30 июля 2026 года первый автор попросил ChatGPT 5.6 решить гипотезу Крузе (Crouzeix) — как он часто делал на протяжении предыдущего года. До того дня модель либо выдавала фиктивное доказательство, либо строила рассуждение, которое застревало на недостающей лемме. Но 30 июля она дала ссылку на препринт, выложенный 27 июля... и заявила, что гипотеза решена. Гипотеза Крузе оставалась открытой больше двух десятилетий, поэтому поначалу мы читали препринт с известной долей скепсиса, но через несколько часов поняли: рассуждение — настоящее. Автор препринта — д-р Шаньму Цзинь, постдок и резидент по нейрохирургии в больнице при Пекинском объединённом медицинском колледже. В университете он изучал геологию, позднее получил степень доктора медицины. Цзинь рассказал нам, что ключевой результат возник в ходе примерно шестнадцатичасового автономного прогона GPT-5.6 Sol в режиме ChatGPT Work. Читая препринт, мы были ошеломлены доказательством этой решающей теоремы.... Всякий, кто в последнее время работал с ChatGPT 5.6 над математикой, не мог не заметить, насколько поразительно вырос его уровень за последние несколько недель... 4 августа — всего через восемь дней после появления первого препринта Цзиня — Эмиль Лорист и Феликс Швеннингер выложили независимое доказательство на пяти страницах... Их рассуждение устроено иначе и поразительно коротко... Лорист и Швеннингер также сообщают, что использовали ChatGPT 5.6 для исследования стратегий доказательства... Поразительно осознавать, что давнюю гипотезу первым решил человек без специальной математической подготовки, работая с большой языковой моделью. Ещё несколько лет назад трудно было вообразить, что система ИИ внесёт решающую идею в доказательство крупной гипотезы. Теперь это произошло в нашей области." Пишет Миша Вербицкий: "Один коллега (очень хороший алгебраический геометр) предает проклятию любую исследовательскую деятельность с употреблением LLM... Другой коллега (тоже очень хороший алгебраический геометр) публикует по 10 статей в месяц, написанных LLM, с комментарием в абстракте: "Главный результат этой статьи был получен с помощью генеративного ИИ, а именно ChatGPT 5.5 Pro"... В последние недели 2-3 свершилась типа революция, LLM открывает одна за другой потрясающие математические результаты, хотя пока в основном конрпримеры. Не комбинаторику ебаную, не второкультурное ебаное говно, а реально математику. Думаю что таки мы все в скором времени будем юзать AI бесперерывно. Хотя заказывать LLM писать мои статьи я все-таки не хочу, есть риск увлечься, утерять адекватность и начать массово производить ужасное говно."

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

Может, оно никому и не надо: возможность узнать любые подробности про исследования из роликов (те, что по ссылкам в описании), вникнуть в первоисточники, даже если не знаешь, как в них разобраться... Но я всегда хотел, чтобы такая возможность у вас была. Потому что всегда хотелось делать нечто большее, чем просто ролики. Теперь у вас она есть: https://t.me/tolma4_bot Познание — всем и каждому (бесплатно, без смс, регистрации, рекламы). Это чисто образовательно-просветительский инструмент для всех подписчиков SciOne. Спрашивайте у Толмача всё, что осталось непонятным после ролика, или заинтересовало и хотелось узнать больше. Задавайте самые глупые вопросы, все равно глупых вопросов не бывает, и получите точные и понятные ответы по ПЕРВОИСТОЧНИКАМ научных статей и книг, а не по сценарию ролика (но про него тоже можно спросить, его тоже подгружаем) Пока только по ПЯТИ последним роликам. И дальше добавляем материалы каждого нового выпуска. "Зачем, если могу то же самое початить с ДЖПТ?" Не можете, потому что: 1. У ДЖПТ и прочих нет доступа к большинству научных статей и книг. Они продаются. Или надо собирать по йохохо местам, если повезет, что кто-то вообще выложил. Мы материалы уже собрали и загрузили в хранилище бота, и он отвечает только по ним. Без придумывания, галлюцинаций и ограничений контекстного окна. 2. Но даже если вы собрали материалы сами, то чат с ДЖПТ вместит ну 200 тыс токенов (3-4 не самые крупные научные статьи), а еще же ваши вопросы и его ответы, они тоже съедают окно вменяемости. Так что очень скоро ДЖПТ начнет бредить, выдавать фантазии или просто не видеть бОльшую часть материала из статей. Наш бот сверхточен и сверхнадежен по работе с исходным материалом по меркам индустрии. Потому что у него под капотом — отдельно выстроенная инфраструктура с целой связкой проприетарных решений, про что отдельно потом расскажу. То есть сначала создавалась она, а уж потом бот. Он просто одно из ее применений. Тот случай, когда не стыдно из пушки по воробушку. У бота есть косметические недочеты в формате ответов (ребята чинят), но это не касается их сути. Пользуйтесь на здоровье и если какие баги, пишите, пожалуйста сюда: https://t.me/upgraide_community/2 А пожелания, идеи и предложения по улучшениям — лучше в чате канала Пушки. P.S. Толмач — потому что переводчик, в исходном и широком смысле слова, тот, кто делает понятным чужое и непонятное.

Игра воображения, математического и физического, очень увлекательная. Надеюсь, передастся и вам. Приятного просмотра! https://www.youtube.com/watch?v=brYyY4Gjx9w

Уф https://www.youtube.com/watch?v=hJPmqYhiKhU

Кажется, нет смысла в чате при канале. Три дня нам на размышления, а потом, если не будет достаточных аргументов за его сохранение, закроем. Одна головная боль, претензии и срачики. Вместо бессмысленной модерации лучше силы и нервы посвятить созданию, а не Авгиевым конюшням. На вопрос: научный же чат, почему нет науки. Повторяем: чат — это то, что создается вами, минус то, что доходят руки удалить, потому что оскорбления и выяснения отношений. Все, что хотим создавать и чем хотим делиться, выкладываем здесь в постах (+дублируем текстовые версии роликов на substack) и на канале на Ютубе.

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

Что общего между картошкой и спутником? И причем тут новые формы жизни? Знатоки, кто посмотрел новый выпуск напомнили про классику. Но поймут только те, кто смотрел выпуск, даже если не знатоки) https://youtu.be/kG7SJh4KkB0 А вот сам выпуск: https://youtu.be/DE7cg8mYvqE

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

Новый ролик в формате, простите, который мне больше нравится, чем дайджесты, можно побольше рассказать, получше вникнуть и заметить материал, мимо которого в дайджесте волей-неволей проходишь, потому что хронометраж поджимает, потому что тема начинает давить остальные в общей структуре Пушки. В общем, приятного просмотра) Если ещё не видели на Ютубе, а тут и текстовая версия

👊 VPN, созданный для тебя 👊 GnuVPN работает в обход белых списков, не режет скорость и не считает трафик. А благодаря раздельному туннелированию банки и госсервисы открываются как обычно. 5 устройств и полный безлимит за 360 ₽/мес. 💜Бесперебойная работа Telegram 💜YouTube и Instagram работают 💜Звонки в WhatsApp без обрывов На выбор более 1000 серверов в 55+ странах⤵️ 🦄 7 дней бесплатно → gnu.team

Поразительный прогресс, но... Вот про эти разные "но" получилась в этот раз Пушка Техно https://youtu.be/1Fh1-shmRX0 📰 Текстовая версия

Я посмотрел полнометражный ИИ-фильм в кинотеатре. Ниже мои впечатления. Дисклеймер. 90-минутный фильм называется Hell Grind, сделали его мастера дерзкого маркетинга Higgsfield, между прочим первый казахстанский единорог (оценка >$1,3 млрд). Режиссер и сценарист: Айторе Жолдаскали и Адильхан Ержанов (двукратный участник основной программы Каннского фестиваля так-то). Весь продакшн занял 14 дней, бюджет 500K долларов. В субботу в московском кинотеатре Октябрь Higgsfield AI собрали студентов и выпускников киношкол, различных ИИ-спецов, чтобы буквально захантить их на работу в новый ИИ-Голливуд. И показали им (нам), как тот будет выглядеть. Теперь к впечатлениям в коротких заметках. Впечатления: 1️⃣. Фильм повествует о лучших друзьях-грабителях, выросших в одном детском доме. Чуть Arcane вайбы. 2️⃣. Сразу бросается в глаза, что женские персонажи более дженериковые и искусственные. Главная босиха мутантов — скучная версия Шарлиз Терон, хотя две родинки над губой, это прекрасная деталь. 3️⃣. Лучшая сцена, как ни удивительно, это комедийный экшн в Тибете, где герои получают люлей от малышей-монахов; взрывают статую Будды, перед этим извинившись перед ней; сражаются с огромным каменным титаном: в эти моменты забываешь, что это нейронка — будто бы смотришь Uncharted или любой другой легкий стриминговый блокбастер. 4️⃣. Боевая сцена на минут 15 в конце — тоже супер, главный герой (спрятавшись в красные доспехи) отбивается от армии зомби. Увлекательно, даже боевая хореография имеется. 5️⃣. Сценарий, конечно, полная шляпа. Но, при этом, после просмотра эссе Патрика Виллемса Why Is Every Streaming Blockbuster So Bad?, у меня нет ощущения, что это шляпа из-за ИИ. Ощущение, что это буквально фильм формата Electric State, Bright, Fountain of Youth, Red Notice — то есть запредельно дорогих максимально продюсерских приключенческих фильмов от Netflix. 6️⃣. Только вот задача у Hell Grind другая — кроме того, что, как и в Netflix-экшнах, тут надо постоянно развлекать зрителя, у нейрокино от Higgsfield задача показать полный спектр — за 90 минут мы видим фэнтези, драму с мелодрамой, киберпанк в Гонконге, хоррор в японском лесу, эпический экшн в заснеженном поле. Короче, это буквально — смотрите, что мы умеем. Сценарий — это промо стартапа. 7️⃣. Интересно, как одновременно это нейрокино похоже на Netflix своей дженериковостью — идеальными персонажами, комфортным ритмом, универсальным приключено-боевиковым жанром, и в то же время на японское и корейское кино — демоны, жестокость, преувеличенные эмоции. 8️⃣. Главный вопрос: работают ли эмоции? На уровне — грустные дети-сироты или воспоминания главного героя — вообще, да. Абсолютно никаких вопросов. На уровне — главный герой убивает своих друзей — вообще никак. Но, что становится ясно, дело — в сценарии. 9️⃣. А какие тут шикарные финальные титры. Вывод. Я увидел средний Netflix-блокбастер. И это, если честно, меня абсолютно убедило в том, что ИИ-кино на подходе. Вообще никаких сомнений. Вопросы у меня были не к картинке, не к эмоциям персонажей, а конкретно и только к сценарию. Нет абсолютно никаких проблем сделать качественное кино с помощью нейросетей и оно точно будет. Это возможно. Да, конечно, я и так это понимал, но сейчас увидел своими глазами. Я выходил из кинозала и ощущал будущее кинематографа. Так что ждем. 2027 — будет годом не одного и не двух нейроблокбастеров (и нескольких инди-проектов или драм тоже). И, скорее всего, стриминги, как только смогут, подхватят эту возможность. Потратить 300 миллионов долларов или 5 миллионов, из которых на продакшн уйдет 500к? Ответ очевиден. P.S. А в воскресенье мы с женой Сашей посмотрели «Танцующие под дождем» 1952 года — мюзикл о появлении звукового кино: страхах индустрии, падении актеров немого кино, большой революции в Голливуде. Не планировали, так совпало. P.P.S. Higgsfield также выложили 20-минутный перемонтированный кусочек фильма, посмотреть можно тут, но мои пиратские экранки передают то самое ощущение из кинозала (жаль, тибетскую сцену со статуей Будды не снял).

Тем, кто не спит

Новый выпуск Безумных научных идей. Сегодня про идею живого неживого и неживого живого. https://youtu.be/Ws6Opg41oD4 Текстовая версия выпуска Еще интересно, у вас проигрывается внутри Телеграма видео с Ютуба? Кажется, это избавило от необходимости грузить ролик файлом. А вот с аудиоверсиями я даже не знаю, очень много отсылок к тому, что показываем на экране, что это должно быть, наверное, обидно слушать, посмотреть-то не можешь. Не знаю, напишите, кто все же слушает. ✦ ✦ ✦ ✦ ✦ ✦ ✦ ✦ 🫰 Все способы поддержать нас | Доступ к Пушке Плюс