mathematicians
1 statements across 1 episodes · 0 bullish · 0 bearish · 1 people on the record · first statement Dec 26, 2018 by Adam Robinson · across every show →
Everything said about mathematicians, oldest first
Dec 26, 2018
Robinson: Top mathematicians cannot understand computer-generated proofs
“Right now, there are mathematical proofs done by computers that human beings can't understand. The best mathematicians in the world don't understand those proofs, and all they can say is, we can't find a mistake in it. It's probably right, but we're not real s…”