ChatGPT-6 Astra помог доказать гипотезу о секретаре для линейных матроидов

Исследователи представили доказательство Strong Matroid Secretary Conjecture для линейных матроидов - важного класса структур в комбинаторной оптимизации.

Задача выглядит так: элементы появляются по одному в случайном порядке, решение о выборе нужно принимать сразу, а выбранное множество должно оставаться независимым. Авторы доказали достижимость оптимальной гарантии 1/e для линейных матроидов.

По словам исследователей, основное доказательство было получено во время диалога с ChatGPT-6 Astra 15 сентября.

Почти одновременно другая независимая команда пришла к тому же результату практически идентичным методом и загрузила свою работу на arXiv на день раньше.

Обе статьи пока являются препринтами и не прошли рецензирование.

📄 Работа с участием ChatGPT-6 Astra- https://arxiv.org/pdf/2609.20797

📄 Независимое доказательство - https://arxiv.org/pdf/2609.19118