AlphaProof Code agents wrote three million lines of proofs in Lean to verify Signal’s core encryption.
New models reset the capability and price-performance frontier. Teams re-evaluate what to build on whenever a launch shifts what's possible per dollar.
Summaries are aggregated for information only — follow the source link for the full story. Demo entries are illustrative.