Related stories

• Show HN: ProofForge, AI agents whose proofs have to compile in Leangithub.com
  Hacker News · 1 points · 4 days ago
• Join Statement about Mathathonterrytao.wordpress.com
  Hacker News · 2 points · 1 day ago
• Consistent Hashing Proofsch.terabyteoff.com
  Lobsters · 7 points · 12 days ago
• Agentic Hacks, Real Proofs: Inside Google's PageBreak Projectblog.google
  Hacker News · 1 points · 1 day ago
• Bulletproofs: Short Proofs for Confidential Transactionscrypto.stanford.edu
  Lobsters · 3 points · over 8 years ago
• Machine-Generated, Machine-Checked Proofs for a Verified Compiler (ICFP'26) [video]youtube.com
  Hacker News · 1 points · 2 days ago