4 дня назад в твиттере начали появляться слухи, что одна из AI компаний решила то ли одну, то ли сразу две из Задач тысячелетия — списка из 7 открытых проблем, над которыми множество учёных бьются не первый десяток лет. Пока что лишь одна была решена Перельманом, который отказался от награды в миллион долларов за решение. Решение задач подобного уровня уже пару лет обсуждают как крупный майлстоун для AI и эффекта на математику и другие науки. Многие компании и стартапы пробовали и пробуют подступиться к проблемам. Сегодня раскрылась драма: один из независимых математиков выложил 3 новых результата, связанных с вопросом существования и гладкости решений Навье Стокса. Вместе с этим он выпустил 4-страничное письмо с описанием своего взаимодействия с OpenAI в последнюю неделю, где косвенно обвиняет последних в ряде плохих практик. Сотрудник(и) OpenAI сказали, что выпустят свой ответ (и возможно решение?) завтра — так что их взгляд на ситуацию ещё не ясен, как и не ясно, насколько надёжным рассказчиком является автор письма. Что с его слов произошло: — последний год он вместе с математиком из Anthropic работал над решением проблемы. Оба работали в своё время и со своими ресурсами, без аффилиации с компаниями, сами платили за свои подписки итд. — в последний месяц у них начали появляться первые значимые результаты, и 15-го августа один из авторов пересылает другому AI-сгенерированную статью, в которой тем не менее оказывается всё правильным. Авторы начинают работать над упрощением слопа и логики доказательств, делают формализацию (перевод результатов в программу, чтобы можно было верифицировать корректность). Важно подчеркнуть, что это не полное решение оригинальной задачи; Terence Tao ознакомился с работой и сказал, что эти результаты потенциально можно развить в полное решение, но на руках у авторов его не было и, насколько понимаю, всё ещё нет. — 3-го сентября, как поползли слухи о решении (что по этому повествованию является преувеличением, ведь решения нет) Навье-Стокса, один из авторов получил информацию о том, что сведения об прогрессе попали в OpenAI. Как, что, от кого и откуда — не уточняется; пока что из контекста следует, что о результате изначально знали два математика и узкая рабочая группа. — математик из OpenAI ответил в тот же день, предложил обсудить, как избежать соперничества, и ещё предложил кредиты для моделей. — Созвон состоялся 6-го сентября, OpenAI хотели провести его раньше, но автор письма просил время на следующей неделе. На этом митинге представители OpenAI сказали ему, что внутренняя модель компании написала полное доказательство на примерно 100 страниц. — Когда после созвона автор письма запросил описание направление доказательства, в нём фигурировало словосочетание «под действием внешней силы». Не важно, к чему именно оно относится, но для автора это стало «красным флагом», так как это то узкое направление атаки проблемы, которое он и математик из Anthropic выбрали и над которым работали долгое время — так как прочитали о нём в статье 2023-го года (и очень хвалят авторов и отдают им должную честь). — После этого он начал расспрашивать OpenAI о том, как же так вышло, а когда они начали пробовать решать задачу, какие промпты отправляли, и самое главное учили ли они модель на его переписках. С его слов пробовать начали недавно — после того, как поползли слухи о решении. Про тренировку не ответили, сказав, что модели не были доступны его сообщения