925
Записки о математической жизни Чат: https://t.me/joinchat/BCSdHVP_gcngjmzOTrQ96g
Принстон немножко охренел
https://ehs.princeton.edu/personal-electric-vehicle-policy
Полный бан на все ебайки, вот прям вообще всем.
Когда они снимали ремиксы/сиквелы звездных войн, было ещё ниче. Теперь пришло время сиквелов Аполлона, что же ещё будет сиквелнуто дальше?
Читать полностью…
https://lpetrov.cc/tetris/
Замучился искать тетрис без рекламы, пришлось самому написать. Работает в браузере, без смс, регистрации, и запоминания очков лол
Посмотрел Project Hail Mary, и это теперь мой любимый Sci-Fi после Interstellar
Не смотрите трейлеры или ревью, просто посмотрите фильм
🗿
Тэээк, дипмайнд наносит ответный удар (в профиле написано, что чел там работает)
https://xcancel.com/GretaPanova/status/2036280003235811780#m
Вообще мы писали самые быстрые калькуляторы для полиномов Шуберта и семплер для вот таких картинок… а потом за пару дней до того, как статья была готова, я решил пройтись по каким-то очевидным множествам вокруг ранее известных максимумов - типа, что будет, если перестановку (для которой был известный до этого максимум) умножить на одну-другую элементарную транспозицию? Ну и вот, НАШЕЛ пару контрпримеров:)
А дальше соавторы дали мой пример для n=17 гпт про, и он сразу нашел один ещё лучше!
Самое ли это большое значение Шуберта для 17, мы пока опять же не знаем
В Силиконовой Долине в 5 утра настолько все вибрируют код, что Клод приходится запускать из-под ВПН!
Читать полностью…
"...However, there is no general theory of CLT-like results currently"
https://arxiv.org/abs/2603.08266
когда же вы уйметесь-то
https://youtu.be/JHEO7cplfk8
Если вы математикой занимаетесь не так, то песенка ваша спета?
в качестве картинок по выходным — геометрия в «British mineralogy, or, Coloured figures intended to elucidate the mineralogy of Great Britain»
сканы оригинала доступны на странице https://www.biodiversitylibrary.org/bibliography/63277
см. также https://www.c82.net/mineralogy/
Вайб-рисерч от Кнута
(того самого)
https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf
https://lpetrov.cc/arxiv/
заходите на обновленный фид нашей науки!
(RSS тоже есть... кто еще помнит, что это такое?)
Теперь и Стенфорд лол
https://www.bloomberg.com/news/articles/2026-04-10/russia-bans-stanford-university-as-latest-undesirable-body?embedded-checkout=true
Расписание Трампа на сегодня, например
PS Главное, не мог прилететь прям на эту винодельню на вертолете, надо ему видите ли через весь город будет кортежем фигачить...
Why was six afraid of seven?
=
\sin(21^\circ)
(мне было сегодня лет, когда я узнал вторую часть)
А где Expanse, я не понимаю? Ну а так да, посмотрим…
Читать полностью…
Леня @qtasep Петров со товарищи (D.Anderson, G.Panova) «present computational results related to principal specializations of the Schubert polynomials (…). We find the first counterexample, at n=17, to the conjecture of Merzon-Smirnov that the maximal value of S_w(1^n) is obtained at a layered permutation.»
https://lpetrov.cc/2026/03/schubert-computation-sampling/
вполне себе компьютерная математика — при этом не то что бы просто достаточно перебрать в лоб:
This conjecture was exhaustively verified by one of us (DA) for n≤13 in February 2025. (…) In May 2025, Adam Wagner (along with DA and Alejandro Morales) deployed Google DeepMind’s FunSearch to seek counterexamples to Conjecture. For n≤16 the heuristics found by the model did not uncover any counterexamples, providing weak evidence in favor of the conjecture in this range. (For larger n, time constraints limited the power of this method.)
RIP Chuck Norris
Только он знал, где все нули у дзета-функции…
В Сан-Диего немного жесть
(много поступивших студентов не знают математику на уровне старшей и даже средней школы, Карл!)
https://senate.ucsd.edu/media/740347/sawg-report-on-admissions-review-docs.pdf
Почему мне не так страшно повышение цен на бензин в связи с самизнаетечем
Читать полностью…
Немного минералов из Музея Естественной Истории в Вашингтоне, которые недавно видел
Читать полностью…
Такое расположение двух рисуночков может быть приравнено к газлайтингу рецензента. Оставляем!
Читать полностью…
Тут я впервые попробовал эмбеддинги для определения похожести документов (для каждой статьи ищем похожую из набора уже загруженных на сайт - их 4к, с 1993 что ли года... В планах еще поискать по всему вообще архиву и добавить еще пару тыщ). Так вот, офигеть конечно - применяем функцию, считаем косинусы, а в итоге находит близкие по смыслу абстракты, не смотря на авторов. Как классно же прикоснуться к магии ML...
Читать полностью…
кто совсем не знает Lean и готов потратить два часа на развлечение с ним: знать ничего не нужно, просто наводите курсор на текст или двигаете текстовый курсор и смотрите, как меняются переменные справа (я то же самое пытался в Visual Studio делать, но иногда ерунда какая-то выходила — видимо, другая версия Lean. С другой стороны, Copilot нехило так подсказывает, что вообще ничего делать не надо (когда работает). А иногда не компилится и хрен знает почему).
за два часа можно освоить как доказываются простые факты про пределы последовательностей вещественных чисел. В общем, это иллюстрация, что такое Тактики в Lean.
Я помню, таким же образом когда-то Python учил, когда сразу дают программу, и, в ней разбираясь, изучаешь язык.