3 ms·Merging AI and human efforts to tackle complex mathematical problems2 points by sabrina_ramonov 2y ago