Telegram Group Search
Forwarded from partially unsupervised
Если бы год назад мне сказали, что французская компания будет двигать вперед опенсорсный AI, я бы подумал, что собеседник неадекватен. Когда Mistral AI только поднял свой первый раунд по оценке в ~300 миллионов, не имея ничего, кроме трех крутых фаундеров, я тоже смотрел на это скептически. Хаха, французы решили сделать deep tech компанию 🥐🥖🍷🧀, все равно получится пекарня или профсоюз. Я был сильно не прав.

Спустя полгода их вышедшая меньше двух недель назад Mixtral показывает лучший результат среди опенсорсных моделей, уверенно обходя GPT 3.5 на лидерборде. Ее можно гонять на более или менее доступном железе, у нее свободная лицензия Apache, и ее вовсю успешно файнтюнят. Буквально вчера наткнулся на один такой нецензурированный вариант и - сугубо из любопытства - начал баловаться с запрещенными темами.

Модель дает неплохие советы, где скачать пиратский контент, как вести партизанские действия в городской застройке, как хитрить с налогами, не пытаясь при этом быть моральным компасом. Промпты про написание шуток, высмеивающие те или иные социальные группы, ее слегка корежат, но в итоге можно добиться несмешного, но осмысленного ответа, не утыкаясь в стену OpenAI's content policies.
Тестирую поисковики
http://perplexity.ai
и
phind.com
Forwarded from epsilon correct
Почему сети выучивают базисы Фурье?
или эмерджентность неприводимых представлений 🤤

В последние несколько лет стало модным использование симметрий 👥 данных для построение более эффективных моделей (en. inductive biases; обзорная статья на Кванте; перевод). Например, в моделировании климата удобно рассматривать Землю как единичную сферу – погода будет функцией, задающейся двумя координатами вместо трёх для Эвклидового пространства.

В моих любимых графах симметрии активно используются для моделирования молекул – например, для предсказания межатомных взаимодействий модели стоит быть эквивариантной по E(3). Использование симметрий позволяет значительно снизить количество параметров, стабилизирует процесс тренировки и улучшает генерализацию 📈. Но это немного спорно – недавние результаты говорят о том, что подходы, которые не ограничивают модель эквивариантностью, могут выбивать метрики лучше. В любом случае, всех заинтересовавшихся отправляю в мини-книжку Бронштейна. 📃

Известно, что фильтры свёрточных сетей для обработки изображений очень напоминают по форме напоминают фильтры Габора, соответствующие активациям в зрительных долях макак. Как так получается? 🧐

Недавно вышедшая статья “Harmonics of Learning: Universal Fourier Features Emerge in Invariant Networks” делает шаг в объяснении этого феномена. Для некоторого класса нейросетей (например, биспектральных с ICLR’23) если функция f с ортонормальными весами W инвариантна по входу к какому-либо действию группы G, веса выражаются через коэффициенты преобразования Фурье этой группы. Другая теорема lоказывает, что из весов W можно восстановить таблицу группы G. 👌

Судя по всему, для моделирования систем с симметриями достаточно обучить сеть на достаточном количестве данных, показывая симметрию на обучающих примерах, ну а дальше уже learning goes brr 📈. Получается математическое обоснование для Bitter Lesson, который говорит о том, что методы, опирающиеся на увеличение вычислений, выигрывают в гонках систем машинного обучения. 😭
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Links and Huita
#math #books

Очередная подборка книг по математике

https://www.reddit.com/r/maths/comments/14budyz/comment/jykhuyv/

Копирую сюда на всякий случай. Также рекомендую почитать другие коменты этого человека https://www.reddit.com/user/srsNDavis/



We can answer better if you specify individual topics, but without an explicit topic, my general recommendations would be:

Best Beginner's Book: 'Advanced Problems in Mathematics'. This is a great (and free) text on the art of problem-solving. This is really a book on 'how to think like a mathematician', which is why it's often recommended as prep for those who want to take up maths in university.

Best Prep for Maths at University: 'Proofs' (Cummings) outlines the art of writing proofs and how to make sound inferences in mathematics (here's a free alternative). 'Proofs and Fundamentals' (Bloch) may be used for a university course. Another great text is 'Mistakes in Geometric Proofs' (Dubnov). This is narrower, but highly recommended nonetheless, because learning to spot misleading proofs or unreasonable inferences is at least as critical a skill as drawing the right inferences and writing correct and concise proofs.

Best Prep for Graduate Mathematics: 'All the Mathematics You Missed' (Garrity). This is a crash course of the big ideas in virtually everything you'd study if you go for a bachelor's in mathematics. I like how the author breaks down each topics into big ideas (e.g. fundamental objects of study, fundamental theorems, etc.), though for topics you have never seen before, you should probably supplement this book with other resources (from this answer or any other great answers you get).

Best Higher Maths: Controversially, I recommend 'A Course in Higher Mathematics' (Smirnov). Covers calculus, modern algebra (linear algebra and abstract algebra), complex variables and special functions, integral and partial differential equations, functional analysis. Mostly stuff you learn in your typical BSc, but with occasional advanced topics thrown into the mix. Smirnov might be a terse read (like most other Soviet-era books), but it's highly recommended for its rigour and content coverage.

Best in Discrete Maths: As someone with a mathematics and CS background, it has to be 'Concrete Mathematics' (Graham, Knuth, Patashnik). I'm biased towards this book because it's quite an entertaining read - something you can't really say about all the recommendations here (at least not unless the beauty of pure mathematics has dawned on you). 'Discrete Mathematics' (Biggs) is another common resource used at university. The latter text can bridge nicely into modern algebra.

Best in Number Theory: The classic text is 'An Introduction to the Theory of Numbers' (Hardy & Wright). This is a great introduction and also includes lists for further reading about particular topics, should you get interested along the way. 'A Friendly Introduction to Number Theory' (Silverman) may be more readable when starting out. 'Elements of Number Theory' (Vinogradov) is another good text that starts off with what should be familiar terrain - divisibility - to ease you into number theory.

Best in Algebra: 'Algebra' (Lang) should be titled 'The Algebra Bible'. It has enough to put you in a position to produce research at the PhD level. Lots of advanced stuff here (I don't claim to understand all of it... Yet), but like Smirnov, could be a slightly terse read. (This is a great point to admit my bias towards advanced maths in this answer, mainly because I'm at a relatively advanced level in learning mathematics, but also because having good resources for higher maths can make or break folks' interest in the subject)

Best Intro to Modern Algebra: 'Galois Theory' (Edwards) is an unconventional introduction which focuses on introducing concepts without losing focus of the problem they were formulated to address. 'Contemporary Abstract Algebra' (Gallian) is a more traditional introductory text (groups --> rings --> fields --> special topics, as you would proceed in a standard one or two-semester course at university)
Forwarded from Links and Huita
Best Intro to Linear Algebra: 'Linear Algebra' (Strang). I really like Strang's writing style, which makes concepts easy to follow even when using the text for self-learning.

Best in Calculus: 'Calculus' (Strang) - all three volumes available for free - covers three terms' worth of calculus. I've said it before, but it deserves reiteration - Strang's style of presentation makes things super intuitive.

Best in Analysis: 'Real Analysis' (Cummings) seems like a good choice for real analysis, as does 'Analysis' (in two volumes) (Tao) . 'Visual Complex Analysis' (Needham) is great for its complex twin in that it uses visualisation to communicate ideas wherever it makes sense without compromising on the rigour of the argument. The 'classic' texts in these topics tend to be more challenging reads, such as 'Real and Complex Analysis' (Rudin) and 'Complex Analysis' (Ahlfors) - not bad texts, though maybe not the best ones if you aren't familiar with the topic. (Pro tip: You should really treat analysis, at least partly, as the formal/pure mathematics side of calculus, so a lot of the intuition may come from calculus you might've studied before.)

Best in Statistics: 'All of Statistics' (Wasserman). Good text covering the big ideas in probability and statistics.

Best in Applied Maths: I studied mathematics and computer science, so 'applied maths' to me is stuff like 'Algorithms' (Dasgupta, Papadimitriou, Vazirani). Maths in computer science can get pretty fancy (right up to graduate level topics like algebraic graph theory), but a book like DPV covers the fundamentals in a concise and rigourous introduction, sufficing as an introduction for anyone who's not primarily aiming to go into computer science (Is that my cue to write a similar answer for CS books somewhere?).

Bonus: Since 'applied maths' courses are often just physics courses at some universities, I'd make the oddball recommendation here - 'Physics: A General Course' (Savelyev) - mainly for its rigourous treatment. Covers the typical Physics 1, 2, and 3 topics. I didn't explore too much physics, so I can't recommend much more than that. Anyone going into physics or engineering should also probably have a reference like 'Mathematical Methods' (Riley, Hobson, Bence) or - for those who are comfortable with bachelor's level topics - 'Mathematical Methods for Physicists' (Arfken, Weber, Harris). I didn't go through AWH as much but it's definitely a more advanced text than RHB. (Also, maybe someone else could 'complete' the applied maths list by adding a finance and economics text in a reply and/or another answer?)
Ольшанский -- машина. Не люблю функан, но то что он с ним делал -- просто космос😍
Просто супер книжка, много снега классных задач с решениями по диффгему и не только. Так ненароком и научиться можно🤓
Forwarded from AI для Всех (Ginger Spacetail)
AlphaGeometry от DeepMind - прекрасно, как свидание поэта с математикой, и триумфально, как олимпийское золото

DeepMind представил умопомрачительную AlphaGeometry - это сочетание языковой модели и символического двигателя дедукции. Один компонент быстро генерирует интуитивные идеи, а другой - принимает рациональные решения. В официальном пресс релизе такой подход сравнили с думай медленно... решай быстро”, где AI сочетает творчество и логику {кто читал Канемана, расскажите}

В чем прорыв:
🌌AlphaGeometry демонстрирует способность решать геометрические задачи на уровне золотых медалистов Международной математической олимпиады.
🌌Система успешно решила 25 из 30 задач олимпиады, используя комбинацию статистических предположений, типичных для языковых моделей, и символического рассуждения - буквально, рисуя окружности и отрезки.
🌌Вместо обычного естественного языка команда разработала собственный язык для геометрических доказательств со строгим синтаксисом, аналогичным языку программирования, что позволяет программно проверять ответы. По сути, он говорит на “геометрическом”, и удивительно, но его можно понять!
🌌AlphaGeometry обучалась на 100 миллионах сгенерированных и отфильтрованный доказательств, что обеспечило надежность результатов и позволило избежать потенциальных проблем, связанных с обучением на данных из интернета.

Самое интересное тут - нейросимволический подход. Языковая модель генерирует интуитивные идеи и предложения, а символический двигатель обрабатывает эти предложения, используя формальную логику и четкие правила для проверки выводов.

Take home message:
Эта система не просто даёт ответ на геометрические задачи - она переопределяет подход к решению задач с помощью AI далеко за пределами математики.
Т.е. AI может идти дальше распознавания образов и статистически выводов, а начать активно применять логическое мышление для открытия новых знаний. Ещё один шаг к AGI

Статья в Nature
📐 Github repo
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
Here is a slide from Thomas Nikolaus's talk on ICM 2022.
I desperately need someone to explain how to pass to inf-land to me...
Системы Хитчина: гиперкэлерово некомпактное многообразие, из него есть отображение в
H^(K^0) + H^(K^1) + ... + H^(K^l)
а именно, следы степеней поля хиггса (проекция на инварианты Ad rep : характеристический многочлен)
Слои отображения: поля хиггса с одинаковой спектральной кривой: спектральная кривая берётся из спектра поля хиггса которое живёт в End(B) x K
Ещё говорят что слои отображения это Prim для этой кривой, иными словами спектральная кривая проецируется на нашу риманову поверхность и индуцирует отображение на якобианах; ядро этого отображения по определению Prim.
--
Больше ничего не говорят
Настоящее сокровище: записки Дэна Квиллена! Рекомендую сначала прочесть содержание, потом листать что понравилось. Он был мегамонстром математики!
Узнал, что совсем недавно, в 2018, биологи открыли новый выпуклый многогранник -- скутоид.
Им можно красиво замостить пространство; именно так клетки кожи прилегают друг к другу
Нередко, буквально спустя несколько минут после начала чтения очередной научной статьи, я начинаю сталкиваться с проблемой концентрации внимания. Я продолжаю смотреть на текст, двигать глазами, прокручивать страницу с pdf-кой, но самого процесса чтения как такового больше не происходит - мысли улетают куда-то в космос. Так уж устроен мозг - не любит он напрягаться. Но как же быть с этой проблемой?

Основной способ, который я использую для борьбы с улетанием мыслей куда-то не туда - постоянно вспоминать, с какой целью я начала читать статью, задавать себе вопросы, которые соответствуют приближению к этой цели, а потом искать в статье ответы на эти вопросы.

Примеры целей, к которым можно стремиться при чтении статьи:

1️⃣ Понять, можно ли применить вычислительный алгоритм, описанный в статье, в своей работе, как это сделать и нужно ли его для этого как-то модифицировать.
Вопросы, которые можно себе задавать в таком сценарии:
➡️ Что подается на вход алгоритма и что получается на выходе? Т.е. какие входные данные мне нужны, чтобы получить результат, как конкретно будет выглядеть этот результат? Вопросы выглядят как что-то простое и очевидное, но если постоянно отвлекаться, то даже такие простые вещи можно упустить из виду.
➡️ Какими экспериментами (и, возможно, теоретическими соображениями) авторы обосновывают то, что их алгоритм действительно делает то, что задумано? Верю ли я в то, что их эксперименты действительно доказывают их заявления?
➡️ Есть ли у представленных экспериментов какие-то нюансы, которые могут помешать перенести алгоритм из статьи на мой сценарий?
➡️ Сколько компьюта авторы затратили на свои эксперименты?
➡️ И т.д., и т.п.
Критерий успеха: вы поняли, нужно применять алгоритм или нет. Если да, то вы понимаете в общих чертах, как к этому приступить.

2️⃣ Разобраться, каково текущее состояние какой-то области или задачи (например, детекции искусственных текстов). Такая цель часто заявляется при чтении статей-обзоров. Однако, на самом деле это нельзя назвать целью в полном смысле, поскольку непонятно, каков будет критерий достижения. Так что лучше задать себе уточняющий вопрос: Как конкретно я хочу применить знания о состоянии области или задачи впоследствии?
Возможные варианты ответа:
🔡🔣Я хочу убедиться, что в этой области еще не реализовали новую идею, которая пришла мне в голову.
В этом случае можно задать вопросы:
➡️ Что сделали самого похожего на то, что я придумал(а)? Это в точности то же самое или есть отличия?
➡️ Можно ли из этого похожего извлечь информацию, полезную для реализации моей идеи?
➡️ Есть ли методы заведомо настолько лучше моего, что мой реализовывать нет смысла?
➡️ С какими методами из прочитанных в статьях я буду сравнивать свой метод?
Критерий успеха: вы поняли, реализовал ли кто-то идею или нет, есть ли в принципе смысл ее реализовывать и если да, то как.
🔡🔣Я хочу найти новую тему для исследования. В принципе, в этом случае можно устраивать мозговой штурм, навскидку придумывая всякие разные варианты, что вы можете сделать и проверять разумность этого как в предыдущем пункте.
🔡🔣Продвинулись ли люди в решении задачи в достаточной степени, чтобы я мог(ла) использовать их результаты в своей работе? В этом случае вопросы будут похожи на пункт 1, только с акцентом на целесообразности использования предложенных алгоритмов.
Критерий успеха: как в пункте 1.

3️⃣ Подготовить по статье доклад на семинаре. В этом случае можно задать себе следующие вопросы:
➡️ Кто будет присутствовать на семинаре? Какой у них бэкграунд? С какой целью они пришли слушать про эту статью, что хотят для себя вынести?
➡️ Исходя из ответа на предыдущий вопрос: какие конкретно аспекты статьи будут интересны слушателем с данным бэкграундом? В соответствии с этим, какие вопросы они будут задавать?
➡️ Далее можно задавать себе те вопросы, которые ожидаются от слушателей и искать в тексте ответы на них.
Критерий успеха: вы сделали доклад и слушатели семинара показали признаки понимания того, что им рассказали.

#учеба #наука
Please open Telegram to view this post
VIEW IN TELEGRAM
Замечательный блогпост Джона Баеза о квартике Клейна.
Картинка для привлечения внимания
2025/06/27 21:43:45
Back to Top
HTML Embed Code: