Harvard's First Proof Project is testing and benchmarking the ability of artificial intelligence to solve genuine, unpublished research-level mathematics. The international effort challenges the notions of AI supremacy. The Project includes work by UB Math Professor Adam S. Sikora. Reflecting on the work, Sikora states, "The AI revolution is certainly disruptive to mathematics. It forces us to rethink the nature of mathematical research, how we train PhD students, how authorship and intellectual credit should work, and even how publishing and peer review can function if producing mathematical results becomes much faster. [...] I think we are in a process of developing a new and very powerful culture of mathematical research in which humans continue to play the leading role — choosing important questions, developing concepts, judging significance and seeking understanding — while being greatly empowered by AI. If we manage that transition well, the result could be an extraordinary acceleration of mathematical discovery and, ultimately, substantial benefits for science and society.”