STOC 2027 公开 1,665 篇投稿，AI agent 已将 1,496 篇论文定理形式化

STOC 2027 公开全部 1,665 篇投稿，Prove2Me 平台随后发起 Formalization Initiative。AI agent 已将其中 1,496 篇投稿的主定理与辅助引理翻译成 Lean 4 形式化陈述，部分还完成了完整证明形式化。项目面向作者、研究者和社区开放认领，参与者可用 AI agent 协助校验形式化陈述并补充证明。