Jordan Ellenberg releases 'The Leiden Declaration' urging mathematicians to make deliberate choices about integrating AI into research

Proof engineering researcher Talia Ringer is among its supporters