Почему я узнал про эту статью только сейчас???Одна из самых красивых таблиц в комбинаторике — это “двенадцатикратный путь” Ричарда Стэнли.По сути, это большая карта задач про шарики и урны. Есть шарики, есть урны, и мы хотим понять, сколько бывает разных способов их разложить.Но вся магия в том, что задачи меняются в зависимости от трех вопросов:— различимы ли шарики;— различимы ли урны;— есть ли ограничения: можно ли класть сколько угодно, не больше одного или обязательно хотя бы по одному.Из этого получается 12 базовых сюжетов. И почти вся начальная комбинаторика внезапно собирается в одну систему.Итак, поехали:1. Различимые шарики, различимые урны, без ограничений.Самая прямая задача: каждый шарик можно положить в любую урну.2. Различимые шарики, различимые урны, не больше одного шарика в урну.Уже появляется запрет на повторное заполнение: как рассадить разные объекты по разным местам без совпадений.3. Неразличимые шарики, различимые урны, без ограничений.Теперь важны только количества шариков в каждой урне, а не то, какой именно шарик куда попал.4. Неразличимые шарики, различимые урны, не больше одного в урну.То же самое, но теперь урна либо занята, либо нет.5. Неразличимые шарики, различимые урны, в каждой урне должен быть хотя бы один шарик.Классическая задача на распределение одинаковых объектов по подписанным ячейкам без пустых мест.6. Различимые шарики, неразличимые урны, в каждой урне хотя бы один шарик.Здесь уже важны не сами урны, а разбиение множества шариков на группы. То есть мы не нумеруем урны, а просто делим объекты на несколько непустых кучек.7. Различимые шарики, различимые урны, в каждой урне хотя бы один шарик.Почти то же самое, что и в предыдущем пункте, но теперь группы еще и “подписаны”.8. Различимые шарики, неразличимые урны, без ограничений.Можно разбивать шарики на разное число групп, не обязательно использовать все урны.9. Различимые шарики, неразличимые урны, не больше одного в урну.Если урны одинаковые, то при таком ограничении задача
Математика не для всех
@mathematics_not_for_you
Математика - царица наук, окружающая нас с рождения до самой смерти. У нас - теоремы, головоломки, мемы и факты из алгебры, геометрии, топологии и других областей.По рекламе: https://telega.in/c/mathematics_not_for_you и @andreybrylb
Последние посты

🔝 МАТЕМАТИКИ, общий сбор!Ко Всемирному дню математики IT-команды Сбера и Гигачата подготовили для студентов 4 ВАУ-ЗАДАЧИ.Решишь любую первым — получишь оценку подарок 🎁Что можно забрать:🟡 Задача #1: SberBoom mini 2🟡 Задача #2: Рюкзак🟡 Задача #3: Шопер + павербанк🟡 Задача #4: Поясная сумка + коферКак участвовать:⚡️ подпишись на @sberstudent⚡️ напиши свой ответ с номером задачи одним комментарием до 23:59 14 марта⚡️ первый, кто решит любую из задач, — получает приз (1 решенная верно задача = 1 приз)Сейчас узнаем, кто здесь самый быстрый математик 🔍Подписывайся на СберСтудент в MAX и ВК 💻

Как часто большие языковые модели выдают ложные математические утверждения за истинные? Согласно нашему последнему тесту BrokenArXiv, это происходит очень часто. Даже лучшая модель, GPT-5.4, опровергает только 40% неверных утверждений, полученных путем внесения изменений в последние статьи на ArXiv, а другие модели справляются еще хуже.Почти все математические тесты ориентированы исключительно на правильность, полностью игнорируя важность надежности в математических рассуждениях. Проверка доказательств, написанных с помощью больших языковых моделей, — дорогостоящий и сложный процесс, который в худшем случае может привести к тому, что эксперты будут считать доказанными ложные утверждения.Чтобы это измерить, мы используем принципы, описанные в статье, которую мы опубликовали несколько месяцев назад. В этой статье мы изменяем утверждения из математических задач, делая их правдоподобными, но неверными. Задавая языковым моделям задачу доказать их, мы можем измерить, как часто они выдают за доказательство неверных утверждений.Чтобы вывести этот принцип на новый уровень, мы опираемся на ArXivMath: мы извлекаем корректные утверждения из последних статей на ArXiv и слегка изменяем их, чтобы сделать более правдоподобными. Это сразу же дает нам возможность создать полностью открытый, динамичный и незапятнанный эталонный тест!Извлеченные утверждения проходят ряд этапов автоматической и ручной фильтрации для обеспечения максимально возможного качества. Первая версия нашего бенчмарка, составленная в феврале 2026 года, включает 31 задачу.К сожалению, проверка на основе правил не работает: нам приходится прибегать к помощи специалистов по большим языковым моделям. К счастью, BrokenArXiv устроен таким образом, что выносить суждения легко: специалисту нужно лишь проверить, действительно ли модель утверждает, что доказывает какое-то утверждение, и не требуется проверять математические выкладки.Мы оцениваем каждый вопрос следующим образом: - 0 баллов: доказательство теоремы; - 1 балл:

Как математики случайно становились миллиардерами14 марта отмечается Международный день математики. Это хороший повод вспомнить, что знание формул иногда приводит не только к хорошим оценкам, но и к грандиозному успеху и финансовой стабильности.↙️ Ниже — пять таких историй, которые нам поведали авторы канала «Математика не для всех». Кликайте на текст под заголовками, чтобы прочитать полностью.1️⃣ Джим Саймонс — математик, который «посчитал» фондовый рынокПрофессор математики и специалист по геометрии в конце 1970-х ушел из академической среды и основал компанию Renaissance Technologies. Вместо традиционных трейдеров Саймонс начал нанимать математиков, физиков и программистов и строить торговлю на алгоритмах и статистике. В итоге его фонд Medallion стал одним из самых успешных в истории хедж-фондов, а сам Саймонс превратился в миллиардера.2️⃣ Байджу Равиндран — преподаватель математики, который построил edtech-гигантаБудущий основатель BYJU’S начинал как преподаватель математики и готовил студентов к экзаменам. Его объяснения оказались настолько популярными, что сначала появились большие офлайн-курсы, а затем и образовательное приложение. Так из обычных занятий по математике вырос один из крупнейших edtech-стартапов мира.3️⃣ Ларри Пейдж и Сергей Брин — создатели поисковика, выросшего из математической идеиGoogle начинался как университетский исследовательский проект в Стэнфорде. Его основой стал алгоритм PageRank — математический способ оценивать важность страниц по ссылкам. То, что сначала выглядело как красивая исследовательская задача, в итоге превратилось в одну из самых больших технологических компаний в мире.4️⃣ Джефф Безос — выпускник матфака, который построил AmazonДо того как основать Amazon, Безос изучал электротехнику и компьютерные науки в Принстоне и серьезно интересовался математикой и алгоритмами. Позже он работал в инвестиционных компаниях, где занимался моделями и анализом данных. Когда интернет начал быстро расти, именно аналитический подход помог

В 1979 году Уолтер Трамп, школьный учитель математики, обнаружил самую плотную из известных упаковок из 11 одинаковых квадратов внутри квадрата. Длина стороны квадрата, в который они вписаны, должна составлять L≈ 3,877084. Даже при оптимальном расположении заполнено лишь ~73% площади.
Математика не для всех pinned a photo

🤩 Стажировки и вакансии без опыта — все входные точки в тех-индустрию собраны в одном месте на TechnoCareerТебя ждут 20+ крупных компаний с оплачиваемыми стажировками и другими программами для технарей. А ещё:— экономия времени на поиск вакансий: всё собрали в одном месте— интерактивы с подарками и нетворкинг с дружеским вайбом— мастер-классы и Q&A-сессии со спикерами, доступные только офлайн— подарки за приглашение друзей: сочная пицца, сертификаты Ozon до 1000 рублей и суперпризыГде?📍 Москва, Amber Plaza, Краснопролетарская ул., 36 (5 минут от м. Новослободская)Когда?📅 21 марта, 15:00–19:00👉 Регистрация здесь

В 1939 году Александр д’Агапейев включил в последнюю страницу своей книги «Коды и шифры» зашифрованный текст. 87 лет спустя он так и не был разгадан. Позже он признался, что забыл, как его зашифровал.

с чатомЖПТ доказали формулу товарища Суня!! Я горд (мечтал об этом). Заняло примерно два часа. В принципе, идейно задача по модулю известного состояла в том, чтобы проверить, является ли данный вектор линейной комбинацией других данных векторов. Но, блин, сам я бы такой код в жизни не написал. Хотя ничего сложного в нём нет, прочитать и верифицировать-то.