Can AI solve the Riemann Hypothesis? - Mathematician explains | Lex Fridman
Lex Clips · 3:31 · Watch on YouTube
A Lean-checked proof has established a quasi-Riemann hypothesis: the zeta function has no zeros in the infinite strip where the real part lies between 7/8 and 1. That is a fixed-width advance past seventy years of shr...