Strong Secretary Conjecture 在线性拟阵上成立；作者披露核心证明在与 ChatGPT-6 Astra 对话中获得

Bérczi、Dughmi、Livanos、Soto 与 Verdugo 证明线性拟阵上的 matroid secretary problem 具有 1/e 保证，从而解决该类拟阵中的 strong secretary conjecture；结果在线性拟阵预先已知或有限域线性表示在线给出的情形都成立。论文的 concurrent-discovery disclosure 明确写道，主证明于 9 月 15 日在与 ChatGPT-6 Astra 的对话中获得；作者在 9 月 17 日投稿前又发现 9 月 16 日已有独立团队发布几乎相同方法的同一结果。