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
Ещё новости:
