4 citations · 6 across the 4 of their papers we have counts for
4 papers
Leiden Declaration on Artificial Intelligence and Mathematics
Jarod Alper, Michael Barany, Alain Chavarri Villarello +13
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research. Technological developments have repeatedly tran…
Coloring Black Holes: Epistemic and Aesthetic Choices in Astronomical Imaging
Rodrigo Ochigame, Emilie Skulberg, Jeroen van Dongen
In 2019, the first image of a black hole's shadow based on observation was released by the Event Horizon Telescope Collaboration (EHT). This paper shows that despite the EHT's emph…
Shaping the Future of Mathematics in the Age of AI
Johan Commelin, Mateja Jamnik, Rodrigo Ochigame +2
Artificial intelligence is transforming mathematics at a speed and scale that demand active engagement from the mathematical community. We examine five areas where this transformat…
Automated Mathematics and the Reconfiguration of Proof and Labor
Rodrigo Ochigame
This essay examines how automation has reconfigured mathematical proof and labor, and what might happen in the future. It discusses practical standards of proof, distinguishes betw…