Yoshua Bengio reassures that a small percentage of error in verified truths is acceptable. He points to guaranteed truths like mathematical theorems with formal proofs and, crucially, computer programs, as reliable data sources. Understanding programs allows AI to predict outputs, providing hard, incontestable facts.
Impact: High. This clarifies the practical sources of 'verified truth' for the Scientist AI, emphasizing computational and mathematical domains as robust foundations, which can then inform reasoning about more ambiguous areas.
In the source video, this keypoint occurs from 01:31:05 to 01:32:07.
Sources in support: Rob Wiblin (Host)

