Eclipse Research Explores Autoformalization and the Future of Mathematical Discovery Inspired by Work from Founder Neel Somani