STOC 2027 Posts All 1,665 Submissions; AI Formalizes 1,496 into Lean 4 Statements
ChenhaoTan · x · 2026-11-13
- STOC 2027, a flagship theoretical CS conference, made all 1,665 submissions publicly available, and the community launched the STOC 2027 Formalization Initiative on Prove2Me.
- AI agents have translated the main theorems and supporting lemmas of 1,496 submissions into Lean 4 statements; some already have completed proof formalizations, with more awaiting contributions.
- Contributors don't need to know Lean or fully understand the math — anyone who can work with AI agents can help verify statements against original papers and formalize proofs.
More from coding & agent
- Prototyping a prediction-accuracy tracker on HN comments with an LLM — Darpinian · 2026-11-13
- ArtCraft clones Photoshop with AI: 1.7M daily downloads, 4,000 devs join — Latent Space · 2026-11-13
- Dev builds ComfyUI nodes to add batch generation to MiniMax H3 workflows — an80sPWNstar · 2026-11-13
- The Agent Did the Task Perfectly — It Was Just the Wrong Task: Reddit Debates Intent Mismatch — djgoel123 · 2026-11-13
- Heavy Codex Users Struggle to Track Old Sessions and Scattered Outputs — grahamhart_ · 2026-11-13
- Kenneth Stanley spotlights Kernel Autoresearch: agents discovering transferable inductive biases — kenneth0stanley · 2026-11-13