Forwarded from Жалкие низкочастотники
Тут на днях сети принесли colab с TPU где можно немножко позапускать полноценную GPT-J-6B (это такая народная open source версия GPT-3). Среда заваривается минут 15 в общей сложности, но потом обработка одного промпта происходит достаточно быстро, секунд за 10.
Попробовал заставить её генерировать анекдоты про математиков в баре, делюсь с вами результатами (почти без черри-пикинга):
A mathematician walks into a bar. A mathematician and a philosopher stand by the bar, in conversation, and a bartender is doing his rounds. The mathematician says to the philosopher, “You know that art and philosophy are branches of mathematics, don’t you?” The philosopher says, “Yes, I knew you’d eventually ask that question.”
A 0 of mathematicians walk into a bar, and they are immediately thrown out because "0 is used for zero" or some other way of saying "0 is a number".
An infinite number of mathematicians walk into a bar, and just one gets his research published. Who is that?
An negative number of mathematicians walk into a bar, and say "I'm actually going to be less than zero".
A transcendental number of mathematicians walk into a bar,
and hear one mathematician say, "Look, I've found the best beer in town."
This mathematician says, "And look, I've found the best steak in town."
A quaternion number of mathematicians walk into a bar,
A pair of discrete logarithms, A prime gap,
A clash of protocols, A geometrical proof,
A product of exiles, A cosmic lie,
A shape-changing goblet, A parallelogram of regular solids,
An obstruction course, A normal subgroup,
An impulse of bits, An irrational number of settings
...
Попробовал заставить её генерировать анекдоты про математиков в баре, делюсь с вами результатами (почти без черри-пикинга):
A mathematician walks into a bar. A mathematician and a philosopher stand by the bar, in conversation, and a bartender is doing his rounds. The mathematician says to the philosopher, “You know that art and philosophy are branches of mathematics, don’t you?” The philosopher says, “Yes, I knew you’d eventually ask that question.”
A 0 of mathematicians walk into a bar, and they are immediately thrown out because "0 is used for zero" or some other way of saying "0 is a number".
An infinite number of mathematicians walk into a bar, and just one gets his research published. Who is that?
An negative number of mathematicians walk into a bar, and say "I'm actually going to be less than zero".
A transcendental number of mathematicians walk into a bar,
and hear one mathematician say, "Look, I've found the best beer in town."
This mathematician says, "And look, I've found the best steak in town."
A quaternion number of mathematicians walk into a bar,
A pair of discrete logarithms, A prime gap,
A clash of protocols, A geometrical proof,
A product of exiles, A cosmic lie,
A shape-changing goblet, A parallelogram of regular solids,
An obstruction course, A normal subgroup,
An impulse of bits, An irrational number of settings
...
Forwarded from Непрерывное математическое образование
https://www.popmech.ru/design/239351-kak-vyglyadit-matematika-realnye-voploshcheniya-abstraktnykh-formul/
в качестве картинок по выходным
см. также http://www.segerman.org/
в качестве картинок по выходным
см. также http://www.segerman.org/
www.techinsider.ru
Высокое искусство математики в 3D: как Генри Сегерман придает числам физическую форму
Художник превратил абстрактные математические концепции в реальные завораживающие объекты.
Forwarded from Непрерывное математическое образование
https://elementy.ru/kartinka_dnya/1411/Rekordnyy_mnogougolnik_Kheesha
в качестве картинок на эти выходные
в качестве картинок на эти выходные
«Элементы»
Рекордный многоугольник Хееша • Картинка дня
Квадрат легко окружить его копиями в один, два, да и вообще в любое число слоев — до бесконечности. То же самое с правильным треугольником. А вот с правильным пятиугольником так не выйдет: его даже одним слоем из таких же пятиугольников окружить нельзя. Оказывается…
Пора заводить твиттер, столько прикольных штук пропускаю!
Например: https://ncatlab.org/johnbaez/show/Entropy+as+a+functor
Например: https://ncatlab.org/johnbaez/show/Entropy+as+a+functor
у меня тут наполовину арт-проект, наполовину коллекция красивых теорем с иллюстрациями (моими!)
буду постить сюда
буду постить сюда
🔥3
В первой колонке сфера, которая показалась мне слишком скучной и я добавила ей узорчик.
Во второй - типичные представители семейства, тор-двухторье-трехторье
В третьей - ну, честно говоря, нарисовать проективную плоскость довольно-таки трудно, так что тут метафора. Это сфера с двумя склеенными антиподальными точками, если продолжить в том же духе - получится проективная плоскость.
А под проективным цветочком живут две плоскости Фано, это конечная проективная плоскость порядка два, на которой кстати я забыла нарисовать точки (точки важны!)
Во второй - типичные представители семейства, тор-двухторье-трехторье
В третьей - ну, честно говоря, нарисовать проективную плоскость довольно-таки трудно, так что тут метафора. Это сфера с двумя склеенными антиподальными точками, если продолжить в том же духе - получится проективная плоскость.
А под проективным цветочком живут две плоскости Фано, это конечная проективная плоскость порядка два, на которой кстати я забыла нарисовать точки (точки важны!)
❤3
Тут тоже рисунок-метафора: не-эргодический цветок с иррациональным вращением в середине захватывает всю страницу иррациональным вращением. Я не хотела рисовать градусник и окружность, хотя это мое любимое объяснение теоремы Биркгоффа, потому что, ну, это очень буквально. Иррациональное вращение захватывает всю свою маленькую вселенную - вот такое мне по нраву!
upd: Хочу напомнить, что в эргодической системе всегда одна орбита и она "заметает" все пространство, и тогда мера её единица, поэтому конечно же нужно сделать бесконечно много "мотков", чтобы все работало - но тогда страница была бы черной!
upd: Хочу напомнить, что в эргодической системе всегда одна орбита и она "заметает" все пространство, и тогда мера её единица, поэтому конечно же нужно сделать бесконечно много "мотков", чтобы все работало - но тогда страница была бы черной!
❤2👍2
Это я в поисках по-человечески сформулированной теоремы о сходимости мартингалов - с точки зрения measure theory, not probability. Извините, я немножко сноб, я не люблю probability. Спойлер: да, я хочу её нарисовать! (Рисунок, к сожалению, придумала не я - я его украла из лекции Каймановича, на которой мне посчастливилось поприсутствовать)
Нашла-таки хороший текст, если вам надо мартингалы:
https://www.stats.ox.ac.uk/~etheridg/martingales.pdf
https://www.stats.ox.ac.uk/~etheridg/martingales.pdf
http://homepages.math.uic.edu/~mbhull/hyperbolic%20lecture%20notes.pdf
Очень хороший текст по гиперболическим группам и всему их окружающему
Очень хороший текст по гиперболическим группам и всему их окружающему