Brand New AI Solves a Millennium Prize Zvi lesswrong.com 2026-09-13 2026-09-15 4,750 words 4 min on page original edit note archive.org Logged without notes.