AI Uløst siden 1939: AI knækkede et 87 år gammelt matematisk problem på få minutter Jesper Bengtson • 22. juli 2026