FOCS 2026 opens in NYC, jokingly called the last conference with human-proven theorems
fortnow · x · 2026-11-09
FOCS 2026, the 67th IEEE Symposium on Foundations of Computer Science, opens November 8-11 in New York. Computer scientist Gasarch-style quip: enjoy 'the last major theoretical CS conference with mostly human-proven theorems' — a wry nod to AI's rapid advance into theorem proving. The program features an AI and TCS workshop plus tracks on quantum device validation, subspace designs, and performative prediction.
More from Fun
- copy-clip: a copy button that folds your code into paper and clips it, built with vanilla JS — prasenx · 2026-11-09
- Gemini's Deadpan Advice for Socks on Both Hands: Use Your Teeth or Another Person — conitzer · 2026-11-09
- Slop Eisley: an AI-generated Star Wars fan game with fly, racing and AT-AT modes — jasonkneen · 2026-11-09
- alphaXiv chart maps neo-lab funding vs citations, with SSI leading above $3B — pmddomingos · 2026-11-09
- A silly trick to tell if your account has GPT-6.2 Sol (6.1 Sol doesn't know the answer) — Distinct_Fox_6358 · 2026-11-09
- A Toast to the Singularity: Reddit satire mourns decaying AI subscriptions and rising API fees — tesseract_space · 2026-11-09