Мат. Салат

Час назад ЭТО было зданием НАН Украины.

Искренне желаю всем причастным и поддерживающим того же с их домами и близкими

Вернулись с 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?

Оба автора совсем не случайные

картинки на выходных. Если вы путешествуете от Гавайев до Антарктиды по прямой, то пересечёте международную линию смены дат семь раз. Источник: buff.ly/2USA0Ym

О, а вот и опровержение одного из контрпримеров, типа построенных ИИ, не задержалось