NewzArtificial intelligence is triggering a foundational crisis in mathematics by shifting the field from a shortage of proofs to an overwhelming abundance of them, according to 2006 Fields Medal winner Terence Tao.
Summary from sourceArtificial intelligence is triggering a foundational crisis in mathematics by shifting the field from a shortage of proofs to an overwhelming abundance of them, according to 2006 Fields Medal winner Terence Tao.
Summary from source