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