Mathematicians issue AI guidelines to protect research integrity

A group of mathematicians, computer scientists, and historians released guidelines last year to address concerns that artificial intelligence could fundamentally alter their field for the worse, following OpenAI's announcement that AI had solved geometry's famous "unit distance" problem. The 11-page document, called the "Leiden Declaration on Artificial Intelligence and Mathematics," emerged from a workshop held at Leiden University's Lorentz Center in the Netherlands, where around 60 researchers and policymakers discussed technology's impact on mathematics. Key recommendations include disclosing AI use in research, ensuring all papers undergo peer review, and leveling the playing field between academic institutions and for-profit technology companies through legal resources and public funding. The declaration addresses several specific concerns about AI in mathematics, including the difficulty of verifying AI-generated proofs compared to human-written ones, the risk of errors slipping through without proper scrutiny, and the tendency of tech companies to keep proprietary methods private. While mathematical research has historically been freely accessible through repositories like arXiv.org, commercial AI developers often shield key details, with companies like Google DeepMind taking over a year to publish methods behind their AI solutions in peer-reviewed journals. The International Mathematical Union plans to endorse the declaration, with project leader Jim Portegies scheduled to speak about it at the organization's upcoming summer conference. Meanwhile, healthcare professionals at a separate event in India emphasized a more balanced approach to AI adoption. Addressing graduates at Dr. NTR University of Health Sciences in Vijayawada, Dr. C. Narasimhan of AIG Hospitals noted that while technology can enhance healthcare delivery, it can never replace the trust and compassion patients seek from doctors. Governor S. Abdul Nazeer announced the establishment of a Disease Modelling and Decision Intelligence Centre at the university to help Andhra Pradesh adopt AI-driven healthcare systems while maintaining global best practices in disease modeling.