йоу печенье, программное обеспечение

формализация на lean

https://github.com/openai/NavierStokesAndEuler?ysclid=mtt7bcpr24775581633

гомологии RPⁿ с коэффициентами в Z/2 считаются устно

вообще, у меня очень много различных, в большей степени негативных мыслей относительно этой истории с навье-стоксом, и вообще применением нейросетей в математике, завтра скорее всего распишу что нибудь

Согласен.
Вся эта история отдает привкусом говна. Даже если закрыть глаза на часть про авторское право и промышленный шпионаж, то есть в этом всем что-то мерзкое. Ии это крутой инструмент, который бессмысленно игнорировать. Он дает крайне сильно расширить собственную производительность по обработке хороших идей, но как самостоятельная единица пока выглядит все еще сомнительно. А эта история для людей не оч сведущих выглядит как «математики больше не нужны», что, честно говоря, раздражает.

https://mccme.ru/ru/nmu/courses-of-nmu/osen-20262027/f26-ega/

ега-3 появилась

Зря

Вылегжанин очень крут, я его фанат

мы с изолированной особенностью посмотрели что происходит в аудитории анализа-1 который читает Шапошников, и там отвратительно много народу

Это ужас, там людей сажали на трансляцию в столовой или похожей на нее помещении.