Using artificial intelligence to accelerate mathematical discovery
Appears across 2 pieces (2 defined it): when this term was part of the conversation. First surfaces May 2025.
