2026-11-10 · America/Los_Angeles · 行业新闻 · #1

AlphaProof Code

AlphaProof Code agents wrote over three million lines of machine-checked proof in Lean to verify the core cryptographic protections in Signal down to machine instructions.

热度 58.9 / 100；排名与评分保留该期记录。