"The proof [...] was obtained in a conversation with ChatGPT-6 Astra on Tuesday, September 15, 2026 at 1:02 AM PDT. We then prepared this manuscript for public release, with the intent of uploading it on the morning of Thursday, September 17, 2026" Shameless, and shameful. arxiv.org/abs/2609.207...
Post
arxiv.orgThe Strong Secretary Conjecture is True for Linear MatroidsWe prove a $1/e$ guarantee for the matroid secretary problem on linear matroids, therefore settling the strong secretary conjecture in this class of matroids. The result holds both when the matroid is...
As for the discussion of norms: trying... bsky.app/profile/ccan...
Looking for takes by TCS (Theoretical Computer Science) senior academics/researchers about AI and their discipline/research values. E.g., essays, detailed blog posts. (Specifically TCS: there is a lot from Maths, but while adjacent there are enough differences in culture it's worth distinguishing)
0 reposts0 likes
No replies yet.