4 citations · 6 across the 4 of their papers we have counts for
Showing math.HOShow all
3 papers · 1 filter
math.HO2026★ 2 cited
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…
math.HO2026
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…
math.HO2023★ 4 cited
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…