The AI-led successes in math could also spur human mathematicians to new levels of achievement. Days after OpenAI announced that one of ...