i remember vaguely that bettina heintz in her sociological study of the field of mathematics from 2000 noted the growing number of proofs that relied on compute

i remember vaguely that bettina heintz in her sociological study of the field of mathematics from 2000 noted the growing number of proofs that relied on computer programs as potentially problematic for the field. https://www.hsozkult.de/searching/id/reb-2446 https://www.hsozkult.de/searching/id/reb-2446