Advancing mathematics by guiding human intuition with AI | Synapse