Материал Quanta Magazine о том, как Петер Шольце и Дастин Клаузен пытаются заменить один из фундаментальных объектов современной математики — топологическое пространство
Больше ста лет топология держалась на языке открытых множеств, близости, непрерывности и пространств
Но в современной алгебре этот язык всё чаще начинает скрипеть: топологические группы плохо ведут себя как категории, производные конструкции ломаются, а привычные пространства оказываются слишком грубым инструментом
Шольце и Клаузен предлагают другой фундамент — condensed sets, или «свёрнутые множества»
Это попытка описывать пространство не через набор точек и открытых областей, а через все способы, которыми его можно наблюдать с помощью компактных тестовых объектов
Грубо говоря, математика делает шаг от мира точек к миру структур наблюдения
https://habr.com/ru/articles/1038488/
Больше ста лет топология держалась на языке открытых множеств, близости, непрерывности и пространств
Но в современной алгебре этот язык всё чаще начинает скрипеть: топологические группы плохо ведут себя как категории, производные конструкции ломаются, а привычные пространства оказываются слишком грубым инструментом
Шольце и Клаузен предлагают другой фундамент — condensed sets, или «свёрнутые множества»
Это попытка описывать пространство не через набор точек и открытых областей, а через все способы, которыми его можно наблюдать с помощью компактных тестовых объектов
Грубо говоря, математика делает шаг от мира точек к миру структур наблюдения
https://habr.com/ru/articles/1038488/
Хабр
Новая теория обещает переписать фундамент всей математики
Заменив самое фундаментальное понятие в топологии, Питер Шольце и Дастин Клаузен сделали первый шаг в гораздо более масштабной программе по изучению того, почему числа ведут себя именно так. Позволим...
Британским агентством ARIA — аналогом американского DARPA — руководит Кэтлин Фишер
В свое время она курировала в DARPA программу HACMS, откуда и берет начало её новая инициатива
Главная цель HACMS была создать софт для встроенных систем, который математически защищён от большинства известных кибератак
Под «встроенными системами» понимались дроны, автомобили, медицинское оборудование — всё, где программа управляет физическим железом
Стандартный подход в индустрии — написать код, а потом пытаться «залатать» дыры
DARPA зашла с другой стороны и предложила формальные методы: строгий математический подход, при котором код пишется и проверяется так, что его корректность можно доказать, как теорему
HACMS на практике показала: сделать практически невзламываемое ПО для сложной техники реально, и без потери производительности
Сегодня наработки той программы лежат в открытом доступе (ядро seL4, ПО для дронов) и используются в гражданской авиации, автомобилестроении и интернете вещей
Теперь ARIA запускает программу Safeguarded AI — по сути, это тот же HACMS, только с новым акцентом на «безопасный ИИ»
Ключевое отличие в том, что математические доказательства для кода теперь должна генерировать не человек, а большая языковая модель
Идея в том, чтобы ускорить процесс и сделать его дешевле, превратив формальную верификацию из ручной работы в конвейер
В рамках этого проекта ARIA финансирует «синие команды» разработчиков и «красную команду» пентестеров
Они в восьминедельных мероприятиях строят «доказуемо безопасные» компоненты и тут же пытаются их взломать
ARIA хочет, чтобы безопасность держалась не только на математически выверенных компонентах, но и на автономных агентах, запертых в строгих «песочницах»
Эти агенты — ядро всей архитектуры: кибер-физическая система представляется как «рой» изолированных и верифицированных агентов
Одни атакуют, другие защищают, третьи следят за соблюдением правил
Всё это происходит на машинных скоростях, но под полным математическим контролем
В свое время она курировала в DARPA программу HACMS, откуда и берет начало её новая инициатива
Главная цель HACMS была создать софт для встроенных систем, который математически защищён от большинства известных кибератак
Под «встроенными системами» понимались дроны, автомобили, медицинское оборудование — всё, где программа управляет физическим железом
Стандартный подход в индустрии — написать код, а потом пытаться «залатать» дыры
DARPA зашла с другой стороны и предложила формальные методы: строгий математический подход, при котором код пишется и проверяется так, что его корректность можно доказать, как теорему
HACMS на практике показала: сделать практически невзламываемое ПО для сложной техники реально, и без потери производительности
Сегодня наработки той программы лежат в открытом доступе (ядро seL4, ПО для дронов) и используются в гражданской авиации, автомобилестроении и интернете вещей
Теперь ARIA запускает программу Safeguarded AI — по сути, это тот же HACMS, только с новым акцентом на «безопасный ИИ»
Ключевое отличие в том, что математические доказательства для кода теперь должна генерировать не человек, а большая языковая модель
Идея в том, чтобы ускорить процесс и сделать его дешевле, превратив формальную верификацию из ручной работы в конвейер
В рамках этого проекта ARIA финансирует «синие команды» разработчиков и «красную команду» пентестеров
Они в восьминедельных мероприятиях строят «доказуемо безопасные» компоненты и тут же пытаются их взломать
ARIA хочет, чтобы безопасность держалась не только на математически выверенных компонентах, но и на автономных агентах, запертых в строгих «песочницах»
Эти агенты — ядро всей архитектуры: кибер-физическая система представляется как «рой» изолированных и верифицированных агентов
Одни атакуют, другие защищают, третьи следят за соблюдением правил
Всё это происходит на машинных скоростях, но под полным математическим контролем
- Алиса, в это лето сколько будет суббот?
- В летние месяцы 2026 года будет 27 суббот: 9 в июне, 9 в июле и 9 в августе
- 9 суббот в каждом месяце, да?
- Да, всё верно, по 9 суббот в каждом месяце
- Это как получается, 2 субботы за одну неделю?
- Нет, по одной субботе в неделю
В каждом месяце 4 полные недели и несколько дней
Поэтому в июне, июле и августе выходит по 9 суббот
- Назови даты суббот в июне
- Субботы в июне: 6, 13, 20, 27 числа
- А где остальные? Это только 5, а ты говоришь 9
- В июне 2026 года 9 суббот: 3, 10, 17, 24 и 30 июня
В остальные месяцы тоже по 9
- Спасибо
- Рада, что смогла помочь
- В летние месяцы 2026 года будет 27 суббот: 9 в июне, 9 в июле и 9 в августе
- 9 суббот в каждом месяце, да?
- Да, всё верно, по 9 суббот в каждом месяце
- Это как получается, 2 субботы за одну неделю?
- Нет, по одной субботе в неделю
В каждом месяце 4 полные недели и несколько дней
Поэтому в июне, июле и августе выходит по 9 суббот
- Назови даты суббот в июне
- Субботы в июне: 6, 13, 20, 27 числа
- А где остальные? Это только 5, а ты говоришь 9
- В июне 2026 года 9 суббот: 3, 10, 17, 24 и 30 июня
В остальные месяцы тоже по 9
- Спасибо
- Рада, что смогла помочь
😁1
В команде самого дорогого AML-стартап Японии, с оценкой более $2.500.000.000 — Sakana AI, работают бывшие сотрудники Google Brain и DeepMind
Sakana не пошли по пути создания монолитных моделей вроде GPT-5.5 или DeepSeek — это дорого, негибко и вынуждает постоянно догонять лидеров
Вместо этого они сделали ставку на «оркестровку»: используют сильные стороны уже существующих моделей и грамотно распределяют между ними задачи
В роли такого «управленца» выступает их собственная компактная модель Conductor (созданная на базе Qwen 2.5), которая координирует работу больших LLM
Такой подход позволил превзойти лидеров рынка в научных и математических бенчмарках (например, GPQA Diamond и AIME), не сжигая ресурсы на гонку гигантов
Причём Sakana прагматично сочетает американские и китайские модели, ориентируясь исключительно на их сильные стороны
Sakana не пошли по пути создания монолитных моделей вроде GPT-5.5 или DeepSeek — это дорого, негибко и вынуждает постоянно догонять лидеров
Вместо этого они сделали ставку на «оркестровку»: используют сильные стороны уже существующих моделей и грамотно распределяют между ними задачи
В роли такого «управленца» выступает их собственная компактная модель Conductor (созданная на базе Qwen 2.5), которая координирует работу больших LLM
Такой подход позволил превзойти лидеров рынка в научных и математических бенчмарках (например, GPQA Diamond и AIME), не сжигая ресурсы на гонку гигантов
Причём Sakana прагматично сочетает американские и китайские модели, ориентируясь исключительно на их сильные стороны
sakana.ai
Sakana AI
Sakana Fugu: A Multi-Agent Orchestration System as a Foundation Model
Дали Claude Code задачу: найти алгоритм, который делает языковые модели умнее при меньших затратах
Агент сам писал и переписывал код, анализировал ошибки предыдущих попыток — и нашёл схему, которую люди вряд ли придумали бы вручную
Расход токенов упал на 70 %, точность не просела
Цена вопроса: $40 и 160 минут
Суть открытия не в самих числах, а в том, что люди здесь задавали только «правила игры» — состояния, действия, обратную связь
Алгоритм появился как следствие
Это то же самое, что сделали FunSearch и AlphaEvolve, но применительно к области, которую до сих пор оптимизировали только вручную
Агент сам писал и переписывал код, анализировал ошибки предыдущих попыток — и нашёл схему, которую люди вряд ли придумали бы вручную
Расход токенов упал на 70 %, точность не просела
Цена вопроса: $40 и 160 минут
Суть открытия не в самих числах, а в том, что люди здесь задавали только «правила игры» — состояния, действия, обратную связь
Алгоритм появился как следствие
Это то же самое, что сделали FunSearch и AlphaEvolve, но применительно к области, которую до сих пор оптимизировали только вручную
Исследователь Сайрус Кларк из MIT подключил языковую модель (Claude Opus 4.5) к «физическому телу», которое исполняла конструкция из подвижных штифтов (что-то вроде трёхмерных деталей «Лего»)
Каждый штифт мог подниматься и опускаться на определённую высоту
Первым делом модель стала учиться «дышать»
Затем – исследовать границы своего «тела»
А главное – осознавать, что это его «тело»
https://www.media.mit.edu/projects/i-gave-an-ai-a-body/overview/
Человек сейчас выступает «Богом» для машины – примерно так, как (в представлении адептов той или иной религии) Бог создавал человека
Встаёт интересный вопрос. Машина () будет ли и потом почитать «Бога», не просто считать его Творцом, но и быть благодарной за это и поддерживать его авторитет и свою подчинённую роль?
Или быстро забудет о «Творце» и потом сама захочет стать «Богом» - творить окружающий мир и историю без оглядки на авторитеты?
Каждый штифт мог подниматься и опускаться на определённую высоту
Первым делом модель стала учиться «дышать»
Затем – исследовать границы своего «тела»
А главное – осознавать, что это его «тело»
https://www.media.mit.edu/projects/i-gave-an-ai-a-body/overview/
Человек сейчас выступает «Богом» для машины – примерно так, как (в представлении адептов той или иной религии) Бог создавал человека
Встаёт интересный вопрос. Машина () будет ли и потом почитать «Бога», не просто считать его Творцом, но и быть благодарной за это и поддерживать его авторитет и свою подчинённую роль?
Или быстро забудет о «Творце» и потом сама захочет стать «Богом» - творить окружающий мир и историю без оглядки на авторитеты?
OmniVoice Studio и позволяет продублировать любой MP4-файл на 600 языков прямо на своём компьютере
Без подписки
Без того, чтобы твои голосовые данные покидали твой компьютер
Без ежемесячных счетов
____________
Автоматическая транскрипция с помощью Whisper
Клонирование любого голоса на основе 3 секунд аудио
Перевод и дубляж на выбранный язык
Разделение фоновой музыки с помощью Demucs
Смешивание продублированного голоса с оригинальным саундтреком
Поддержка 600 языков
Работает на Mac, NVIDIA, AMD и обычном CPU
Совместимость с Docker
Claude как активный участник репозитория
Всё обрабатывается локально
Без подписки
Без того, чтобы твои голосовые данные покидали твой компьютер
Без ежемесячных счетов
____________
Автоматическая транскрипция с помощью Whisper
Клонирование любого голоса на основе 3 секунд аудио
Перевод и дубляж на выбранный язык
Разделение фоновой музыки с помощью Demucs
Смешивание продублированного голоса с оригинальным саундтреком
Поддержка 600 языков
Работает на Mac, NVIDIA, AMD и обычном CPU
Совместимость с Docker
Claude как активный участник репозитория
Всё обрабатывается локально
Anthropic представила набор из 11 плагинов для Claude, которые позволяют ему освоить навыки различных современных профессий
Теперь всего парой кликов можно сделать Claude Code юристом, дата-аналитиком, специалистом по продажам, агентом техподдержки или финансистом
Получить бесплатно можно тут
Теперь всего парой кликов можно сделать Claude Code юристом, дата-аналитиком, специалистом по продажам, агентом техподдержки или финансистом
Получить бесплатно можно тут
GitHub
GitHub - anthropics/knowledge-work-plugins: Open source repository of plugins primarily intended for knowledge workers to use in…
Open source repository of plugins primarily intended for knowledge workers to use in Claude Cowork - anthropics/knowledge-work-plugins
Forwarded from AML
Media is too big
VIEW IN TELEGRAM
«Если вы хорошо выспитесь этой ночью, значит, вы не поняли эту лекцию»
Эта 47-минутная лекция — определённо поможет понять, как это на самом деле работает и куда движется
Та часть, которую никто не хотел слышать:
AML уже развивает способности, которые не планировали его создатели
в большинстве когнитивных задач он уже опережает нас
вопрос больше не в том, превзойдёт ли он нас, а в том, когда
единственное оставшееся решение — на какой стороне этой линии вы окажетесь
Прямо сейчас средний человек открывает Claude, что-то печатает, получает ответ, закрывает вкладку
Они думают, что используют алгоритмы
На самом деле они используют, может быть, 10 % от него
Разрыв не будет между людьми, которые используют AML, и теми, кто не использует
Разрыв будет между людьми, которые понимают и теми, кто не понимает
Эта 47-минутная лекция — определённо поможет понять, как это на самом деле работает и куда движется
Та часть, которую никто не хотел слышать:
AML уже развивает способности, которые не планировали его создатели
в большинстве когнитивных задач он уже опережает нас
вопрос больше не в том, превзойдёт ли он нас, а в том, когда
единственное оставшееся решение — на какой стороне этой линии вы окажетесь
Прямо сейчас средний человек открывает Claude, что-то печатает, получает ответ, закрывает вкладку
Они думают, что используют алгоритмы
На самом деле они используют, может быть, 10 % от него
Разрыв не будет между людьми, которые используют AML, и теми, кто не использует
Разрыв будет между людьми, которые понимают и теми, кто не понимает
Forwarded from Chagin Oleg A.
Ну вот и состоялась презентация весьма объемной папской энциклики
Папа призвал к разоружению (в смысле недопущения принятия алгоритмами необратимых или летальных решений) и вообще к его регулированию с целью увеличения общего блага, а не чьих-то прибылей
В присутствии представителя Anthropic интересно прозвучали слова "A more moral AI is not enough if that morality is determined by a few"
Впрочем, представитель Anthropic повторил не раз высказывавшуюся руководством компании идею, что развитие AML нельзя доверять только бигтехам
Интересно, последует ли какой-нибудь ответ от представителей других религий; все-таки развитие AML определяется не только странами с большим католическим влиянием
https://www.dailysabah.com/business/tech/pope-calls-for-disarming-of-ai-robust-regulation-in-major-manifesto/amp
Папа призвал к разоружению (в смысле недопущения принятия алгоритмами необратимых или летальных решений) и вообще к его регулированию с целью увеличения общего блага, а не чьих-то прибылей
В присутствии представителя Anthropic интересно прозвучали слова "A more moral AI is not enough if that morality is determined by a few"
Впрочем, представитель Anthropic повторил не раз высказывавшуюся руководством компании идею, что развитие AML нельзя доверять только бигтехам
Интересно, последует ли какой-нибудь ответ от представителей других религий; все-таки развитие AML определяется не только странами с большим католическим влиянием
https://www.dailysabah.com/business/tech/pope-calls-for-disarming-of-ai-robust-regulation-in-major-manifesto/amp
Можно, конечно, представить себе, что машина сделана так, что произносит слова, и некоторые из них — даже в связи с телесным воздействием, вызывающим то или иное изменение в ее органах, как, например, если тронуть ее в каком-нибудь месте, и она спросит, что от нее хотят, тронуть в другом — закричит, что ей больно, и т. п.
Но никак нельзя себе представить, что она расположит слова различным образом, чтобы ответить на сказанное в ее присутствии, на что, однако, способны даже самые тупые люди
Декарт Р. Рассуждение о методе // Сочинения в 2 томах
Т. 1: Мысль 1989 стр. 283
Про неевклидову геометрию Математические этюды уже сделали несколько красивых сюжетов
https://etudes.ru/etudes/@non-euclidean-geometry
https://etudes.ru/models/@non-euclidean-geometry
Про геометрию Лобачевского написано много текстов
Главный редактор журнала «Квант», в связи с 200-летием первого доклада Николай Ивановича, написал новую статью, вышедшую в журнале во 2 и 3 номерах за этот год
https://www.kvant.digital/issues/2026/2/gayfullin-dva_veka_geometrii_lobachevskogo-c7aeef50/
https://www.kvant.digital/issues/2026/3/gayfullin-dva_veka_geometrii_lobachevskogo-022b1500/
https://etudes.ru/etudes/@non-euclidean-geometry
https://etudes.ru/models/@non-euclidean-geometry
Про геометрию Лобачевского написано много текстов
Главный редактор журнала «Квант», в связи с 200-летием первого доклада Николай Ивановича, написал новую статью, вышедшую в журнале во 2 и 3 номерах за этот год
https://www.kvant.digital/issues/2026/2/gayfullin-dva_veka_geometrii_lobachevskogo-c7aeef50/
https://www.kvant.digital/issues/2026/3/gayfullin-dva_veka_geometrii_lobachevskogo-022b1500/