Leiden Declaration on Artificial Intelligence and Mathematics -
Wat deze ‘declaration’ wat mij betreft erg goed doet is eerst vermelden wat een goede, gewenste werkwijze is.
Vervolgens worden heel duidelijk de mogelijke gevaren op een rijtje gezet.
‘Current automated techniques can produce plausible but unreliable (or even incorrect) arguments which are difficult to distinguish from correct mathematical proofs.’