Tag
Scott Aaronson reports rumors that AI companies, possibly OpenAI, have made significant progress on solving longstanding open problems in theoretical computer science but are holding off on announcements due to recent controversies.