Forwarded from tropical saint petersburg
Baranetz-Verevkin_Ideology in Science_2018.pdf
2.3 MB
Налутал необычную книгу "Идеология в науке". Много про математиков (Некрасов vs Марков, Шмидт, Шафаревич, Гротендик).
Это сборник коротких заметок с байками и жгущими цитатами. Там и "нашим, и вашим", ну и авторы не стесняются своей собственной идеологизированности, конечно. Начнём:
"Глубокая пропасть разделяет Россию 1865 г. и Россию 1920 г. Россия 1865 г. жила гнетущею и зловещею памятью крепостного права; мы в 1920 г. живём мечтою о царстве труда и социальной справедливости, равенства и братства. Но одно не изменилось: перед русскою интеллигенциею, как тогда, так и теперь, стоит тяжёлая альтернатива: или отказ от защиты лучших традиций, выработанных человечеством на его многотрудном пути, и прежде всего от защиты свободы мысли и речи, от защиты и своего человеческого достоинства и достоинства науки, − или бегство с родины и отказ от прямой работы на пользу своего народа. Неужели tertium non datur?" (третьего не дано)
Это сборник коротких заметок с байками и жгущими цитатами. Там и "нашим, и вашим", ну и авторы не стесняются своей собственной идеологизированности, конечно. Начнём:
"Глубокая пропасть разделяет Россию 1865 г. и Россию 1920 г. Россия 1865 г. жила гнетущею и зловещею памятью крепостного права; мы в 1920 г. живём мечтою о царстве труда и социальной справедливости, равенства и братства. Но одно не изменилось: перед русскою интеллигенциею, как тогда, так и теперь, стоит тяжёлая альтернатива: или отказ от защиты лучших традиций, выработанных человечеством на его многотрудном пути, и прежде всего от защиты свободы мысли и речи, от защиты и своего человеческого достоинства и достоинства науки, − или бегство с родины и отказ от прямой работы на пользу своего народа. Неужели tertium non datur?" (третьего не дано)
Excellent, but a bit less known Manin's book
Introduction to modern number theory by YI Manin, AA Panchishkin
The present book is a new revised and updated version of “Number Theory
I. Introduction to Number Theory” by Yu.I.Manin and A.A.Panchishkin, ap-
peared in 1989 in Moscow (VINITI Publishers) [Ma-PaM], and in English
translation [Ma-Pa] of 1995 (Springer Verlag).
Especially, the most interesting parts are
6 Zeta Functions and Modular Forms
and
7 Fermat’s Last Theorem and Families of Modular Forms
Introduction to modern number theory by YI Manin, AA Panchishkin
The present book is a new revised and updated version of “Number Theory
I. Introduction to Number Theory” by Yu.I.Manin and A.A.Panchishkin, ap-
peared in 1989 in Moscow (VINITI Publishers) [Ma-PaM], and in English
translation [Ma-Pa] of 1995 (Springer Verlag).
Especially, the most interesting parts are
6 Zeta Functions and Modular Forms
and
7 Fermat’s Last Theorem and Families of Modular Forms
SpringerLink
Introduction to Modern Number Theory
Верно ли что если в графе n вершин и все валентности больше n/2 то там есть гамильтонов цикл?
Число Рамануджана первым нашёл Бернар Френикль де Бесси!
Wikipedia
Бесси, Бернар Френикль де
французский математик
Forwarded from gonzo-обзоры ML статей
Сегодня для разнообразия гонзо-обзор книги
Книга: Symmetry and the Monster. One of the greatest quests of mathematics
Автор: Mark Ronan
URL: https://global.oup.com/academic/product/symmetry-and-the-monster-9780192807236
Случайно купил в букинистическом книгу про группы симметрии и Монстра. Я даже когда-то знал, что Монстр — это гигантская простая группа (порядка 196883), но в момент покупки книги про всё это забыл и думал, что это просто про теорию групп и симметрии.
Прочитал, прям хорошо. Книга, по сути, описывает историю возникновения теории групп и построения периодической таблицы атомов симметрии (простых конечных групп, которые далее не могут быть разложены на другие группы), а также нахождения 26 исключений (спорадических групп), не вписывающихся в эту таблицу. Монстр (он же Дружественный гигант, но это название не закрепилось) — самый большой (и, кажется, доказанно последний) из исключений. Ссылка в тему: https://youtu.be/mH0oCDa74tE?si=ld9KwGhjZ9JifyyE
Узнал много нового из истории математики. Я как-то был не в курсе, что к этой теме очень сильно приложился Конуэй, я его считал изобретателем игры Жизнь, но и только. А он прям монстр.
Узнал про Moonshine гипотезу (только что узнал, что по-русски её иногда называют Гипотезой чудовищного вздора). Оказывается, размерности Монстра вылезают в неожиданных местах, и в частности вылезли в теории струн. И здесь ещё много непонятного. Ссылка в тему: https://www.quantamagazine.org/mathematicians-chase-moonshine-string-theory-connections-20150312/
Снова захотелосьв Париж нырнуть в абстрактную алгебру.
#books
Книга: Symmetry and the Monster. One of the greatest quests of mathematics
Автор: Mark Ronan
URL: https://global.oup.com/academic/product/symmetry-and-the-monster-9780192807236
Случайно купил в букинистическом книгу про группы симметрии и Монстра. Я даже когда-то знал, что Монстр — это гигантская простая группа (порядка 196883), но в момент покупки книги про всё это забыл и думал, что это просто про теорию групп и симметрии.
Прочитал, прям хорошо. Книга, по сути, описывает историю возникновения теории групп и построения периодической таблицы атомов симметрии (простых конечных групп, которые далее не могут быть разложены на другие группы), а также нахождения 26 исключений (спорадических групп), не вписывающихся в эту таблицу. Монстр (он же Дружественный гигант, но это название не закрепилось) — самый большой (и, кажется, доказанно последний) из исключений. Ссылка в тему: https://youtu.be/mH0oCDa74tE?si=ld9KwGhjZ9JifyyE
Узнал много нового из истории математики. Я как-то был не в курсе, что к этой теме очень сильно приложился Конуэй, я его считал изобретателем игры Жизнь, но и только. А он прям монстр.
Узнал про Moonshine гипотезу (только что узнал, что по-русски её иногда называют Гипотезой чудовищного вздора). Оказывается, размерности Монстра вылезают в неожиданных местах, и в частности вылезли в теории струн. И здесь ещё много непонятного. Ссылка в тему: https://www.quantamagazine.org/mathematicians-chase-moonshine-string-theory-connections-20150312/
Снова захотелось
#books
Forwarded from эйай ньюз
🔥Сегодня вышла просто гигантская модель Falcon 180B!
Иновационный Институт Технологий Абу-Даби удивляет. Их новая модель Falcon 180B теперь заняла первое место на открытом лидерборде HF. По качеству ответов она где-то между GPT-3.5 и GPT.4, примерно на уровне PaLM-2.
Параметры модели Falcon-180B:
- 180 млрд параметров! Напомню, что предыдущая самая мощная открытая модель была LLaMa-2 70B.
- Контекст 2048 токенов (но можно расширить с попощью RoPE scaling)
- Тренили 2.5 месяца на 4096 GPU на Amazon SageMaker.
- Модель видела 3.5 триллионов токенов (против 2 триллиона у LLaMa 2). То есть Falcon прочитала почти в 2 раза больше текстов.
- Multi-query attention (MQA) для скорости инференса и чтобы не раздувать количество параметров.
- Есть базовая и чатовая версии.
Забавно, что для инференса этой модели в int4 вам потребуется 8x A100 видеокарт (удачи!).
Лицензия позволяет очень ограниченное коммерческое использование.
❱❱ Веса и код доступны на HuggingFace HUB.
❱❱ Демо (жестко педалит).
@ai_newz
Иновационный Институт Технологий Абу-Даби удивляет. Их новая модель Falcon 180B теперь заняла первое место на открытом лидерборде HF. По качеству ответов она где-то между GPT-3.5 и GPT.4, примерно на уровне PaLM-2.
Параметры модели Falcon-180B:
- 180 млрд параметров! Напомню, что предыдущая самая мощная открытая модель была LLaMa-2 70B.
- Контекст 2048 токенов (но можно расширить с попощью RoPE scaling)
- Тренили 2.5 месяца на 4096 GPU на Amazon SageMaker.
- Модель видела 3.5 триллионов токенов (против 2 триллиона у LLaMa 2). То есть Falcon прочитала почти в 2 раза больше текстов.
- Multi-query attention (MQA) для скорости инференса и чтобы не раздувать количество параметров.
- Есть базовая и чатовая версии.
Забавно, что для инференса этой модели в int4 вам потребуется 8x A100 видеокарт (удачи!).
Лицензия позволяет очень ограниченное коммерческое использование.
❱❱ Веса и код доступны на HuggingFace HUB.
❱❱ Демо (жестко педалит).
@ai_newz
huggingface.co
Spread Your Wings: Falcon 180B is here
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
Forwarded from addmeto (Grigory Bakunov)
На канале это уже кажется было, но не вредно напомнить - начиная с Chrome 115 этот браузер будет поддерживать Topics API. По сути это означает, что теперь рекламодатель будет показывать вам рекламу, зная о ваших предпочтениях, т.к. браузер теперь сам отправляет информацию, что вам интересно, базируясь на истории посещений. При первом запросе к этому API пользователю показывается вот такой ужасный экран, он модальный - единственная возможность его пройти это нажать “Понял”.
У меня нет другого коментария, кроме как “корпорация добра на марше”. По прежнему рекомендую сафари, firefox и другие браузеры. Даже Edge не так плох https://www.theregister.com/2023/09/06/google_privacy_popup_chrome/
У меня нет другого коментария, кроме как “корпорация добра на марше”. По прежнему рекомендую сафари, firefox и другие браузеры. Даже Edge не так плох https://www.theregister.com/2023/09/06/google_privacy_popup_chrome/
Если очень хочется быстро и легко узнать алгем после Хартсхорна, то лучше книги Данилова "Когомологии алгебраических многообразий" человечество в моём лице ничего не придумало.
Forwarded from эйай ньюз
This media is not supported in your browser
VIEW IN TELEGRAM
Ничего необычного. Прошло 2 дня с выхода Falcon 180B и Герганов уже как ни в чем не бывало гоняет её у себя на маке M2 Ultra через LLaMa.cpp со скоростью 6.30 токенов в секунду
Это 4-битная моделька falcon-180b-chat.Q4_0.gguf отсюда.
@ai_newz
Это 4-битная моделька falcon-180b-chat.Q4_0.gguf отсюда.
@ai_newz
Вспомнил факт, что число разбиений n в сумму нечётных равно числу разбиений в сумму различных. Доказательство в одну строчку в производящих функциях
Волшебный двурог_С.П.Бодров.djvu
9.3 MB
Сегодня у нас чудесная книга "Волшебный двурог" Сергея Павловича Бодрова 1967 года.
Forwarded from qtasep 💛💙
Итак, я дописал полезное
https://lpetrov.cc/AI-math/
...Прошел примерно год с тех пор, как я заинтересовался интеграцией AI в свои рабочие процессы (на несколько месяцев опередив хайп вокруг GPT-4). Со временем я внедрил несколько процессов в области преподавания и исследований, и заметно ускорил выполнение многих рутинных задач.
Содержание поста - в картинке, и как видно, приложения AI у меня довольно разнообразные. Что еще посоветуете попробовать?
https://lpetrov.cc/AI-math/
...Прошел примерно год с тех пор, как я заинтересовался интеграцией AI в свои рабочие процессы (на несколько месяцев опередив хайп вокруг GPT-4). Со временем я внедрил несколько процессов в области преподавания и исследований, и заметно ускорил выполнение многих рутинных задач.
Содержание поста - в картинке, и как видно, приложения AI у меня довольно разнообразные. Что еще посоветуете попробовать?