8 ms·Big step toward AI-assisted mathematical researchby alex_be 6mo agoBig step toward AI-assisted mathematical research