Forwarded from tropical saint petersburg
Richard Hammack, Book of Proof. Замечательный текст для первокурсников для чтения о том, как писать математику
❤4
https://xcancel.com/JohSch314/status/2001300666917208222
https://arxiv.org/abs/2512.14575
vibe-proving и правда начинается
https://arxiv.org/abs/2512.14575
vibe-proving и правда начинается
Apart from the mathematical content, this paper is also meant as an experiment in collaborations between human mathematicians and AI models: the proof of the above result was found and formulated by the AI models GPT-5 and Gemini 3 Pro. Large parts of the paper were drafted by Claude Opus 4.5, and a part of the argument was formalized in Lean with the help of Claude Code and GPT-5.2. The paper aims for maximal transparency on the authorship of different sections and the employed AI tools (including prompts and conversation logs).
arXiv.org
Extremal descendant integrals on moduli spaces of curves: An...
For the pure $ψ$-class intersection numbers $D(\textbf{e})=\langle τ_{e_1} \cdots τ_{e_n} \rangle_g$ on the moduli space $\overline{\mathcal{M}}_{g,n}$ of stable curves, we determine for...
🤡6🤬5😢2👍1🤔1
Bard College
Brigham Young University
Yale University
George Washington University
Что же объединяет эти уважаемые заведения? Кроме того, что в трех из четырех я бывал, но не по работе, а просто погулять (а к мормонам пока не доехал)
Brigham Young University
Yale University
George Washington University
Что же объединяет эти уважаемые заведения? Кроме того, что в трех из четырех я бывал, но не по работе, а просто погулять (а к мормонам пока не доехал)
❤6
Факториалы - зло!
(если надо перебирать все перестановки, то лучше не перебирать)
(если надо перебирать все перестановки, то лучше не перебирать)
😁12
Сегодня машина, на которой я приехал на конференцию в Вашингтон, стоит без дела за 88$ в день.
А каков ваш максимум, который вы готовы были бы потратить в день на парковку?
(PS это по работе - за свои бы я запарковал бы в километре пешком или вообще на перехватывающей парковке у метро; мой комфортный максимум за свои это баксов 20, наверное...)
А каков ваш максимум, который вы готовы были бы потратить в день на парковку?
(PS это по работе - за свои бы я запарковал бы в километре пешком или вообще на перехватывающей парковке у метро; мой комфортный максимум за свои это баксов 20, наверное...)
qtasep 💛💙
Сегодня машина, на которой я приехал на конференцию в Вашингтон, стоит без дела за 88$ в день. А каков ваш максимум, который вы готовы были бы потратить в день на парковку? (PS это по работе - за свои бы я запарковал бы в километре пешком или вообще на перехватывающей…
Следующий рекорд этой поездки – позавтракать за $42, и даже хлеба не дали. Фоток не будет, к сожалению. Элитное ценообразование такое элитное
😱9
Послал имейл четырем людям 5 дней назад. До сегодняшнего дня думал, что трое из них ответили. Сегодня посмотрел и понял, что это я один ответ прочитал три раза и оставил непрочитанным. Имейл - все-таки то еще зло, но лучше кажется ничего не придумали.
😁14❤2
r/math обычно помойка, но вот это доставило, “Proofs from the crook”.
Например, любое число есть сумма трёх палиндромов (с доказательством на дофина страниц) , или ещё всякая жесть, сводимая к классификации конечных простых групп…
https://www.reddit.com/r/math/comments/1q4s7it/proofs_from_the_crook/
Инджой
Например, любое число есть сумма трёх палиндромов (с доказательством на дофина страниц) , или ещё всякая жесть, сводимая к классификации конечных простых групп…
https://www.reddit.com/r/math/comments/1q4s7it/proofs_from_the_crook/
Инджой
Reddit
From the math community on Reddit
Explore this post and more from the math community
😁2❤1🔥1
С сегодняшнего дня на два месяца на галеры. Ну хотя бы на два, а не три с половиной, как обычно...
Forwarded from PLUSHEV/ПЛЮЩЕВ
Конгрессмен-республиканец Рэнди Файн внёс законопроект об «аннексии и предоставлении статуса штата» Гренландии со стороны США.
🤪9😁2
Ненавижу
Please note:
• The proof is sent to you for correction of typographical errors only. Revision of the substance of the
text is not permitted, unless discussed with the editor of the journal. Only one set of corrections are
permitted.
• Please answer carefully any author queries.
• Corrections which do NOT follow journal style will not be accepted.
• A new copy of a figure must be provided if correction of anything other than a typographical error
introduced by the typesetter is required.
• If you have problems with the file please contact
🤯6
https://www.insidehighered.com/news/governance/executive-leadership/2025/06/03/florida-board-rejects-ono-uf-job
Классная история - чувак был президентом университета Мичигана и был за DEI, а недавно решил стать университета Флориды и затопил против DEI, в итоге из Мичигана он успел подать в отставку. А во Флориде такой политической гибкости не оценили, и решили его не нанимать. В итоге остался без обеих работ, такие дела.
Классная история - чувак был президентом университета Мичигана и был за DEI, а недавно решил стать университета Флориды и затопил против DEI, в итоге из Мичигана он успел подать в отставку. А во Флориде такой политической гибкости не оценили, и решили его не нанимать. В итоге остался без обеих работ, такие дела.
Inside Higher Ed
Florida Board Rejects Ono for UF Job
The Florida Board of Governors decided against confirming Santa Ono as president of the University of Florida in a contentious vote focused on diversity, equity and inclusion.
🥰4
https://www.nytimes.com/2026/01/16/us/uva-resignations-abigail-spanberger.html?unlocked_article_code=1.E1A.s1lv.3TQhWc0js9u-
А у нас вот такие новости. Приятно осознавать, что когда-то твои небольшие протесты и твой голос на выборах что-то значат, хоть на таком уровне
А у нас вот такие новости. Приятно осознавать, что когда-то твои небольшие протесты и твой голос на выборах что-то значат, хоть на таком уровне
NY Times
Some U.Va. Board Members Asked to Resign as Gov. Abigail Spanberger Takes Power (Gift Article)
After months of upheaval at the state’s flagship university, a new Democratic governor appeared ready to shake up the school’s leadership.
👍2
https://github.com/lenis2000/CLI-PDF-EPUB-reader
Мечта писать тех чисто в консоли (kitty) сбылась с вот этой тулзой (которую я хорошенько отфоркал) - с одной стороны вим, с другой вот этот пдф-просмотрщик, сбоку еще автосборщик теха, и все само обновляется, летает, и не глючит.
Прыжок из теха на нужную страницу есть, обратно пока нет, но может быть и сделаю.
Оверлиф - еще глубже в топку!
Мечта писать тех чисто в консоли (kitty) сбылась с вот этой тулзой (которую я хорошенько отфоркал) - с одной стороны вим, с другой вот этот пдф-просмотрщик, сбоку еще автосборщик теха, и все само обновляется, летает, и не глючит.
Прыжок из теха на нужную страницу есть, обратно пока нет, но может быть и сделаю.
Оверлиф - еще глубже в топку!
👾5