Forwarded from Авва
Почему сферическая система координат такая, какая она есть?
Угол θ это угол между вектором и осью z, а угол φ угол между проекцией вектора на плоскость xy и осью x. Зачем эта асимметрия - почему угол φ не может быть углом между вектором и осью x? Или наоборот - оба угла брать после проекции на две плоскости? Что бы тогда испортилось?
Спасибо.
Угол θ это угол между вектором и осью z, а угол φ угол между проекцией вектора на плоскость xy и осью x. Зачем эта асимметрия - почему угол φ не может быть углом между вектором и осью x? Или наоборот - оба угла брать после проекции на две плоскости? Что бы тогда испортилось?
Спасибо.
Все знают, что в латехе есть команды \left, \right для скобочек - чтобы скобочки были правильной высоты по отношению к тому, что внутри.
Оказывается, есть еще команда \middle
На картинке ее не используют, а надо так:
Оказывается, есть еще команда \middle
На картинке ее не используют, а надо так:
{}_3F_2 \left( \begin{array}{c} -k, \gamma, k-n \\ -n, \gamma-x \end{array} \middle| 1 \right)
🥰13🔥6👍2
tg_image_4248705362.jpeg
898 KB
Если вы едете на поезде по Европе, и что-то пошло не так - то вот полезная блок-схема
https://norden.social/system/media_attachments/files/113/396/363/067/130/414/original/75494e934cf0267a.png
Да, она большая, так как пойти не так может дохрена всего
https://norden.social/system/media_attachments/files/113/396/363/067/130/414/original/75494e934cf0267a.png
Да, она большая, так как пойти не так может дохрена всего
😁4
Кому нечего смотреть на ютубе, рекомендую вот. Я знатно охренел с этой истории и потерял остатки веры в человечество
https://www.youtube.com/watch?v=C5Bd6YxifCo
Bed Bath & Beyond (BBBY) — американская розничная сеть, специализирующаяся на товарах для дома. В последние годы компания столкнулась с финансовыми трудностями, что привело к снижению стоимости её акций. Несмотря на это, группа преданных инвесторов и энтузиастов, часто называемая «культом BBBY», продолжала поддерживать и инвестировать в компанию, надеясь на её восстановление. Даже когда BBBY объявила банротство и ликвидировала их акции в пыль.
А начал все тот же чувак, что и с GameStop, ему верили, он всех кинул и продал акции (pump & dump). Несколько тысяч человек вложили все свои сбережения (life's savings), и ждут своих миллионов, придумывая оправдания, что все это хитрый план. Ничего не напоминает?
https://www.youtube.com/watch?v=C5Bd6YxifCo
Bed Bath & Beyond (BBBY) — американская розничная сеть, специализирующаяся на товарах для дома. В последние годы компания столкнулась с финансовыми трудностями, что привело к снижению стоимости её акций. Несмотря на это, группа преданных инвесторов и энтузиастов, часто называемая «культом BBBY», продолжала поддерживать и инвестировать в компанию, надеясь на её восстановление. Даже когда BBBY объявила банротство и ликвидировала их акции в пыль.
А начал все тот же чувак, что и с GameStop, ему верили, он всех кинул и продал акции (pump & dump). Несколько тысяч человек вложили все свои сбережения (life's savings), и ждут своих миллионов, придумывая оправдания, что все это хитрый план. Ничего не напоминает?
YouTube
The Cult of the Dead Stock.
► Ad: 🔒Remove your personal information from the web at: http://JoinDeleteMe.com/jamesjani and use code JAMESJANI for 20% off 🙌”
► Episode 1: https://youtu.be/7LPuXowifJ4
► Become a Patron to continue supporting our work:
https://www.patreon.com/jamesvj…
► Episode 1: https://youtu.be/7LPuXowifJ4
► Become a Patron to continue supporting our work:
https://www.patreon.com/jamesvj…
😢4❤1
https://mathoverflow.net/questions/91423/gaussian-prime-spirals
Очень красивые узоры на основе гауссовых простых чисел
Очень красивые узоры на основе гауссовых простых чисел
MathOverflow
Gaussian prime spirals
Imagine a particle in the complex plane, starting at $c_0$, a Gaussian integer,
moving initially $\pm$ in the horizontal
or vertical directions. When it hits a Gaussian prime, it turns left $90^\c...
moving initially $\pm$ in the horizontal
or vertical directions. When it hits a Gaussian prime, it turns left $90^\c...
❤1
Несмотря на ночные новости, канал продолжает свое вещание, в целях эскапизма от реальности в математике (помогает, знаете ли).
Например, гипергеометрическая функция 3F2 проклята - и так и так плохо выглядит в латехе
Например, гипергеометрическая функция 3F2 проклята - и так и так плохо выглядит в латехе
👻8❤3🥱2🙈1
Слышал, что математикам платят реальные деньги за новые задачи с решениями, которые еще не утекли в интернет (https://epochai.org/careers)
Epoch AI
Careers
Explore Epoch AI’s career opportunities, apply to open positions, and help shape the future of AI.
👎3👀2
Forwarded from Сиолошная
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Самый сложный бенчмарк по математике для LLM от Epoch AI. Если сейчас зачастую у новых наборов проблем передовые нейронки решают 30-50% задач, то в этом суммарно все они, от Grok-2 до o1-preview, решили... 4 задачи (каждая по отдельности меньше 2% от общего числа). Почему? Потому что для создания задач были привлечены одни из ведущих математиков в своих областях, более 60 штук — 14 из них обладают золотыми медалями международной олимпиады по математике, и один обладатель Филдсовской премии (угадайте кто).
Задачи покрывают почти все топики современной математики, и некоторые из них строятся на совсем недавних открытиях и исследованиях. Самой главной проблемой, мешающей LLM'кам справляться с задачами, авторы называют экстремальную ограниченность в тренировочных данных для отдельных моделей. Terence Tao сказал, что «релевантные данные практически не существуют. Мы говорим о примерно десятке статей с релевантными вещами». Причём, они везде очень разные — суммарно авторы насчитали около 200 уникальных техник, применяемых в решениях, при этом самые часто встречающиеся пары техник попались всего лишь в 3 задачах.
Однако у бенчмарка есть пара недостатков:
1) задачи были сделаны таким образом, чтобы их можно было автоматически проверять; это сразу же накладывает ограничения на формат и гибкость. В частности, не проверяется ход решения (но угадать ответ практически нереально).
2) список задач не включает в себя доказательства, ответом является формула или число/набор чисел.
3) из-за сложности задач и времени, необходимых на решение не автору (несколько часов, и то не всегда справляются), не проводилась перепроверка решений и ответов каждой задачи, и не замерялось качество «усреднённого» математика. Аналитику провели по 25 задачам и прикинули, что ошибок не более 10%.
Эксперименты: авторы написали средней длинны промпт, который подсказывает модели, в каком формате ожидаются ответы, и что можно попробовать сделать отправку кода несколько раз. Если происходит ошибка — модели дают обратную связь, и процесс продолжается до тех пор, пока не будет достигнут лимит в 10'000 токенов. Модели ведут себя по разному, например o1-preview в среднем делает 1.29 попыток ответить, а Grok 2 — 3.81. Лимит токенов тоже немного мешает — gpt-4o упиралась в него в 45% решений, а ведь это даже не o1 с её длинными цепочками рассуждений.
Самый сложный бенчмарк по математике для LLM от Epoch AI. Если сейчас зачастую у новых наборов проблем передовые нейронки решают 30-50% задач, то в этом суммарно все они, от Grok-2 до o1-preview, решили... 4 задачи (каждая по отдельности меньше 2% от общего числа). Почему? Потому что для создания задач были привлечены одни из ведущих математиков в своих областях, более 60 штук — 14 из них обладают золотыми медалями международной олимпиады по математике, и один обладатель Филдсовской премии (угадайте кто).
Задачи покрывают почти все топики современной математики, и некоторые из них строятся на совсем недавних открытиях и исследованиях. Самой главной проблемой, мешающей LLM'кам справляться с задачами, авторы называют экстремальную ограниченность в тренировочных данных для отдельных моделей. Terence Tao сказал, что «релевантные данные практически не существуют. Мы говорим о примерно десятке статей с релевантными вещами». Причём, они везде очень разные — суммарно авторы насчитали около 200 уникальных техник, применяемых в решениях, при этом самые часто встречающиеся пары техник попались всего лишь в 3 задачах.
Однако у бенчмарка есть пара недостатков:
1) задачи были сделаны таким образом, чтобы их можно было автоматически проверять; это сразу же накладывает ограничения на формат и гибкость. В частности, не проверяется ход решения (но угадать ответ практически нереально).
2) список задач не включает в себя доказательства, ответом является формула или число/набор чисел.
3) из-за сложности задач и времени, необходимых на решение не автору (несколько часов, и то не всегда справляются), не проводилась перепроверка решений и ответов каждой задачи, и не замерялось качество «усреднённого» математика. Аналитику провели по 25 задачам и прикинули, что ошибок не более 10%.
Эксперименты: авторы написали средней длинны промпт, который подсказывает модели, в каком формате ожидаются ответы, и что можно попробовать сделать отправку кода несколько раз. Если происходит ошибка — модели дают обратную связь, и процесс продолжается до тех пор, пока не будет достигнут лимит в 10'000 токенов. Модели ведут себя по разному, например o1-preview в среднем делает 1.29 попыток ответить, а Grok 2 — 3.81. Лимит токенов тоже немного мешает — gpt-4o упиралась в него в 45% решений, а ведь это даже не o1 с её длинными цепочками рассуждений.
🤔6
В среду после выборов я рассказывал про векторные поля (по программе попало), а там как раз conservative vector fields. А еще можно нарисовать векторное поле < -y, x >, и получить... хм, неоднозначную картинку, которая много где запрещена. Ясное дело, от такого я удержался, ну и говорил больше gradient vector fields вместо conservative.
(для любителей строгих определений - это конечно разные понятия, и про conservative надо говорить про интегралы по гомотопичным друг другу путям; то есть, gradient = точные формы, conservative = замкнутые)
А про то, чем стране грозит результат выборов, вот например юридический разбор худшего сценария, по-русски https://open.substack.com/pub/igorslabykh/p/1b2
(для любителей строгих определений - это конечно разные понятия, и про conservative надо говорить про интегралы по гомотопичным друг другу путям; то есть, gradient = точные формы, conservative = замкнутые)
А про то, чем стране грозит результат выборов, вот например юридический разбор худшего сценария, по-русски https://open.substack.com/pub/igorslabykh/p/1b2
Substack
Inbox | Substack
🕊11🤡8🤮6😭1👀1
Исследование, проведенное в Норвегии, показало, что приобретение электровелосипеда (e-bike) значительно увеличивает ежедневное использование велосипеда. Среднее расстояние, преодолеваемое на велосипеде, возросло с 2,1 км до 9,2 км, что составляет увеличение на 340%. Доля поездок на велосипеде в общем объеме транспортных средств также увеличилась с 17% до 49%.
https://www.sciencedaily.com/releases/2015/05/150520083254.htm
У меня рост использования ещё больше - практически с нуля:) по нашим горам только на ебайке и можно!
(фото ебайка - в сториз прямо сейчас)
https://www.sciencedaily.com/releases/2015/05/150520083254.htm
У меня рост использования ещё больше - практически с нуля:) по нашим горам только на ебайке и можно!
(фото ебайка - в сториз прямо сейчас)
ScienceDaily
More cycling with e-bikes
Electric bikes make people cycle longer and more often, a new study concludes, adding that the effect is best on women. A new study focused on how people use the electric bike and how the electric bike may contribute to a decrease in motor traffic.
⚡9🔥2❤1
Forwarded from воспоминания математиков
из черновиков Софьи Ковалевской (взято из книги Michèle Audin, "Remembering Sofya Kovalevskaya")
❤6👍4😍4