Selected Press Releases that Science180 did on Autoformalization and the Future of Mathematical Discovery: Reflections from Neel Somani