Matthew Green hails stunning new ETH result pending Lean proof validity
matthew_d_green · x · 2026-10-27
Cryptographer Matthew Green comments on a new ETH result formalized in Lean: if the proof is valid, it's numerically marginal but actually pretty stunning.
Related event: Cryptographer Says New ETH Lean Proof Could Reveal a Subexponential World(2 posts)→
More from Research
- Lex Fridman talks to three mathematicians on AI cracking Navier-Stokes, Riemann, complexity — lexfridman · 2026-10-27
- "The Exponential Time Hypothesis is false": major complexity claim spreads — davidad · 2026-10-27
- SuperMimic cuts humanoid training GPU-hours by 1000×: 1 GPU in 3 hours beats SOTA — fdellaert · 2026-10-27
- Why OpenAI's complexity result matters: some NP problems may beat exponential time — jfischoff · 2026-10-27
- Binary accept/reject feedback suffices to reconstruct biometric templates, cutting queries 5x each — Eliron Rahimi · 2026-10-27
- Cryptographer on the exponential time hypothesis falling in October: 'expected until Thanksgiving' — matthew_d_green · 2026-10-27