11 stories tagged with #proofs, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.
⌘ RSS feed for this tag → or search "Proofs"
An LLM verifier rated math proofs near-perfect; an expert found 17% correct
Two posts ago I quoted a warning: an AI will find it easier to convince you it has a proof than to write one. A middling new paper finally put a number on that gap — 0.99 against 0…
Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts
While Large Language Models (LLMs) have shown strong performance in generating formal proofs, their outputs often remain less readable, modular, maintainable, and reusable than pro…
Explainer of the most widely used zero-knowledge proof system
Groth16 is still the gold standard for succinct SNARKs: 128-byte proofs, constant-size verification, and a decade of real-world deployment. But despite its ubiquity, almost nobody …
Zero-Knowledge Proofs: Proving You Know a Secret Without Revealing It
Suppose you need to prove you are over 18 without showing your birthdate, or that you know a password...…
Resources to get good at proofs
Math AI startup Axiom Math gets algorithm-generated proofs into peer-reviewed journals
Axiom Math's AxiomProver AI system gets algorithm-generated proofs published in peer-reviewed journals, a first for the $1.6B startup founded by Carina Hong.…
Would you actually pay for AI skills & prompts if they had real visual proofs?
What If a Supplier Could Prove They Qualify For a Deal Without Showing You Their Cards?
A practical walkthrough of H2Ledger: a green hydrogen credit marketplace that uses zero-knowledge proofs (Groth16 zk-SNARKs) and Solidity smart contracts so suppliers can prove com…
Lower Bounds for Advection-Diffusion Equations: An Exploration with AI-Generated Proofs
We establish explicit lower bounds for advection-diffusion equations in three settings: a polynomial $\dot H^{-1}$ bound for inviscid shears with $u\in L^\infty_t W^{1,1}_y$, a uni…
Vega: Zero-knowledge proofs for digital identity in the age of AI
Vega turns a full credential into a single proof, sharing only what is needed and nothing more, with performance that works in real apps.…