AI cracked the conjecture. Humans called the play. - IBM

IBM reports that AI helped solve a mathematical conjecture, but humans had to interpret and validate the work. Shows how AI and human expertise work together in research.