Неизвестный араб из Аалто, Что же он вчера доказал-то, Отрицал разумность он дзеты, И пятёрку писал так и эдак, Неизвестный араб из Аалто. ζ(5) is irrational и верификация в lean (спасибо Дмитрию Рыбину)
tropical saint petersburg
Динамика подписчиков
с 20 июля 2026 по 28 сентября 2026 · минимум 3 160 · максимум 3 230
Кто рекламировался за полгода
Рекламных размещений с маркировкой не найдено.
Публикации
Интересно как теперь заявки на гранты писать. Если прям что-то интересное хочешь сделать, рецензент закидывает заявку в ИИ. Если получилось — публикует. Если нет — пишет рецензию, что заявка нереалистичная. Выход такой видится — давать гранты только тем, кто их уже получал, пока не прояснится, как жить дальше. Или вообще, например, не давать. Или давать только условным академикам, а они уж там потом пусть раздают…
очень мне понравились мысли Игоря Пака о будущем математики в свете ИИ (и ии пересказ выше).
красиво пишется Галадриэль. Видно, что гласные обозначаются диакритическими знаками (из позиций буквы "л").