Rapidly advancing AI models have sparked breakthroughs in long-standing math problems. From solving problems at the International Math Olympiad to disproving decades-old conjectures - some in the math world are now questioning whether they have a future in the field. But not Professor Shayan Oveis Gharan, who won the 2026 Abacus Medal for his work on the theory of algorithms. He believes the power of AI is harnessed not as replacement for human mathematicians, but as a partner. CBS’s Kamal Afzali explains.