Математика не для всех

🔬 В боте появился единый поиск по научным источникам Теперь кнопка «➕ Добавить тему» сначала предлагает выбрать, где искать публикации: • arXiv • bioRxiv и medRxiv • ChemRxiv • HAL • INSPIRE • Europe PMC • Zenodo После выбора источника можно настроить отслеживание категории, автора, ключевой фразы или конкретной работы — в зависимости от возможностей выбранной базы. Что ещё обновилось • у каждой подписки появилась отдельная кнопка последних работ; • количество результатов настраивается от 1 до 30; • для источников с официальным каталогом доступны списки категорий; • основные кнопки бота…

Подборка arXiv · 26.10.2026 1. Как объединять правки ИИ, не теряя улучшений Как собрать полезные правки нескольких ИИ, если вместе они могут всё испортить? Авторы рассматривают задачи с точно вычислимым качеством решения и известными связями между его частями. Они предлагают выбирать совместимые правки, проверенные на одной исходной версии. По их результату, выигрыши таких правок точно складываются, а гарантированная доля сохранённого улучшения зависит от устройства связей. Полезность каждой правки ещё не делает полезным их объединение. Работа показывает, как превратить проверку совместимост…

Что доказательства находят после триллионов тестов Почему ошибка в программе может пережить триллионы тестов? Автоматическая проверка перебирает отдельные сценарии, а редкое сочетание входных данных может так и не встретиться. Anthropic и Theorem сообщили об эксперименте, в котором Claude помог найти сотни дефектов в 123 открытых библиотеках и математически подтвердить отсутствие определённых сбоев после исправлений. Библиотеки взяли из проекта Google OSS-Fuzz. Его инструменты подают программам случайные и специально изменённые данные, пытаясь вызвать ошибку. Число запусков может быть огромн…

Пост без текста

Нужные статьи с arXiv прямо в Telegram Следите за новыми исследованиями без ежедневного просмотра сотен аннотаций. В arXiv-боте можно настроить подписки по темам, авторам и научным разделам. Бот пришлёт подходящие публикации со ссылками на работы. Получать уведомления можно по мере появления статей или одной ежедневной подборкой. Всё бесплатно и без ограничений 👉 Настроить свою научную ленту

Подборка arXiv · 25.10.2026 1. Как обойти сеть, в которой связи меняются со временем Как посетить все вершины сети, если связи меняются на каждом шаге, но сеть остаётся связной? Авторы используют разбиение вершин на классы по структурным признакам. Если таких классов мало, заявленная гарантия времени обхода существенно лучше известной для произвольных сетей. Сам маршрут можно построить за время, ограниченное многочленом от размера входных данных. Важен не только размер изменчивой сети, но и разнообразие ролей её вершин. Это позволяет получить более сильную гарантию времени обхода. 2. Как оц…

Часть 2 из 2 Важная часть исследования состоит в инструментах контроля вырождения. Авторы разработали оценки того, как часто структурированные семейства матриц приближаются к сингулярным конфигурациям. Другая линия методов позволяет единообразно работать с семействами многочленов высоких степеней. Третья касается подсчёта матриц ограниченного ранга, у которых размерность образа не превышает заданной границы. Эти инструменты связывают распределение определителей с изучением вырожденных и почти вырожденных матриц. О предполагает, что методы могут пригодиться для целочисленных и алгебраических…

Часть 1 из 2 Как распределяются определители на решётке матриц Как часто среди матриц встречаются разные значения определителя? Если матрицы образуют бесконечную решётку, вопрос становится задачей о закономерностях подсчёта. Именно её исследуют Вуён Ким и Хи О в работе Determinant Values on Lattices. Решётку здесь можно представить как дискретную регулярную сетку в пространстве матриц. Каждая её точка задаёт квадратную матрицу размера d × d, где d обозначает число строк и число столбцов. Исследователи расширяют рассматриваемую область сетки и выясняют, как часто у попавших в неё матриц встр…

Последний Пифагоров день XXI века Прошлый Пифагоров день мы отмечали 24.07.25: 24² + 7² = 25². Сегодня, 24.10.26, календарь снова складывается в прямоугольный треугольник: 24² + 10² = 26². Но на этот раз дата особенная: это последний Пифагоров день в XXI веке. Почему? Пусть d — день, m — месяц, а y — две последние цифры года. Для Пифагорова дня d² + m² = y². Календарь накладывает ограничения d ≤ 31, m ≤ 12. Отсюда сразу y² ≤ 31² + 12² = 1105, то есть y ≤ 33. Поэтому искать нужно не среди всех пифагоровых троек, а только среди тех, у которых гипотенуза не превосходит 33. Примитивные пифагоровы…

Тристан Бакмастер выразил подозрения относительно использования наработок его совместного проекта с Левентом Алпёге. В своём публичном заявлении, о котором сообщил РБК, он также рассказал о предложениях исключить коллегу из авторов. OpenAI отрицала знакомство с их работой до её обнародования. Сам Бакмастер подчеркнул, что не видел доказательства компании и не утверждает, что она использовала их черновики. Подозрения нельзя считать установленным заимствованием. Инициатива Суня возвращает разговор к тому, с чего начинается исследование. Его сборник предлагает вопросы для дальнейшей работы. Вычи…