Cryptographer Says New ETH Lean Proof Could Reveal a Subexponential World

Cryptographer Matthew Green commented on a new ETH result with a Lean formalized proof, calling it striking if valid, and used Claude to explore its implication: we may live in a 'subexponential world.'

2026-10-27 ~ 2026-10-27 · 2 related posts

• Matthew Green hails stunning new ETH result pending Lean proof validity — matthew_d_green · 2026-10-27
• Cryptographer Matthew Green uses Claude to unpack ETH's new Lean-verified complexity result — matthew_d_green · 2026-10-27