Los razonamientos matemáticos se consideran transparentes y sujetos a verificación independiente. Pueden ser extremadamente largos o complejos, pero no debería ser necesario disponer de equipos exclusivos para comprenderlos. Declaración de Leiden leidendeclaration.ai
Leiden Declaration on Artificial Intelligence and Mathematics
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.
leidendeclaration.ai