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.
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.