925
Записки о математической жизни Чат: https://t.me/joinchat/BCSdHVP_gcngjmzOTrQ96g
Мне теория представлений нравится тем, что на любой наивный вопрос «а так вот бывает?» будет, как правило, ответ «да, но…». При этом это уже где-то лет минимум 30 назад было написано, но на таком языке, что без поллитры не разберешься
Читать полностью…
https://www.reddit.com/r/unitedairlines/comments/1tse6mq/ua_flight_turn_bluetooth_off_or_were_turning/
Вчера, пока я летел сюда, читал Реддит - и там была вот такая загадочная история про самолеты, и я за ней следил в прямом эфире.
Примерно через час после взлёта самолета бортпроводники несколько раз потребовали немедленно выключить Bluetooth на всех устройствах. В итоге командир сообщал, что раз два Bluetooth-устройства остаются активными, то они возвращаются обратно. По прибытии самолёт не поставили к обычному гейту: его окружили аварийные службы.
Неофициально потом люди на реддите выяснили, в чем скорее всего причина: Bluetooth-динамик (или другое устройство) с названием «bomb»...
https://scottaaronson.blog/?p=9782
Хорошее, ну и да, как-то неуютно становится от этих роботов
Такую цитату от него не слышал, но оставлю здесь на память
Читать полностью…
Ну вот а свежий тизер к GPT-5.6 уже скорее всего можно — OpenAI выпустили блогпост, статью и комментарии от математиков о решении одной из самых известных задач в комбинаторной геометрии, которую легко сформулировать, но невероятно трудно решить. На протяжении почти 80 лет математики изучали обманчиво простой вопрос: если расположить n точек на плоскости, сколько пар точек могут находиться на расстоянии ровно 1 друг от друга?
Со времен оригинальной постановки проблемы преобладало мнение, что конструкции в виде «квадратной сетки» были оптимальными для максимизации числа пар. Внутренняя модель OpenAI опровергла эту гипотезу, предоставив бесконечное семейство примеров, которые дают улучшение. Доказательство было проверено группой независимых математиков. Они также написали сопроводительную статью, объясняющую логику решения и предоставляющую дополнительную предысторию и контекст о значимости этого результата.
Как и почти всегда, доказательство было получено с помощью новой модели общего назначения, обладающей способностью к рассуждениям, а не от системы, обученной специально для математики или под конкретную задачу (поэтому я пошутил про GPT-5.6).
Это доказательство является важной вехой для сообществ математиков. Это первый случай, когда значимая открытая проблема, занимающая центральное место в одном из разделов математики, была автономно решена искусственным интеллектом.
В этом доказательстве для решения элементарной геометрической задачи применяются неожиданные и сложные идеи из алгебраической теории чисел. Лауреат Филдсовской премии Timothy Gowers в сопроводительной статье называет этот результат «вехой для ИИ в математике». По словам другого математика, «эта статья демонстрирует, что современные ИИ-модели — это нечто большее, чем просто помощники для людей-математиков. Они способны генерировать оригинальные, гениальные идеи и затем доводить их реализацию до конца».
Пара опрошенных учёных даже сказали, что приняли бы эту работу в любой научный журнал без колебаний.
Бонусом показали, что результат — не случайность; после проверки первоначального доказательства OpenAI прогнали модель несколько раз с разными настройками. И видно, что при увеличении количества использованных мощностей (читай длины цепочек рассуждений) модель всё чаще и чаще приходит к доказательству, вплоть до 48% от всех прогонов (см. картинку ниже).
На соавторов тоже вроде распространяется. Так что вектор атаки понятен - создаем анонима, ставим бигшотов в соавторы, сабмитим слоп, наслаждаемся реакцией
Читать полностью…
Антарктический лёд оказался своеобразным архивом путешествия Солнечной системы через межзвёздное пространство. В новом исследовании, опубликованном в журнале Physical Review Letters, учёные продемонстрировали способ, которым можно отследить движение Солнечной системы сквозь межзвёздную среду за последние 80 000 лет. И сделали они это, исследуя не космос, а ледяной панцирь южного континента.
В настоящее время Солнечная система движется через область межзвёздного пространства, известную как Местное межзвёздное облако (Local Interstellar Cloud). Это одна из примерно пятнадцати газо-пылевых структур в окрестностях нашего региона Млечного Пути. Учёные предполагают, что все они связаны со вспышками древних сверхновых.
Когда массивные звёзды в конце своей жизни взрываются как сверхновые, в космос выбрасываются редкие изотопы химических элементов, которые затем становятся межзвёздной пылью. Эти мельчайшие частицы вещества могут дрейфовать по галактике миллионы лет, иногда попадая и на Землю. Один из таких следов древних звёздных катастроф - изотоп железа-60.
Период полураспада железа-60 составляет около 2,6 миллиона лет. Это означает, что весь изотоп, существовавший ещё во времена формирования Земли, давно распался. Поэтому любое обнаруженное сегодня железо-60 должно иметь относительно недавнее космическое происхождение.
И вот здесь очень пригодился ледяной покров Антарктиды. Её снег накапливается медленно и остаётся практически нетронутым, образуя слоистую летопись, простирающуюся на десятки тысяч лет в прошлое. Каждый слой сохраняет состав вещества, присутствовавшего в атмосфере в тот момент, часть которого имеет космическое происхождение.
В 2019 году исследователи обнаружили железо-60 в относительно свежем антарктическом снегу. Тогда возникло предположение, что Земля в настоящий момент проходит через облако космической пыли, обогащённое остатками древних сверхновых.
Чтобы это проверить, учёные проанализировали ледяной керн массой около 300 килограммов, датируемый периодом от 40 000 до 80 000 лет назад. Весь лёд растопили и подвергли химической обработке, чтобы выделить мельчайшие количества железа, включая железо-60. Затем с помощью масс-спектрометрии исследователи буквально подсчитывали отдельные атомы железа-60.
Новые результаты оказались неожиданными. В древнем льду концентрация железа-60 оказалась заметно ниже, чем ожидалось. Это означает, что десятки тысяч лет назад на Землю попадало меньше межзвёздной пыли, чем сегодня.
По мнению исследователей, подобные изменения могут быть связаны с неоднородной структурой Местного межзвёздного облака. Солнечная система, вероятно, сначала проходила через более разрежённую область, а затем вошла в более плотную часть облака, через которую движется сейчас.
Подобные исследования позволяют изучать историю ближайшего межзвёздного окружения Солнечной системы буквально по следам космической пыли, сохранившейся в антарктическом льду.
Если вы попали в место, где люди носят немного приоткрытые ноуты в руках или просто оставляют ноут приоткрытыми на столах – вы в хорошем месте, держитесь его 😊
Читать полностью…
Очередная supply-chain атака с компрометацией 84 пакетных артефактов в пространстве имён TanStack на npm, с расширением атаки до 416 артефактов на npm и PyPI — среди пострадавших OpenSearch, Mistral AI, Guardrails AI и UiPath. Вредоносные версии содержат обфусцированный файл router_init.js, который похищает учётные данные из GitHub Actions, AWS, Vault и Kubernetes, а также самостоятельно публикует заражённые версии других пакетов в реестр.
TanStack сообщил, что токены npm не были похищены, и это не опровержение, а описание нового вектора. Платформа npm поддерживает публикацию через OIDC-федерацию, которая специально разработана для того, чтобы избавиться от долгоживущих секретов: вместо хранимого токена CI-ранер запрашивает краткосрочный JWT в момент публикации. Если атакующий получает выполнение кода в рамках рабочего процесса — даже в фазе тестирования или очистки — он может запросить этот токен легитимно. После публикации вредоносный пакет дополнительно получает валидную Sigstore-аттестацию, то есть отображает badge «verified provenance», который большинство инструментов расценивает как сигнал доверия.
Кстати, сегодня же попалась любопытная утилита от Эндрю Несбитта — прокси, который запускается локально, кэширует пакеты и переписывает метаданные пакетов на себя, после чего ваша разработка обращается только к ней. Одним из применений автор видит как раз защиту от supply-chain атак, посколько переписать можно все метаданные и применить cooldown — задержку в обновлении на несколько дней, например. Раз большинство атак ловится за первые несколько дней, тут мы имеем практическое применение принципа "Ставим только первый сервиспак".
https://socket.dev/blog/tanstack-npm-packages-compromised-mini-shai-hulud-supply-chain-attack
Зря голосовали, получается. Ну и идем дальше к авторитаризму, понятное дело
Читать полностью…
Вот пишет студент домашку, дедлайн через минут 10, а половина не готова. Что делать?
Есть выход!
https://corrupt-a-file.net/
Сервис сломает ваш файл, и его будет невозможно открыть!
Получив вопрос от профессора, что за фигня с файлом, уже можно будет отправить готовый файл.
Да, а ещё я не проверял, может тот сайт сажает в файлы вирус - так что пользуйтесь на свой страх и риск.
Интересна альтернатива - а ллмка будет сотрудничать в этом, и сможет ли сломать вам файл?
https://wen-ware.com/
Геогессер с историей!
(Показывает ИИ-сгенерированную картинку исторического события, и надо угадать, где и когда)
На этой неделе впервые с начала донатной компании «Медиазоны» количество наших подписчиков опустилось ниже 5 000 — необходимого минимума, чтобы редакция продолжила работу в прежнем режиме. Хотим сказать большое спасибо журналисту Дмитрию Колезеву, который в тот день сделал пост с просьбой донатить нам <3
«Медиазона» существует благодаря вашей поддержке. Год назад вы помогли спасти редакцию и не допустить дальнейших сокращений. Сейчас нам очень важно сохранить 5 000 ежемесячных доноров.
Если у вас есть возможность, пожалуйста, подпишитесь на донаты редакции: donate.zona.media
https://www.reddit.com/r/unitedairlines/comments/1ttczl1/do_the_parents_on_the_bluetooth_kid_get_a_fine/
Апдейт: блютус-динамик сам назывался "bomb", и соответственно блютус-название было... дефолтным.
Вот мануал нашли даже
UPD: Это все неофициально и не подтверждено, что именно этот динамик полетел на самолете. Но такой динамик существует!
Продолжаем резать курицу, несущую золотые яйца
https://www.federalregister.gov/documents/2026/05/29/2026-10817/regulation-for-federal-financial-assistance
https://elizabethginexi.substack.com/p/summary-of-key-changes-in-ombs-proposed
Например, предлагается
costs for attending conferences are allowable only if participation in the conference is expressly approved by the agency and included in the terms and conditions of the award. The revision would clarify that recipients are not authorized to attend conferences using Federal funds that do not serve to advance program outcomes.
То есть, все конференции на всех этапах гранта должны быть вписаны в заявку.
Какие же сказочные долбоебы
Так, ну короче, нам (математикам) если не крышка, то как-то неуютно становится.
Точнее так, с роботами я чувствую силы производить в 5 раз больше математики, качество понимания которой будет раза в 1.5-2 хуже. Но не уверен, что это того стоит. А вот молодежи-таки крышка:(
"Attention arXiv authors: Our Code of Conduct states that by signing your name as an author of a paper, each author takes full responsibility for all its contents, irrespective of how the contents were generated.
If generative AI tools generate inappropriate language, plagiarized content, biased content, errors, mistakes, incorrect references, or misleading content, and that output is included in scientific works, it is the responsibility of the author(s).
We have recently clarified our penalties for this. If a submission contains incontrovertible evidence that the authors did not check the results of LLM generation, this means we can't trust anything in the paper.
The penalty is a 1-year ban from arXiv followed by the requirement that subsequent arXiv submissions must first be accepted at a reputable peer-reviewed venue.
Examples of incontrovertible evidence: hallucinated references, meta-comments from the LLM ("here is a 200 word summary; would you like me to make any changes?"; "the data in this table is illustrative, fill it in with the real numbers from your experiments")."
https://xcancel.com/tdietterich/status/2055000956144935055
(А в твиттере как обычно уже токсичат, что детектор AI-слопа ненадежный, и также что это будет использоваться для затыкания тех, кто институционально непривилегированный, ну на то это и твиттер)
Если вы такие же борзые, как я, но так же офигеваете от подобных новостей - попросите своего ИИ-агента настроить 7-дневный карантин и фиксацию версий в качестве хотя бы минимальной защиты от supply-chain risks
Читать полностью…
https://www.youtube.com/live/tN4hsT5t0nw?si=ZLI-BjzKE4dFxqf5
(Тао на 1ч45мин)
⚡️⚡️⚡️Верховный суд Вирджинии признал незаконным референдум, отдавший демократам 4 дополнительных округа на выборах в Палату представителей. На выборах 2026 года будет использоваться карта с 6 относительно «синими» и 5 «красными» округами.
Просто кошмарная неделя для демократов в джерримендеринговых войнах: сначала Callais и его последствия на Юге США, а теперь и главное достижение — Вирджиния — оказывается отменено судебной системой штата.
https://www.youtube.com/live/11hNLzelkDI?si=Ou_ZHNmIg0ESpcsD&t=3725
Что-то повещал сегодня (ссылка с таймкодом, первую половину там не я).
Ну и посмотрите ближе к концу, как надо слайды делать в 2026 году.
Интересно, кто же будет следующим главой нашего матфака?
Читать полностью…