2 citations · 2 across the 3 of their papers we have counts for
Showing math.HOShow all
2 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.HO2024
Artifical intelligence and inherent mathematical difficulty
Walter Dean, Alberto Naibo
This paper explores the relationship of artificial intelligence to the task of resolving open questions in mathematics. We first present an updated version of a traditional argumen…