Dario Amodei - Empirical Analysis vs. Mathematical Proof in AI (via searchlore.ai)