Neural Discovery in Mathematics: Do Machines Dream of Colored Planes? - Konrad Mundinger; Max Zimmer; Aldo Kiem; Christoph Spiegel 002; Sebastian Pokutta (CoRR, 2025)