An example of how mathematicians and AI can complement one another in probing the frontiers of knowledge: Number theorist Youness Lamzouri has constructed a new, conceptually simpler proof of Claude's Theorem that 2/3 of the zeros of Riemann's zeta function lie on the critical line and are simple.