Leiden Declaration: AI is challenging the core values of mathematics | Heykuki News