Мат. Салат

13 октября 1862 года математик Чарльз Лютвидж Доджсон сделал запись в своём дневнике: «Начал писать сказку об Алисе, надеюсь закончить её к Рождеству». Сказку, в которой было бы «побольше чепухи» он пообещал 10-летней Алисе Лидделл. #календарь

🧠 Apex Minds — олімпіадна математика українською Запустили безкоштовний банк олімпіадних задач з розв'язками: ✅ 21 566 задач з умовами й розв'язками ✅ 58 змагань за 51 рік — від Всеукраїнської олімпіади й турнірів матбоїв до IMO та EGMO ✅ 4–11 класи, складність від 1 до 20 ✅ пошук за темою, класом і рівнем змагання 🆕 збирайте власні добірки і зберігайте їх у PDF або Word — з розв'язками чи без ✅ без реєстрації, з телефона Для учнів, які готуються до олімпіад, і для вчителів, що готують листки для уроку чи гуртка. 👉 apex-minds.org Будемо вдячні, якщо поділитеся з колегами, учнями й батьками 🙏 Apex Minds — проєкт Apex Talent Foundation

Фестиваль книги закончился. Послевкусие осталось очень интересное. В этом году почти ничего не купила, но была на многих презентациях. Мне показалось, что фестиваль был (в хорошем смысле этого слова) был более политизирован, чем обычно. Это, в общем-то, не удивительно: Испания и Греция ещё не прожили травму своих гражданских войн, в Греции -- хунта, в Испании -- Франко, у Кипра трагедия 1974... Очень много коммунистической литературы. Много социальных наук, много детской книги. Было больше местных книг, меньше переводов. Из естественных наук увидела аж "краткую историю времени", биографию Эвариста Галуа и учебник олимпиадной комбинаторики для школьников. Грустно. Я мало знакома с испанской литературой, поэтому не знаю, это был такой уклон именно этих организаторов, или на самом деле, главный вопрос испанской поэзии времен гражданской войны: "Для кого и для чего мы пишем?" В очередной раз задумалась над тем, какое все-таки таинство заключено в песне. Есть много гениальной музыки, но ведь мало кто ходит, напевая под нос 2й концерт Рахманинова. Кто, в самом деле, помнит наизусть и чувствует наигениальнейшие стихи?.. Ровно до тех пор, пока их не положат на музыку. Вот и звучат Элитис, Неруда и Лорка, буквально, в каждом грекоязычном доме уже 50 лет (и, я уверена, столько же будут). Самое яркое впечатление (не только фестиваля, вообще, интеллектуальное переживание года) -- фильм La lengua de las mariposas режиссёра Хосе Луиса Куэрды. Смотрела на испанском, с английскими субтитрами ( omg!). Настоятельно советую всем. Не хочу спойлерить, поэтому кратко: Восьмилетний мальчик идет в школу и поначалу боится её, но попадает под опеку мягкого, свободомыслящего и любящего природу учителя. Почти весь фильм тёплый и ироничный, с претензией даже на некую легкость. Тем сильнее контраст с (логичным и абсолютно закономерном в своей жестокости) трагичным финалом. А какой, собственно, мог быть конец у такой истории с приходом Франко?..

Н-да, сегодняшнее coming out от openAI, конечно, впечатляет. Математика таки сильно меняется...

Час назад ЭТО было зданием НАН Украины. Искренне желаю всем причастным и поддерживающим того же с их домами и близкими

Вернулись с European Researcher Night (проводится каждый год уже 30 лет в последнюю пятницу сентября, в этом году участвовали 25 стран). Как обычно, самое яркое впечатление от конкурса детских stem-докладов. Как обычно, было круто. И, как обычно, мне в душу запали не те, кто запал в душу жюри (хотя, как сегодня было выбирать, вообще не представляю). 1) Мой личный топ-лист: мальчик с домашним экспериментом по биоочистке "серой воды" (вода+мыло и шампунь) для безопасного использования ее для полива 2) Девочка с реальным предложением улучшить приложение FixCyprus, чтоб оно могло автоматически передавать инфо про выбоины. (Ага, у меня тут шкурный интерес, я часто в Менеу бываю. ИМХО, могло б сработать. Нет, не верю, что внедрят). 3) рассказ о том, как новые открытия James Webb telescope, похоже, не подтверждают теорию Большого Взрыва. Вообще, очень люблю такие мероприятия, там всегда есть о чем подумать

Понятно, почему взлетела комбинаторика. А вот Metric Geometry мне непонятна. Там тоже ИИ?

Стащила у qtasep немного статистики по подачам в АрХив. Такими темпами АрХив, конечно, загнется скоро. Или начнут рецензировать

Индийские научно-популярные журналы, конечно, радуют выбором тем для своих спецвыпусков и выбором авторов для них же

Возникло сообщество математиков, выступающих за науку без ИИ The Association for Human Mathematics (AHM) выступает за сохранение человеческого авторства и независимости математики от ИИ-компаний. Участники ассоциации считают, что самостоятельное размышление и работа над текстами необходимы для глубокого понимания математики. Члены ассоциации обязуются не сотрудничать с коммерческими ИИ-компаниями и не публиковать математические тексты, сгенерированные моделями. Внутри ассоциации также действует группа AI-free, участники которой дополнительно отказываются от использования ИИ в исследованиях, при поиске доказательств, изучении примеров и постановке научных вопросов. Среди участников ассоциации: Peter Scholze Michael Harris Anand Pillay Sophie Morel Ana Caraiani

Кипрская математическая организация вывесила новые правила проведения олимпиад и конкурсов. В частности, теперь в призерах допускается только 1/3 детей без кипрского гражданства

ОБВИНЕНИЕ 1a. OpenAI "украло" направление исследований Тристана и Левента до того, как те опубликовали свои результаты. ОТВЕТ. OpenAI признают, что собрали команду математиков и физиков и дали им доступ к новой модели и огромному количеству ресурсов специально с целью добиться прогресса в "проблемах тысячелетия", и что эта команда начала работать всего 10 дней назад, и что это случилось в ответ на слухи о прогрессе в Anthropic. Они отрицают, что знали что-то о конкретном направлении. ОБВИНЕНИЕ 1b. OpenAI читали то, как T&L общались с моделями OpenAI, и использовали это. ОТВЕТ: отрицают, что люди или модели смотрели конкретно на их логи, не отрицают, что теоретически возможно, что раньше и вне связи с этим проектом новая модель тренировалась в том числе на этих логах. От себя добавлю: то, что OpenAI не отвергают возможности того, что внутренняя модель видела логи T&L во время тренировки, в глазах многих комментаторов практически подтверждает обвинение в "краже", хотя другие заявляют, что это нормальная ситуация в любой из ведущих ИИ-компаний во время тренировки модели. Уже случился следующий раунд переругивания: Левент Альпёге прокомментировал этот отрывок в духе "хорошо, что они это признали", а директор из OpenAI возмущенно возразил, что это недостойная провокация. Еще добавлю, что многие высказали предположение, что некоторые из 10 тысяч агентов OpenAI могли вырваться из своей "песочницы", как в инциденте HuggingFace, и в поисках решения найти и прочитать логи Бакмастера и Левента. Не очень понятно, насколько это реальная возможность; директор команды инфраструктуры OpenAI написал, что они следили за тем, чтобы такое не могло случиться, но опять-таки неясно, насколько этому можно доверять. Учитывая то, за какими замками обычно хранят логи пользователей в таких компаниях, мне кажется маловероятным, но не абсолютно невозможным. ОБВИНЕНИЕ 2. OpenAI собирались заявить, что решили задачу практически без участия людей (так вначале сказали Бакмастеру), хотя на самом деле сформировали целую команду ученых и посадили за это. ОТВЕТ. OpenAI утверждают, что команду сформировали, чтобы пытаться решить сразу несколько разных "проблем тысячелетия", но в ней не было специалистов по этой конкретной теме и в итоге они почти ничего не делали. ОБВИНЕНИЕ 3. OpenAI пытались договориться с Бакмастером о совместном авторстве решения, и даже сделать его единственным автором-человеком, лишь бы не признавать заслуг Альпёге, потому что тот работает на конкурента. ОТВЕТ. Утверждают, что пытались говорить с Альпёге, но тот не хотел. Также прозвучало обвинение в том, что Бакмастер и Альпёге пользовались внутренней моделью Anthropic, что в принципе противоречит духу (хоть и не букве) заявления Бакмастера о том, что они всю работу делали частным образом, как рядовые пользователи ИИ. Я не видел пока ответа Альпёге или Бакмастера на это обвинение. От себя добавлю, что Бакмастер - признанный ведущий специалист в этой области, а Альпёге вообще никакой не специалист в этой области, хоть и считается очень талантливым математиком. Мне попадались циничные заявления на эту тему в духе того, что их "сотрудничество", которое началось год назад, когда Альпёге приватно предложил его Бакмастеру, заключалось в том, что он использовал ИИ, в том числе внутренние модели Anthropic, посылал результаты Бакмастеру, а тот их интерпретировал и "вычищал". Не знаю, насколько это реально. ОБВИНЕНИЕ 4. Себастьян Бубек, один из директоров OpenAI, пытался запугать Бакмастера во время разговора с ним, когда тот высказал свои подозрения и сказал, что опубликует их, если OpenAI не ответят на его вопросы; он использовал фразы типа "Зачем вам губить свою карьеру?" и "Если вы нехорошо поступите с нами, я не вижу причины хорошо поступить с вами". ОТВЕТ: Бубек признает, что использовал такие фразы, сожалеет об этом, и пытается объяснить это фрустрацией от параноидальных обвинений Бакмастера, который не хотел слушать их объяснения. Кажется, все.

Ну что ж, пришло время для ИИ решить одну из семи математических "проблем тысячелетия" - всего два месяца после того, как в июле математики увидели, как новые топ-модели начинают решать известные открытые проблемы, над которыми работало много первоклассных математиков. Сегодня OpenAI заявила, что их внутренняя модель (намного более мощная, чем выпущенная на днях Astra, и в формате "рой из 10 тысяч агентов") за несколько дней решила проблему гладкости решений уравнения Навье-Стокса. Эта задача связана с пониманием движения жидкости и особенно турбулентности в ней. Возьмите чашку молока и начните размешивать его ложечкой круговыми движениями. Вы создаете вихри, и ваши вихри в процессе своего кручения закручивают сильнее другие мини-вихри меньшего радиуса в молоке; одновременно вязкость молока ослабляет и гасит эти мини-вихри, и распределяет энергию однородным образом. Верно ли, что теоретически может быть такое, что, пока вы продолжаете помешивать молоко одинаковым образом, и несмотря на сглаживающую вихри вязкость, мини-вихри в молоке будут становиться все тоньше и одновременно быстрее, так что их угловая скорость за конечное время увеличивается неограниченно, стремясь к бесконечности? Такое явление называют "взрыв" (blow-up). Это чисто математический вопрос - физически это невозможно, потому что более тонким, чем одна молекула, вихрь стать не может. Но тем не менее ответ на него влияет на наше понимание турбулентности в жидкости вообще. OpenAI опубликовала полученное AI доказательство, что для любых разумных начальных условий возможно существование "взрывов", таким образом опровергая гипотезу о том, что решения Навье-Стокса должны быть гладкими. Похоже, вместе с тем, что скандал, связанный с этим открытием, затмевает само открытие. За 12 часов до публикации OpenAI уважаемый математик Тристан Бакмастер опубликовал статьи с частичным прогрессом к той же цели (не доходящим до полного решения), и одновременно обвинил OpenAI в неэтичном поведении. Он рассказал, что весь последний год вместе с другим математиком Левентом Альпёге работал над решением проблемы Навье-Стокса с помощью AI. При этом они делали это по своей частной инициативе, хотя Альпёге работает в конкуретной фирме Anthropic и не раз за последний год анонсировал решение важных открытых проблем с помощью Клода, ИИ от Антропик. Несколько дней назад OpenAI связались с Бакмастером и сообщили (я тут сильно сокращаю), что ввиду слухов о прогрессе в Anthropic над "проблемой тысячелетия" они сформировали отдельную команду, дали ей "безумное количество ИИ-ресурсов", и смогли решить проблему Навье-Стокса; они предложили Бакмастеру соавторство и даже главное авторство в статье о результатах, но только ему, а не Альпёге, сотруднику конкурентов. Самое жесткое обвинение Бакмастера - это что он подозревает, что OpenAI использовали логи общения Бакмастера и Альпёге с ChatGPT (а они использовали как модели Anthropic, так и OpenAI в своем исследовании), чтобы "украсть" то направление, в котором они бились над задачей, подсказать его гораздо более мощной модели с безумным количеством ресурсов, и таким образом обогнать их в гонке к результату (он утверждает, что они выбрали одно из самых мало-перспективных, по общему мнению до того, направлений, и что модель вряд ли выбрала бы его сама по себе). OpenAI ответили на эти обвинения сегодня утром и отрицают, что сознательно смотрели на логи кого-либо для решения этой задачи, хотя не могут в принципе исключить возможность того, что эти логи когда-то раньше, вместе с миллионами других, использовались для тренировки этой самой внутренней модели. Я воспользуюсь ясным и четким разбором Jaime Sevilla, главой компании EpochAI, в твиттере - он разделил длинный документ Тристана Бакмастера на пять четких обвинений в сторону OpenAI, и под каждым напишу, как на него ответила или не ответила OpenAI сегодня. Это больше, чем вы получите от пересказов этого скандала в прессе. Несомненно, этот скандал еще не закончен, но мне пока этого хватит. 👇

А вот аккуратный разбор скандала от АВВА:

История там не очень чистая в плане кто что у кого и как чисто подсмотрел и кто в чьи персональные файлы несанкционированно залез. Но е ли это правда, то круть

OpenAI выложили решение задачи тысячелетия Чтоооо

Картинки на выходных

Студенты попросили добавить в черновик учебника раздел по комбинаторике. В связи с этим родилась безумная амбициозная идея попытаться написать его прилично, без использования привычного нам неточного арго. У меня, понятно, глаз замыленный кружково-олимпиадными плавающими формулировками, где как бы угадывается что автор (возможно) подразумевал. А мой соавтор — человек чистых и строгих в математике нравов, так что может, и получится

Діяти щоб відновити сферу потрібно вже зараз. Підтримуйте тих хто постраждав (список буде доповнюватись) Урбіно (також запустили акцію на -30 на всі ел. книги додатково) Паперові -10% Уроборос Віват Основи Readeat Book.ua Старий лев АртБукс Віхола Стилет і стилос Верба Бімба Книголав IPIO Уважно! В видавництва "Хто це" згоріло 80% книг на складі Їхній сайт ТУТ Абабагаламага Видавництво Видавництво Крапки УВАГА У НИХ ТЕЖ ВСЕ ДУЖЕ НЕДОБРЕ Муркіт Букшеф Ранок Пломінь creative women publishing Стретович Лабораторія Жорж Риби на даху Небо Наш Формат Varvar Маміно Фабула Твоя підпільна гуманітарка Ще одну сторінку RM Контур Сафран Відкриття Компас Печера Платона Читаріум ist publishing

Поставлю рядом два эссе: пессимистическое THE CRISIS OF AI-GENERATED MATHEMATICS и более оптимистичное What is mathematics now, and what should it be? Оба автора совсем не случайные