2943
Описание отсутствует
Видимо Александра не из того поколения, которое знает, что слова "британские ученые доказали" - это такое начало шутки. Что ж, бывает. Значит, надо напомнить. Заглядываем в исследование и видим: ЛЛМка как была тупой, так и осталась. Она генерирует бог знает сколько бессмысленных/неэффективных вариантов, а генерический алгоритм их ПЕРЕБИРАЕТ. И таким образом делает открытие в комбинаторике - добро пожаловать в ИСКУСТВЕННЫЙ ИНТЕЛЛЕКТ 1976 года. Признаться честно, я и сам когда-то "обучал" нейросеть генетическим алгоритмом, потому что лень было писать бэкпропагэйшен ;) Но не объявлял результат достижением интеллекта, ни искуственного, ни натурального.
Читать полностью…
ладно, там целых 10 статей про это и они все связаны, как оказалось)
Читать полностью…
A high-resolution transcriptomic and spatial atlas of cell types in the whole mouse brain
Тут выкатили подробный клеточный атлас мозга мыши Allen Brain Cell Atlas — наиболее полный атлас мозга млекопитающих на сегодняшний день (более 5300 типов клеток, а в неполном атласе человека ~3300 типов клеток мозга)
4-й фильм Р.М. - "Поедем с тобой в Макао" про отношения отца и сына, в киноленте достаточно реалистично показана подпольная покерная жизнь, лудоманские трипы и структура покерной игромании.
Сопутствующие и частично показанные в самом фильме материалы - это The Topology of Poker, статья Р.М про топологическое богатство Техас Холдема (разновидность покера). Допустим, у нас есть симплициальный комплекс K_x, построеннный на X вершинах, где X соответствует множеству пар карт (всем раздачам), всего их 1326, и отношениям между ними. Отношение на множестве пар возникает из заранее известной вероятности выиграть одной пары у другой (априорно мы предполагаем, что Карабас 3♣️5♣️ проигрывает паре A♣️2♣️ с вероятностью 0.591), но интересный момент в том, что оно образует сферу, т.к. оно не всегда иерархично (как в игре "камень-ножницы-бумага"). Важно заметить, что вся эта структура не образует ЧУМ.
Основной результат - это Теорема, утверждающая, что K_x содержит S^4 в качестве подкомплексов. Такой комплекс K_x чем-то похож на диаграмму Хасса, но в которой на одном уровне возможны связи и нет транзитивной редукции.
Работа выглядит интересной, по модулю того, что в тексте есть небольшие ошибки, группы гомотопий обозначены как группы гомологий. И конструкция, похожая на их симплициальный комплекс, по всей видимости, была изобретена ранее под названием directed flag complexes (и в ней уже пытались вычислять устойчивые гомологии).
в дополнение к статье Акслера: на канале "Математическая свалка Сепы" была серия постов про определитель через внешнюю алгебру
Читать полностью…
Inflection reflection: images in mirrorswhose curvature changes sign (M V Berry 2021)
https://michaelberryphysics.wordpress.com/category/gallery-images/
Это просто сайт какого-то немца, который решил написать код для построения самых мудреных флагов, например Ирана или Непала (кстати, его форма называется двоенным треугольным вымпелом). Если на его платформе покопаться, то можно найти сортировку флагов по странным пропорциям
Читать полностью…
https://doi.org/10.1073/pnas.2309082120
Согласно новому исследованию, даже кишечная палочка может кое-что запомнить и передать будущим поколениям. Исследователи из Техасского университета и Университета Делавэра обнаружили потенциальную систему памяти, которая позволяет бактерии «помнить» прошлый опыт в течение нескольких часов и последующих поколений.
Такие выводы они сделали, проанализировав более 10 000 случаев «роения» бактерий. В ходе этих экспериментов проверялось, смогут ли клетки E. coli на чашке объединиться в одну мигрирующую массу, чтобы найти себе место получше. Выяснилось, что многое здесь зависит от железа внутри клеток: чем его меньше, тем быстрее бактерии снимаются с насиженных мест, а если его много, то формируют биоплёнку и никуда не идут. Первое поколение E. coli роилось без особого энтузиазма, но уже второе при низком уровне железа роилось быстрее. К седьмому поколению бактерии забыли, что надо делать.
https://udlbook.github.io/udlbook/
свежий вводный учебник по DL с не очень аутдейтед примерами
Два обзора (2019 и 2023 годов) о взаимодействии двух ключевых нейронных процессов - эксперессии генов и синаптической пластичности
1. R.R. Campbell, M.A. Wood, How the epigenome integrates information and reshapes the synapse, Nat. Rev. Neurosci. 20, 133–147 (2019). https://doi.org/10.1038/s41583-019-0121-9
2. H. Ma et al., Excitation–transcription coupling, neuronal gene expression and synaptic plasticity, Nat. Rev. Neurosci. 24, 672–692 (2023). https://doi.org/10.1038/s41583-023-00742-5
Логика - это наука о сосудах. Finally
Так что если встретите, как вам кажется, пьянствующего логика, помните, он не синячит, он исследует бутылки.
Из книги Никифорова А. Л. "Логика и теория аргументации"
How to solve a maze without AI
Проходим двумерный лабиринт используя Лапласиан https://www.seamplex.com/feenox/examples/maze3.png
Помимо стандартного TDA авторы смотрели еще и на геометрию данных, например, на Ollivier-Ricci curvature на графах
DISCRETE OLLIVIER-RICCI CURVATURE
Проект BRAIN Initiative Cell Census Network Национальных институтов здравоохранения США, в котором приняли участие сотни исследователей, представляет клеточный атлас мозга мыши. Этому достижению посвящены десять публикаций в журнале Nature. Атлас включает в себя точную пространственную локализацию типов клеток, отличающихся по транскриптомным и эпигеномным характеристикам, описывает взаимодействие между клеточными типами в разных отделах мозга и позволяет сравнить систему регуляции экспрессии генов в мозге мыши, человека и других животных.
Читать полностью…
оказывается, в том же номере Nature вышла иная статья на ту же самую тему от другой группы авторов: Molecularly defined and spatially resolved cell atlas of the whole mouse brain. Они тоже сделали атлас клеток мозга мыши и, вроде как, выделенные типы во многом согласуются. Забавно, как в науке крупные коллективы могут параллельно работать над одной задачей и прийти одновременно к публикации. Похожая ситуация была с контактомом C.elegans (не коннектом), который опубликовали на соседних страницах в Nature в двух статьях с созвучными результатами: Moyle et al. 99-104 с. и Brittin et al. 105-110 с.
Читать полностью…
как запихнуть ген тихоходки в человека, чтобы не помирал от космической радиации
а от рака мозга
Is the sequence of earthquakes in Southern California, with aftershocks removed, Poissonian?
chad abstract
Анонс события в братском матклубе, присоединяемся
«в эту пятницу обсуждаем статью "Down With Determinants!", Axler S.
Смущало ли вас когда-нибудь насколько внезапно и необоснованно вводится понятие определителя? Ну вот вы не одни. Всегда казалось "вумные деды всё знают, значит так надо", но оказывается, что нет, совсем не обязательно. В этой статье автор демонстрирует как можно построить курс линейной алгебры без использования определителя или хотя бы с более обоснованным введением его.
Прочитать самостоятельно к пятнице, 8 декабря, 19:00 по Москве.
Если поставите в мероприятии "интересно", то как начнётся встреча вам придёт уведомление.
https://discord.gg/f9ARFWDn?event=1180018361913057340»
https://www.youtube.com/watch?v=Z_L1oN8y7Bs
Просто красивое видео про то, как пытаются читать обугленные свитки Геркуланума с помощью мл и томографии
Ant-Based Computing
Буквально комп из муравьев
Как нейросети могут быть применимы в математике?
Большие языковые модели (LLM) уже давно показали способность к математическим выводам: доказательство несложных теорем, решение задач с подробным объяснением. Стоит отметить давнюю работу MathBERT для анализа мат.формул, а также Minerva для мат.ризонинга.
Недавно была представлена модель Llemma на 34 млрда параметров: в основе её архитектуры лежит Code Llama, инициализирована весами модели Llama 2 и оригинальным способом дотренирована на расширенном датасете Proof-Pile-2 (55 млрд токенов), который содержит программный код на 17 ЯП из GitHub, статьи из arxiv и OpenWebMath.
В итоге Llemma умеет следующее:
1. Solving Math Problems. Prompt: постановка математической задачи на естественном языке. Ответ: Пошаговое описание решения, записанное на LateX, а затем его имплементация на Python.
2. Informal-to-formal. Prompt: доказательство на естественном языке. Ответ: запись на формальном языке доказательства теорем (proof assistant) Isabelle .
3. Formal-to-formal. Prompt: доказательство на формальном языке Lean. Ответ: разбиение доказательства из prompt в последовательность шагов с подробным описанием на том же языке Lean.
Интригующие результаты в применении инструментов компьютерной алгебры и средств формального доказательства теорем удалось добиться с помощью добавления большого объема данных, связанных с программированием математики, символьными вычислениям итд; авторы назвали эту часть собранного датасета - AlgebraicStack. Утверждается, что Llemmа по точности бьёт все прошлые подходы: Minerva (540 млрд параметров и не open-sourse), Code Llama; при этом исходный код, веса модели и датасет в открытом доступе.
видео-лекция с подробным описанием работы от Sean Welleck на New Technologies in Mathematics Seminar, в рамках этого семинара затрагивают и много других интересных тем: формальное математическое объяснение успеха механизма Attention или статистическая механика в нейросетках.
пока писал этот текст, вышла статья LEGO-Prover про док-во теорем с помощью LLM.
"how the cell collective knows what to build and when to stop?"
Вышла новая моделька NCA: из порождающего множества и правил в прикольные структуры (мера прикольности, видимо, в узнаваемости)
Growing Neural Cellular Automata (2020)
Isotropic Neural Cellular Automata (2023)
Burning (2016)
Документальный фильм о математике Элияху Рипсе.
В возрасте 20 лет он совершил протестный перформанс против советской оккупации Чехословакии: поджег себя в центре Риги. Он выжил, но на два года попал в психушку. Сегодня Рипс считается крупным математиком.
Узким кругам он широко известен своими попытками найти зашифрованные послания в Торе.
Functional bioengineered models of the central nervous system
(Ревью: почему моделировать ЦНС сложно, давайте посмотрим, где мы сейчас)
недавно приходил вопрос в голову, а у Тао уже давно есть статья про это, удобно
When is correlation transitive?
если X и Y имеют корреляцию близкую к 1, то X и Z должны быть положительно скоррелированы тоже:
(X,Y) = (Y,Z)(Z,X) - sqrt{(1-(Y,Z)^2)(1-(Z,X)^2)}
(Y,Z)^2 + (Z,X)^2 > 1
а вот и окружность.
Topological and geometric analysis of cell states in single-cell transcriptomic data
"Here, we aim to explore the usage of TGDA tools, specifically graph curvature and persistent homology, for stablishing structure-function relationships in scRNA-seq to predict cell properties from the underlying structures of the data."
