Now is probably a good time to remind folks of the carefully-worded statement on AI that a the IMU and many mathematicians, including some active AI users, signed onto. They lay out principles, and concerns about second-order effects, that probably apply across many fields. leidendeclaration.ai
Leiden Declaration on Artificial Intelligence and Mathematics
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.
leidendeclaration.ai
On Saturday, OpenAI announced solutions to three Erdős problems. These solutions, along with May’s high-profile counterexample to the “unit distance” problem, are quickly changing how mathematicians approach their work. @kkakaes.bsky.social reports: www.quantamagazine.org/why-the-lege...